yusuke1997/dblp-id-title huggingface dataset:
Estimating varying illuminant colours in images
Adaptivity of 3D web content in web-based virtual museums: a quality of service and quality of experience perspective
The engineering of an object-oriented software development methodology
A semantic based framework for software regulatory compliance
Matching novel face and voice identity using static and dynamic facial images
End to end Multi-Objective Optimisation of H.264 and HEVC CODECs
Development and applications of high performance computing
Detecting misbehaviour in a complex system-of-systems environment
Improving cyber situational awareness via data mining and predictive analytic techniques
Modelling the emergence of a basis for vocal communication between artificial agents
Proof complexity for quantified Boolean formulas
The extended ELKA conceptual model : its structure and dynamic properties
Predictive coding inspires effective alternatives to backpropagation
Formal methods for rapid software prototyping
The Development of an Interactive Simulation Facility for a Minicomputer
Three-level composition models in crisp and fuzzy environments
An in-service non-intrusive measurement device for characterising speech networks
Knowledge-based diagnosis of semantic errors in ADA programs
Parallel algorithms for hypergraph partitioning
Design aspects of object-oriented languages for parallel/distributed programming
Identification of non-linear systems
Advances in string algorithms for information security applications
Virus-based nanoelectronic devices
Real-time event detection in massive streams
Interactive Computer Programs for the Computer Aided Design of Linear Microwave Circuits
Mapping parallel programs to heterogeneous multi-core systems
Parallel computing, interval derivative methods, heuristic algorithms, and their implementation in a numerical solver, for deterministic global optimization
Energy efficient cloud-fog networks architecture
A teleprescence environment for concurrent life-cycle design and construction
Macro-micro approach for mining public sociopolitical opinion from social media
Improving packet predictability of scalable network-on-chip designs without priority pre-emptive arbitration
Parallel multiscale contact dynamics for rigid non-spherical bodies
Patch-based models for visual object classes
Adaptive learning activity selection for an intelligent tutoring system
EXCLAIM framework: a monitoring and analysis framework to support self-governance in Cloud Application Platforms
Application of distributed artificial intelligence to the flow control of mobile robots
A spiking neuron training approach using spike timing-dependent plasticity (STDP)
View-invariant Human Action Recognition via Probabilistic Graphical Models
Optimizing deep learning networks using multi-armed bandits
Automated classification of cancer tissues using multispectral imagery
Choices made by a planner : identifying them, and improving the way in which they are made
Probabilistic user interface design for virtual and augmented reality applications
Microelectronic security measures
Person recognition in low-quality imagery
Dialogue enhanced, machine assisted requirements elicitation
An approach to source-code plagiarism detection investigation using latent semantic analysis
Usable secure interfaces for mobile devices
Project management in social data science: integrating lessons from research practice and software engineering
Strongly typed, compile-time safe and loosely coupled data persistence
Computational issues in process optimisation using historical data
E-AI : an emotion architecture for agents in games & virtual worlds
An evaluation of Lolita and related natural language processing systems
Automated planning for pathfinding in real-time strategy games
Annotating the semantic web
Integrating information retrieval & neural networks
Continuous dielectrophoretic separation of colloidal particles
Feedback 2.0 : an investigation into using sharable feedback tags as programming feedback
Design and implementation of a distributed control system
The computer simulation of an unsteady flow
Modular fine-grained concurrency verification
An in silico investigation into nitrogen fixation
Noise adaptive particle filtering for mobile robot applications
A support framework for distributed conferencing systems
Model-architecture co-design of deep neural networks for embedded systems
Optimization for, and by, machine learning
Declarative integration of object-oriented programming and knowledge representation
Complementary RFID tag antennas
Iterative parameter mixing for distributed large-margin training of structured predictors for natural language processing
Non-linear discrete-time observer design by sliding mode
An object-oriented architecture for the multilingual generation of instructions : supporting knowledge re-use and user task performance
A critical examination of computer art : its history and application
Approximate inference for state-space models
Program construction in Martin-Lof's theory of types
The socioeconomic configuration of internet diffusion in Brazil and Mexico to 2008
Towards scalable adaptive mesh refinement on future parallel architectures
Characterising semantically coherent classes of text through feature discovery
Methodology for the formal specification of RTL RISC processor designs (with particular reference to the ARM6)
Cross-modal semantic-associative labelling, indexing and retrieval of multimodal data
Coupling, code reuse and open implementation in reflective systems
On-board reasoning for an autonomous spacecraft
Data mining and machine learning for environmental systems modelling and analysis
ASSISTing the analyst : towards better utilisation of stakeholder information within the commercial realities of software development
Software engineering process modelling analysis
Nonmonotonic inference systems for modelling dynamic processes
Probabilistic symmetry reduction
Computational analysis and modelling of graph-structured neuroimaging data
The specification, analysis and metrics of supervised feedforward artificial neural networks for applied science and engineering applications
Clinical decision support system for early detection and diagnosis of dementia
Identifying social signals from human body movements for intelligent technologies
A neural network implementation of the constraint propagation paradigm in vision
A web of trails
Multi-agent-based DDoS detection on big data systems
Combining neural networks with symbolic approaches to perform complex event processing on non-symbolic data
Exact penalty function algorithms for constrained optimal control problems
Semantic information systems engineering : a query-based approach for semi-automatic annotation of web services
The information rate and other parameters of probabilistic context free grammars and their parsers
Capabilities and challenges within a decision centric information warfare model
Interprocedural optimisation of regular parallel computations at runtime
Coloured Petri Nets for object-oriented modelling
Semantification of text through summarisation
Mobile computation in a purely functional language
User experience, performance, and social acceptability : usable multimodal mobile interaction
An exploration of professionalism within the landscape of change in academic librarianship
Elicitation of requirements from multiple perspectives
Information recovery from rank-order encoded images
Implementation and validation of model-based multi-threaded Java applications and Web services
General purpose decentralised computer architecture
Effective and efficient evolutionary many-objective optimization
The response of non-linear control systems to various input signals
The cell-free expression of ion channels and electrophysiological measurements in interdroplet bilayers
Machine learning stratification for oncology patient survival
Reliable and energy efficient scheduling protocols for Wireless Body Area Networks (WBAN)
A methodology for automated service level agreement compliance prediction
Inferring queueing network models from high-precision location tracking data
Admission control and bandwidth management in IP differentiated services networks
Symmetry in constraint programming
Consequence-based reasoning for ontology classification
Continuous evaluation framework for software architectures: an IoT case
A capability-based access control architecture for multi-domain publish/subscribe systems
Software modelling of a QUENSH management system
Edge prediction and community detection in complex networks
Model checking pointer safety in compiled programs
Identity and trust management in distributed systems: a novel approach
Eye tracking scanpath trend analysis on Web pages
Business/IT alignment : effective management of a key business issue
Automatic program analysis in a Prolog intelligent teaching system
Examining the adoption, use and diffusion of tablet and mobile devices by older adults in Hertfordshire County, UK
Biological Development model for the Design of Robust Digital System
Object-oriented design methodologies for software systems
Machine learning architectures for video annotation and retrieval
Secure computation in the cloud using MapReduce
A digital learning system for tracking pattern features
A custom coprocessor for matrix algorithms
Investigating the use of pure functional programming for agent-based simulation
An investigation of the use of multiple processors in adaptive systems
Parallel sparse matrix solution for direct circuit simulation on a multiple FPGA system
Mitigating denial of sevice (DoS) attacks in delay/disruption tolerant networks (DTNs)
Cellular distributed and parallel computing
Improved state-space construction in automated verification
An investigation into tool support for the development of reusable software
An integrated framework for runtime adaptable communication systems
An object-oriented framework for the implementation of search techniques
A comparison study between different social interaction in multi-user Brain-Computer Interface (BCI) gaming: competitive vs. collaborative
Bio-inspired self-organizing swarm robotics
Computer structures for distributed systems
Specification and performance optimisation of real-time trading strategies for betting exchange platforms
Recognition of complex human activities in multimedia streams using machine learning and computer vision
Next generation cyber-physical water distribution systems
Digital text presentation and navigation to support people with dyslexia
Design, implementation and applications of the Support Vector method and learning algorithm
The philosophy of situated activity
Automatic control program creation using concurrent Evolutionary Computing
Evolutionary computation-based feature selection for finding a stable set of features in high-dimensional data
A parallel real-time knowledge-based system and its application to diesel engine diagnostics
The analysis and design of tagging systems : a semiotics and activity theory approach
Statistics of gradient directions in natural images
Semantics, analysis and security of backtracking regular expression matchers
A framework for the definiton of a generative design pattern
Cognitive and adaptive routing framework for mobile ad-hoc networks
A flexible mechanism for concurrency control in database systems
Semantic approach to model diversity in a social cloud
Measuring the development of Saudi Arabia as an information society
Intelligent student systems : an application of viewpoints to intelligent learning environments
Scalable and data-driven approaches to convex programming
Artificial neural networks for problems in computational cognition
A novel model for improving the maintainability of web-based systems
Inferring malicious network events in commercial ISP networks using traffic summarisation
Discrete value-based bandwith provisioning & routing complexity in IP networks
Dictionaries for fast and informative dynamic MRI acquisition
SUIDS : a resource-efficient intrusion detection system for ubiquitous computing environments
Dynamic probabilistic routing discovery and broadcast schemes for high mobility ad-hoc networks
Instant messaging in work-based virtual teams: the analysis of non-verbal communication used for the contextualisation of transactional and relational communicative goals
Optimisation of computed radiography chest imaging utilising a novel simulation technique derived from real patient computed tomography data sets
Culture-Centred Design: Integrating Culture into Human-Computer Interaction
A rationale and design of a microcomputer system for schools and colleges
Design and evaluate support for non-musicians' creative engagement with musical interfaces
Exploring the barriers to formal specification
Viewpoint-free photography for virtual reality
Enhancing the investigation of malware-related crimes using semantic technologies
Reconfigurable mid-air displays
A study of the kinematics of probabilities in information retrieval
Communicating Haskell processes
Artificial intelligence applications in waste water monitoring for industrial purposes
Fuel pump motor-drive systems for more electric aircraft
A processing framework for temporal analysis and its applications to instructional texts
The past, present, and future(s): verifying temporal software properties
Applications of the Galois model LFSR in cryptography
Formally verifying behaviour of fUML models using CSP
Separate compilation and the ADA programming language
Towards spatial and temporal analysis of facial expressions in 3D data
A quality assessment framework for knowledge management software
Dynamic object-oriented systems
Prediction of human gaze patterns for variable quality video coding and its application to open sign language
Machine learning for analysing whole-body scans
Securing access to cloud computing for critical infrastructure
Low- and high-level processes in apparent motion
A framework for developing and deploying business-to-business virtual communities
BMKB (Business Meta Knowledge Base) : a repository of models for assisting the management of organizational information systems
Optimized self-service resource containers for next generation cloud delivery
Feature-aware methods for mesh and point cloud processing
ICSrank: a security assessment framework for Industrial Control Systems (ICS)
An investigation into computer-aided design of software
Inter-workgroup barrier synchronisation on graphics processing units
Honeypots in the age of universal attacks and the Internet of Things
An extensible platform for specification of integrated languages for model management
Run-time diagnostics in programming languages with data-structuring facilities
Theoretical and numerical evaluations of electromagnetic waves energy deposition within the human body due to exposure to existent and emerging wireless technologies
A basis for computer-aided generation of design concepts for instrument systems
Generalized simulation relations with applications in automata theory
Symmetric circuits and model-theoretic logics
Investigating 3D visual speech animation using 2D videos
Data fusion methods in decentalized sensing systems
Facilitating program parallelisation : a profiling-based approach
Signal processing for real-time inspection of moving surfaces
Biomechanics of imbalance in the reconstruction of the arthritic knee
Strategies for partitioning data in association rule mining
Attribute Oriented Induction High Level Emerging Pattern (AOI-HEP)
Structured arrows: a type-based framework for structured parallelism
Ensemble-based supervised learning for predicting diabetes onset
An investigation into the use of the tuple space paradigm in mobile computing environments
Anomaly detection and prediction in communication networks using wavelet transforms
Examining expertise through eye movements: a study of clinicians interpreting electrocardiograms
Towards faster web page loads over multiple network paths
Intelligent X-ray imaging inspection system for the food industry
Accelerating fully homomorphic encryption over the integers
The domain agnostic generation of natural language explanations from provenance graphs
An architecture to support the configuration and evolution of software components in a distributed runtime environment
Guided entity relationship modelling within a simulation of a real world context
Trust-based algorithms for fusing crowdsourced estimates of continuous quantities
Robust portfolio optimisation using risk measures and applications
An evaluation model for information security strategies in healthcare data systems
Implications of query caching for JXTA peers
Managing the bazaar : commercialization and peripheral participation in mature, community-led free/open source software projects
Statistical modelling of local features of three-dimensional shapes
Efficient execution of convolutional neural networks on low powered heterogeneous systems
Conflict, conciliation and computer-mediated communication : using online dispute resolution to explain the impact of media properties on relational communication
Proof-theoretical observations of BI and BBI base-logic interactions, and development of phased sequence calculus to define logic combinations
Time series data mining in systems biology
The design of systems for telecommunications between small and large computers
Virtualisation security in cloud computing
Nominal domain theory for concurrency
A case for pattern-based software engineering
Operationalising the simulation theory of understanding others for social robots
Supporting operation in ad-hoc environments
Governing open source communities through boundary decisions
Simulation validation and verification using DAMOCCI : data modelling and constraint checking of instances
Systematic analysis and modelling of diagnostic errors in medicine
Designing for embodied reflection
A system for embedded machine vision using FPGAs and neural networks
A novel architecture for a high performance low complexity neural device
Performance characterisation of on-body antennas & off-body links for Bluetooth systems
Stronger secrecy for network-facing applications through privilege reduction
Design and analysis of spreading code and transceiver architectures for optical CDMA networks
Discovering knowledge abstractions for sample efficient embodied transfer learning
The integrity of serial data highway systems
Recognising and tracking polyhedral objects
An approach to the implementation of incomplete databases
Improving the achievements of non-traditional students on computing courses at one wide access university
Interface automata for choreographies
A vertex based discretisation scheme applied to material non-linearity within a multi-physics finite volume framework
Supporting cooperation in software engineering environments
A Bayesian account of learning and generalising representations in the brain
A 'satisfiability' based approach to integer programming
Face age estimation using wrinkle patterns
Controlling the software development process through the techniques of software process modelling and formal methods
The 'smart school' initiative : a case study of ICT policy implementation in Malaysian schools
Exploiting immunological metaphors in the development of serial, parallel and distributed learning algorithms
Face shape recovery from a single image view
Modelling tools and methodologies for rapid protocell prototyping
Resource allocation for multi-sensory virtual environments
Algorithms and Architectures for Lossless Image and Video Compression
User relevance feedback, search and retrieval of visual content
Collaborative adaptive filtering for machine learning
Aspects of practical implementations of PRAM algorithms
Studies on the theory and design space of memetic algorithms
Towards robust data association in real-time visual SLAM
A study of application level information from the volatile memory of Windows computer systems
Integrating device-to-device communications in 5G cellular networks
Reducing client-server communication for efficient real-time web applications: the use of adaptive polling as a case study for multi-user web applications
Cross-layer optimization of WiMAX system with quality of service guarantee
Visibility determination of dynamic models for application in realtime computer
An FPGA coprocessor for large matrix decompositions
Optimisation methods for training deep neural networks in speech recognition
A multi-strategy approach for congestion-aware real-time video
Statistical image analysis : length estimation and colour image segmentation
Modelling environments for large scale process system problems
Adaptive learning for modelling non-stationarity in EEG-based brain-computer interfacing
Multiresolution neural networks for image edge detection and restoration
Mixed technology modelling and optimisation for automotive, energy harvesting and MEMS applications using VHDL-AMS
Fault tolerance for stream programs on parallel platforms
Thinking about thinking aloud: an investigation of think-aloud methods in usability testing
Solving vehicle routing problems using multiple ant colonies and deterministic approaches
Code similarity and clone search in large-scale source code data
Trajectory-scheduling control systems and their multi-objective design automation
A Time-Domain Procedure for multivariable control systems analysis and design
A knowledge-based approach to multiplayer games on peer-to-peer networks
Quality Modelling and Metrics of Web-based Information Systems
Human detection and pose estimation for motion picture logging and visualisation
A sensor system to detect events in gait for the correction of abnormalities in neurological patients
Service-oriented architectures for safety-critical systems
Algebraic specifications : investigations concerning their effectiveness for testing software, their quality and maintenance
Hardware compilation based on communicating processes
A semantic analysis of control
Uncertainty Quantification for complex computer models with nonstationary output: Bayesian optimal design for iterative refocussing
Linear periodic systems : robustness analysis and sampled-data control
Improved non-intrusive load monitoring approaches using the multi-gate mixture of expert system and the transformer deep learning model
Adaptive mobile P2P malware detection using social interactions based digital footprints
Identifying the causes and effects of poor privacy practices by online social network users: the potential of advisory monitoring software in changing user behaviour
Converting polynomial and rational expressions to normal form
Semantic attack on transaction data anonymised by set-based generalisation
Discovering patterns and anomalies in graphs with discrete and numeric attributes
Cognitive modelling of attentional networks : efficiencies, interactions, impairments and development
Dynamic deep learning for automatic facial expression recognition and its application in diagnosis of ADHD & ASD
A metaphor-based interface for data mining
Invariant salient regions based image retrieval
Inferring interestingness in online social networks
Prognosis : historical pattern matching for economic forecasting and trading
In silico modelling of tumour-induced angiogenesis
Studies in urban informatics: tools and techniques to explore socio-ecological urban systems
Metaheuristic methods for the urban transit routing problem
The application of adaptive control systems to industrial processes
Visualisation of large-scale call-centre data
An investigation on the use of gaze for eye-wear computing
Formal methods in specifying discrete event simulation models
Towards practical distributed video coding
Electrotactons: designing and evaluating electrotactile cues
Intelligent robot vision in automated surface finishing
The design of a run time system for a real time simulation language
Addressing parallel application memory consumption
A visualisation design for sharing knowledge : a virtual environment for collaborative learning support
Techniques for content-based image characterization in wavelets domain
Supporting the information systems requirements of distributed healthcare teams
Representation and reasoning with non-binary constraints
Semantic integration of information by abduction
Invariant discovery and refinement plans for formal modelling in Event-B