yusuke1997/dblp-id-title huggingface dataset:
Transputer configurations for computer vision
A grid and cloud-based framework for high throughput bioinformatics
Combining inference and backtracking search for the propositional satisfiability problem
Reality kicks back : Representions of virtual reality
Efficient adaptive multi-granularity service composition
Learning from experience in the engineering of non-orthogonal architectural surfaces : a computational design system
Graphlet correlations for network comparison and modelling : World Trade Network example
A quantified past: fieldwork and design for remembering a data-driven life
Performance-aware task scheduling in multi-core computers
Optimal design of integrated batch processes
Quantitative bounds on the security-critical resource consumption of JavaScript apps
Shared-memory multiprocessors with stable performance
Anonymity, information, and machine-assisted proof
Alternative approaches to optophonic mappings
On-site surface reflectometry
Benchmarking and evaluation of blockchain systems and applications
Towards a performance theory of robust adaptive control
Novel second-order techniques and global optimisation methods for supervised training of multi-layer perceptrons
Intelligent optimisation of analogue circuits using particle swarm optimisation, genetic programming and genetic folding
Surveillance video data fusion
A two-pass scheduling method using discrete event simulation
Computational modelling of hematopoietic stem cell division and regulation dynamics
Techniques for improving efficiency and scalability for the integration of information retrieval and databases
Operating system simulations for parallel processes and parallel processors
Artificial intelligence as writing : knowledge-based hypertext systems as a medium for communication
Mechanistic modelling of presynaptic dynamical systems
Open middleware for the rapid development and experimentation of configurable multicast protocols
Software dependability with off-the-shelf components
Towards the development of a model of user engagement with packaged software
Modular maps : an implementation strategy for the Self-Organising Map
Hybrid multicasting using Automatic Multicast Tunnels (AMT)
Encoder-decoder neural networks
A semi-supervised learning approach to interactive visual computing
Developing collaborative multimedia : the MEDIATE toolkit
Sample-efficient deep reinforcement learning for continuous control
Computer aids for the design of large scale integrated circuits
Memory and functional unit design for vector microprocessors
Deep learning based facial expression recognition and its applications
A security framework to protect data in cloud storage
Enhancing questionnaire design through participant engagement to improve the outputs of evaluation
Reasoning about C11 programs with fences and relaxed atomics
Topics in programme specification and design : Specification and design of distributed systems
Quantifying crackles in the lung of smoking and non-smoking young adults
Inductive limits of operator systems
An enhanced semantic VLE based on schema.org and social media
Designing a resource-allocating codebook for patch-based visual object recognition
Towards an integrated methodology for the development of hybrid information systems
Shaped apertures enhance the stability of suspended lipid bilayers
Energy modelling of multi-threaded, multi-core software for embedded systems
Automated echocardiographic image interpretation using artificial intelligence
New perspectives on architectures for real-time mission simulators : agents, ambassadors and components
A Multiple Level Detection Approach for design patterns recovery from object-oriented programs
The design and implementation of Simogen : a class-based language for simulation
The structure of call-by-value
Enabling young individuals to make an informed decision about higher education: using persuasive technology
On the verification of computation and data retrievability
Studying and analysing transactional memory using interval temporal logic and AnaTempura
Inclusion problems for one-counter systems
The visual analysis of complex natural phenomena
Affective website design
The circulation and collection of Italian printed books in sixteenth-century France
A knowledge management based cloud computing adoption decision making framework
Applied probability models for the performance evaluation of disk file processing
Interval type-2 Atanassov-intuitionistic fuzzy logic for uncertainty modelling
Selective crossover as an adaptive strategy for genetic algorithms
A full-scale semantic content-based model for interactive multimedia information systems
Reusable templates for the extraction of knowledge
Lexical noise modelling and removal in intelligent information retrieval
Facial analysis and recognition inside digital images and videos
Neural models of temporal sequences
Capture, classification and path-planning of safe routes using an aerial camera platform
Agile computing
Proactive caching in mobile networks
Content-aware and context-aware adaptive video streaming over HTTP
The use of Bayesian networks to determine software inspection process efficiency
Multimedia profiles as external personalities to support people with dementia and their carers
Reconfigurable logic for computation
Automated diesel engine condition & performance monitoring & the application of neural networks to fault diagnosis
New computational tools for analysis of biological processes with application to environmental planning
A framework for the definition and manipulation of database views by end users
Parallel algorithms for MIMD parallel computers
Trusted product lines
Virtual forced splitting in multidimensional access methods
Practical memory safety for C
A generic model of ontology to visualize information science domain (OIS)
The development of an uncertain reasoning system
Evaluation of relational database views
Farming out : a study
Applications of cyclic belief propagation
Design and performance study of algorithms for consensus in sparse, mobile ad-hoc networks
Intelligent data-driven reverse engineering of software design patterns
Adaptive Java optimisation using machine learning techniques
The graph programming language GP
Writing and animating Z specifications
Bipolar Modelling for Computer-Aided Design of Digital Integrated Circuits
Performance analysis of wormhole routing in multicomputer interconnection networks
Named entity recognition : a local grammar-based approach
Optimising automatic fault detection and diagnostics for large sequential logic networks
Hand tracking with Parametric Skin Modelling Using Particle Filter Framework for Gesture Recognition
MATLAB automatic differentiation using source transformation
Detecting perceptual breakthrough in RSVP with applications in deception detection methodological, behavioural and electrophysiological explorations
New models of natural language for automated assessment
The Corpus Expansion Toolkit: finding what we want on the web
Application deployment framework for large-scale Fog Computing environment
Anomaly diagnosis in industrial control systems for digital forensics
Local features, structure-from-motion and view synthesis in spherical video
Hardware accelerated computer graphics algorithms
Evaluating compliance of the actual behaviour of IoT devices with their privacy policy agreement
The challenge of eLearning for healthcare professionals : an exploration in rural Thailand
2D and 3D computer vision analysis of gaze, gender and age
Network management using active networks
Computational problems in matrix semigroups
A functional database
Artcode detection in images
Learning programming via worked-examples : the effects of cognitive load and learning styles
Ethics, national security, and critical infrastructure protection
Temporal data mining : algorithms, language and system for temporal association rules
Validation and verification of the interconnection of hardware intellectual property blocks for FPGA-based packet processing systems
Content selection for timeline generation from single history articles
An agent architecture for open system specifications
On the efficiency of selective mutation for software testing
Software/hardware co-design and co-specialisation: novel simulation techniques and optimisations
Monitoring plan execution in partially observable stochastic worlds
Neural networks for inference, inference for neural networks
Political anatomy of internet users in Korea : does the internet influence social capital and political participation?
Hard and soft computing techniques for non-linear modeling and control with industrial applications
The construction and application of large scale 3D facial models
Decomposition of general queueing network models : an investigation into the implementation of hierarchical decomposition schemes of general closed queueing network models using the principle of minimum relative entropy subject to fully decomposable constraints
Non-linear hierarchical visualisation
Extensions to the support vector method
A new computational model, OOGRS and its implementation
Ontology-based personalisation of e-learning resources for disabled students
Investigation of a generalised version of Amari's continuous model for neural networks
Structured sparsity with convex penalty functions
The exchange of engineering information using complex data structures
Support for model checking Z specifications
Model development and analysis techniques for epidemiological and neurobiological dynamics on networks
Learning and self-organisation in biologically plausible neural networks
Creating Persian-like music using computational intelligence
Deep cascade learning
Development of a generalized computer program for gas turbine performance simulation
Specification of microprocessor instruction set architectures : ARM case study
Analysis and coordination of mixed-criticality cyber-physical systems
Development and application of collective anomaly detection methods to electromagnetic satellite data
Information extraction across sentences
Landmark localization, feature matching and biomarker discovery from magnetic resonance images
Hardware development based on a parallel programming language
An integrated soft- and hard-programmable multithreaded architecture
Communicating sequential processes with flexible parallel termination semantics
Capsule-based image translation and quality analysis
Optimising the speed and accuracy of a statistical GLR parser
An exploration of traffic signal control using multi-agent market-based mechanisms
Automated identification of diabetic retinal exudates and the optic disc
Quantitative verification of real-time properties with application to medical devices
Data security in photonic information systems using quantum based approaches
Non-standard adaptation of linear projections for exploratory data analysis
Nonrigid surface tracking, analysis and evaluation
Requirements-driven modelling as a means of controlling change in object-oriented systems
Some applications of orthogonal functions in the identification and synthesis of systems
A cognitive study of learning to program in introductory programming courses
Formal analysis of confidentiality conditions related to data leakage
Adaptive modelling and planning for learning intelligent behaviour
A novel feature selection approach towards predicting linear continuous movement on low powered devices
The generation and use of quasi-eqifrequent groups for computer record identification
Quantum computation and communication in strongly interacting systems
Largely unconstrained coordination in development
A methodological framework for policy design & analysis focusing on problem identification & investigation
A bio-inspired cache management policy for cloud computing environments using the artificial bee colony algorithm
The generation of parsers for two-level grammars
A CCTV system for scene analysis facilitating personnel enumeration and tracking
Learning algorithms for adaptive digital filtering
Energy-aware performance engineering in high performance computing
A multiple processor configuration system for mini computers
Design and development of algorithms for fault tolerant distributed systems
Fairness for resource allocation in cloud computing
An agent based framework for navigation assistance and information finding in context
Static analysis for detecting and avoiding floating-point run-time errors in logic programs
Experiments in distributed memory Time Warp
Arabic text recognition of printed manuscripts : efficient recognition of off-line printed Arabic text using Hidden Markov Models, Bigram Statistical Language Model, and post-processing
Unsupervised texture segmentation using multiresolution Markov random fields
Establishing species-specific 3D liver microtissues for repeat dose toxicology and advancing in vitro to in vivo translation through computational modelling
Semantic trees : new foundations for automatic theorem-proving
A tool for using the control of character animation to help teach children communication skills
An empirical modelling approach to software system development in finance : applications and prospects
Sociomaterial perspective of learning design practice and its implications on learning design software development
Analysis and development of instrument software paradigms: conception and implementation of a new instrument control and data acquisition system, proven by material scientific applications
Specifying distributed applications : the limits of formality
Sculptured surfaces in volume modelling systems
Robustness and generalisation: tangent hyperplanes and classification trees
Inference as a data management problem
Computer aided software production
A GA-based approach to arms races
Augmenting visual perception with gaze-contingent displays
CORD : an object model supporting statistical summary information for management decision making
Modelling incremental self-repair processing in dialogue
A decentralised secure and privacy-preserving e-government system
An evaluation of an extant proposed new theory of computing based on information-theoretic principles and data compression
Assurance, provision, management and enhancement of QoS in 5G communication networks
A study of failure in a distributed pi-calculus
Utility-based buffer management and scheduling for networks
Semantic labelling of road scenes using supervised and unsupervised machine learning with lidar-stereo sensor fusion
Structured learning with inexact search: advances in shift-reduce CCG parsing
Anomalies in link mining based on mutual information
A neural computer
An integrated framework for ensuring runtime quality in service-oriented systems
Evolution of spiking neural networks for temporal pattern recognition and animat control
Time and evidence in databases : a model and its theoretic foundations
Machine learning for the exploitation of high throughput omics data: a case study on identifying circadian disruption from human blood transcriptomic data
Automated support for the implementation phase of the software development cycle : an investigation
On the implementation of purely functional data structures for the linearisation case of dynamic trees
An investigation of the representations of users' requirements in the design of interactive systems
Application of machine learning within visual content production
Citation context analysis for information retrieval
Norm-governed practical reasoning agents
Learning methodologies for information access and representation
Motif formation and emergence of mesoscopic structure in complex networks
A value and debt aware framework for evaluating compliance in software systems
Enterprise modelling and its application to organisational requirements, capture and definition
Cost-efficient resource management for scientific workflows on the cloud
An artificial neural network approach to authorship determination
Ensemble meta-learning for regression
Harnessing Search Engine Optimization experience to enhance the visibility of websites
Facilitating individual learning, collaborative learning and behaviour change in citizen science through interface design
New edge activity and anomaly detection in a large computer network
A hybrid approach to recognising activities of daily living from patterns of objects use
Intersubjectivity, empathy and nonverbal interaction
Nomadic pict: language and infrastructure design for mobile computation
Spiky RBN: a sub-symbolic artificial chemistry
Inside the virtual product : the influence of integrated software systems on organisational knowledge dynamics
Cooperative working in an open hypermedia environment
Specifying, refining and verifying reactive system design with UML and CSP
Domain adaptation for pedestrian detection
Configuration-oriented development of parallel programs
Applications of process-oriented design
A consistent reference service for the interoperation of EPrint repositories
On enhancing the security of time constrained mobile contactless transactions
Realtime multimedia performance on wireless LAN
Simulation and algorithm design of robust coding for a DVB-S based multimedia wireless system
An expert writing model for story composition
Pruned hierarchical local model networks for nonlinear system identification: neuro-fuzzy local model network-based nonlinear system identification using maximum likelihood partitioned hierarchical model trees and backward elimination pruning for structure optimisation
Towards weak bisimilarity on a class of parallel processes
Query interface matching for deep web data integration
Accelerating and simulating detected physical interations
A manufacturing core concepts ontology to support knowledge sharing
A generic model for real-time scheduling based on dynamic heterogeneous data
Visual object category recognition
Learning in adaptive networks: analytical and computational approaches
New stability analysis results on switched systems and fuzzy systems
Ensuring performance and correctness for legacy parallel programs
Hybrid scene characterisation applied to natural images
Dynamical modelling for computer control of plastics extrusion
A cyber exercise post assessment framework: in Malaysia perspectives
Interactive computing to augment the human interpretation of the 12-lead electrocardiogram
A generic predictive information system for resource planning and optimisation
The organisation and retrieval of document collections: a machine learning approach
Validating the authentic: seeing and knowing Titanic Belfast using augmented reality
Lightweight speculative support for aggressive auto-parallelisation tools
Cloud BI: a multi-party authentication framework for securing business intelligence on the Cloud
Towards a taxonomy of reusable CRM requirements for the Not for Profit sector
The effect of acoustic variability on automatic speaker recognition systems
Learning quality rules from sparse and uncertain data
An investigation of evolutionary computing in systems identification for preliminary design
A method of active system safety
Finite size effects in neural network algorithms
Integration of principal component analysis, fuzzy C-means and artificial neural networks for localised environmental modelling of tropical climate
Equilibrium computation in games and strategic aspects of bitcoin mining
Logic minimization algorithms for three-level AND-OR-EXOR representations
Context aware service composition
Computational models of trust for cooperative evolution : reputation based game theoretic models of trust for cooperative evolution in online business games
Evolutionary algorithms for static and dynamic multiobjective optimization
The use of replayable traces in the design and evaluation of operating systems
National cybersecurity capacity building framework for countries in a transitional phase
Detection, tracking and classification of vehicles in urban environments
Path-based computations in colour image processing
Multi-channel security protocols in personal networks
The theory of LEGO
Developmental self-organisation in artificial neural networks
A self-organizing controller for dynamic processes
Refinement of protein structure models with multi-objective genetic algorithms
A learning based approach to modelling bilateral adaptive agent negotiations
Digital stochastic computation
A refinement calculus for real-time systems
Exploring the role of sociotechnical systems to support deliberative localist decision-making
The ACCESS Framework : reinforcement learning for accessibility and cognitive support for older adults
Partial evaluation and mix computation in logic programming
A component-based design approach for energy flexibility management in cyber-physical systems
The use of libraries for numerical computation in distributed memory MIMD systems
Variable power transmission in highly Mobile Ad-Hoc Networks
Automatic parallelization of programs
Distributed representations for compositional semantics
Interoperability between heterogeneous and distributed biodiversity data sources in structured data networks
Kd-Jump : a Path-Preserving Stackless Traversal for Faster Isosurface Raytracing on GPUs
Optical buffering scheme for optical TCP/IP networks
Electrostatic field similarity searching in databases of three-dimensional conformationally flexible chemical structures
Designing number entry user interfaces: a focus on interactive medical devices
The effects of encumbrance and mobility on interactions with touchscreen mobile devices
Brain signal as a new biometric authentication method
Generic named entity extraction
Human detection of attacks against cyber-physical systems
Multi-stage hyper-heuristics for optimisation problems
A framework for intelligent mobile notifications
Representing indefinite information using abductive logic programs
Optimizing task offloading for mobile edge cloud systems
Designing technology to promote play between parents and their infant children
Best practice in a digital library of Arabic manuscripts
Moth-flame glowworm swarm optimisation and applications in cloud computing and machine learning
Mapping behavioural-related retention factors using a learning community lens : a mixed methods approach
An investigation into full body gender recognition in images and video
Implementation of onboard watermarking for satellite images
A concurrent visual language based on Petri nets
Acceleration of MCMC-based algorithms using reconfigurable logic
Visual motion estimation and tracking of rigid bodies by physical simulation
A multi-agent system for a bus crew rescheduling system
Strategies for non-uniform rate sampling in digital control theory
Chirp Z-Transform Studies and its Applications to Control Systems
Scalable and responsive real time event processing using cloud computing
Engineering social networking to combat digital addiction: the case of online peer groups
Synthesis and evaluation of conversational characteristics in speech synthesis
Parallel computing for unstructured mesh algorithms
3D human motion capture
The diagnostic efficacy of JPEG still image compression in three radiological imaging modalities
Trackbot : acoustic tracking with a peoplebot
Ashitaka : an audiovisual instrument
Prediction of quality of experience for video streaming using raw QoS parameters
Data-based Models Design and Learning Algorithms for Pattern Recognition
Physically-based animation of 'sticky lips'
A data fusion-based hybrid sensory system for older people's daily activity recognition
Concurrency control in multiple perspective software development
Development of algorithms for fast neuro-adaptive robot control and the relationship to real animal motor learning ability
Extending ancilla driven universal quantum computation beyond stepwise determinism
Opportunistic acceleration of array-centric Python computation in heterogeneous environments
Granular computing approach for intelligent classifier design
Propagation techniques in probabilistic expert systems
Context fusion for recognising activities of daily living from indoor video data
Investigation of multimodal template-free biometric techniques and associated exception handling
Structured investigation of digital incidents in complex computing environments
Crossmodal audio and tactile interaction with mobile touchscreens