yusuke1997/dblp-id-title huggingface dataset:
A framework for modelling stochastic optimisation algorithms with Markov chains
Conjugate Gradient Temporal Difference Learning for Visual Robot Homing
Computer-aided mangement of ADA systems
Automatic synthesis and optimisation of asynchronous data paths using partial acknowledgement
Cost-effective resource management for distributed computing
Gender differences in navigation dialogues with computer systems
Effective solutions of recursive domain equations
A distributed model for dynamic optimisation of networks
A real-time operating system
Methods for the Automatic Generation. Evaluation, and Selection of Pattern Recognition Features
Direct digital control of multivariable systems
Integrating human factors with structured analysis and design methods
Parallel dynamic load-balancing for adaptive distributive memory PDE solvers
Integrating shape-from-shading & stereopsis
Real-time stream processing in embedded systems
Assessing the evidential value of artefacts recovered from the cloud
Findings a basis for matching programming languages to programming tasks
PDBIS : A unified database end-user interface
Learning transferable representations
Semi automatic generation of CORBA interfaces for databases in molecular biology
An investigation into the use of middleware for the management of telecommunication and computer networks
Extracting contextual information from egocentric videos
Multitask learning, biased competition, and inter-task interference
In silico: a practice-based exploration of computer simulations in art
Knowledge construction using web-based constructivist approach : a critical evaluation of students' performance
Computational techniques applied to group presentations
AudioVisual collage: a computational framework for audiovisual composition and computational art
A partial syntactic analysis-based pre-processor for automatic indexing and retrieval of Chinese texts
Actor based behavioural simulation as an aid for organisational decision making
Deep latent variable models for text modelling
An analysis of some multi-microprocessor scheduling strategies for parallel programs
Static methods to check low-level code for a graph reduction machine
Neural networks-on-chip for hybrid bio-electronic systems
A probablistic method for software product measurement
Modelling and verifying dynamic access control policies using knowledge-based model checking
Petri net semantics
Intelligent automatic interpretation of active marine sonar
Computation and memory efficient face recognition using binarized eigenphases and component-based linear discriminant analysis for wide range applications
Semi-fragile watermarking for image content authentication and self-restoration
Mathematical modelling and artificial intelligence applied to statistical disclosure control
Video annotation: the role of specialist text
Perception-aware optimisation methodologies for quantum dot based displays and lighting
Computer Aided Design Techniques Applied to Heterojunction Impatts
The Trojan Horse(s) of "Hello World" culture: the story of Sony PSP domestication through the eyes of the Homebrew users
Exploring the impact of icon similarity on user performance
Navigation in non-immersive virtual environments
Extending BDI agents with robust program execution, adaptive plan library, and efficient intention progression
Fuzzy logic programming based on α-cuts
Conjunctive queries for logic-based information extraction
New algorithms and methodology for analysing distances
Disrupting agents' plans
PatchMatch belief propagation for correspondence field estimation and its applications
Value-adding intelligence in clinical prognostic systems
Parameterized complexity : permutation patterns, graph arrangements, and matroid parameters
Modelling facial action units using partial differential equations
Configuration management process maturity : definition and maturation of configuration management for aerospace and defence industries
Information transfer and causality in the sensorimotor loop
Psychological implications of personalised user interfaces
Design patterns and component framework for building RTSJ-based real-time middleware
Natural Language Generation (NLG) of discourse relations for different reading levels
Optimisation in multi-mode systems
Parallel quantum computing: from theory to practice
Thesaurus-based methodologies and tools for maintaining persistent application systems
Some Non-Linear Stochastic Control Problems
A user administered database system
Scaling-up reinforcement learning using parallelization and symbolic planning
A type-2 fuzzy logic approach for multi-criteria group decision making
The Design of Data Base Management Systems Using Linear Programming Techniques
Conservative decision-making and interference in uncertain dynamical systems
View-invariant feature selector and its application on gait recognition
A proof-theoretic approach to coinduction in Horn clause logic
Adaption layer enhancement : an investigation of support for independent link ARQ
Using subgoal chaining to address the local minimum problem
Type-2 fuzzy logic based systems for adaptive learning and teaching within intelligent e-learning environments
Enabling Cross-domain Workflow Reuse
Distributed optimisation in a broker architecture
Automated generation of personal data reports from relational databases
Computation approaches for continuous reinforcement learning problems
Testing deep image classifiers using generative machine learning
Mining sequential patterns from probabilistic data
Combinatorial and convex optimization for probabilistic models in computer vision
Deep learning based frameworks for patient selection
Thinking outside the TBox multiparty service matchmaking as information retrieval
Decidability of finite satisfiability of two-variable first-order logic with counting and local navigation in unordered unranked trees
Technology for enabling : the implications for management science of a hermeneutics of distinction
New results in colour characterization of humans and cameras
Measures and applications of lexical distributional similarity
Algorithmic aspects of stable matching problems
Understanding efficient reinforcement learning in humans and machines
Decision procedures for families of deterministic pushdown automata
The design and evaluation of a novel vehicle navigation system
A framework for supporting fault-tolerant objects in distributed systems
Evolutionary multiobjective optimisation for expensive and complex problems
Self-adapting agent organisations
Cryptography and evidence
HERAX: a microcomputer-based expert system approach for human reliability analysis
Mechanism selection for multi-robot task allocation
Bring the content closer to the end user: in-network adaptation and caching of mobile video
High resistivity Czochralski-silicon using deep level dopant compensation for RF passive devices
Weakly supervised learning of visual semantic attributes
Kalman filtering applied to online auction forecasting
Towards platforms for improved recommender systems at social media scale
Quantum error correction codes
interactive Islamic Prayer (iIP)
Realizability and partiality in constructive set theories
Problems relating to the identification of linear stochastic systems
Characteristics and regularities of graphs and words
Measuring organisational readiness prior to IT/IS investment
Linking the semantics of a multithreaded discrete event simulation language
Detecting from in-vehicle at the physical layer a smart device spatial location via 2.4 GHz SRD RF services: innovation report
Developing knowledge-based systems through ontology mapping and ontology guided knowledge acquisition
Modular performance modelling of mobile applications using graph transformation
Establishing and maintaining semantically rich traceability : a metamodelling aproach
The gamification of learning in virtual worlds
Artificial intelligence and machine learning approach to measuring energy consumption in data centre facilities
Flow measurement of pneumatically conveyed solids using intrusive electrostatic sensors
Exploring temporal computation in neuronal systems
Approximate algebraic computations in control theory
Causal reasoning in artificial intelligence
Applied machine learning for systematic equities trading: trend detection, portfolio construction and order execution
Open evolvable systems design by process-oriented modeling
Feature extraction and clustering techniques for digital image forensics
Computing chromatic adaptation
A neural network based construction heurisitic for the examination timetabling problem
Robust phase-based speech signal processing from source-filter separation to model-based robust ASR
QOS routing for mobile Ad Hoc networks using genetic algorithm
Multi-criteria optimisation for complex learning prediction systems
A secure co-owned data sharing framework using fuzzy group decision making and users reputation
Framed aspects-A generative variability approach for aspect-oriented programming
Run-time evolution of distributed systems
A decentralized self-adaptation mechanism for service-based applications in the cloud
Emotion signalling in multiple intelligent virtual agents for believable artifical animals
Using evolutionary artificial neural networks to design hierarchical animat nervous systems
A graphically based language for constructing, executing and analysing models of software systems
Adaptive mesh refinement for computational aeroacoustics
Deep neural networks for marine debris detection in sonar images
Learning saliency for human action recognition
Evolutionary generalisation and genetic programming
Ultrasound image analysis of the carotid artery
A principled framework for constructing natural language interfaces to temporal databases
A model for the coordination of mobile processes
Proper name knowledge acquisition for text understanding
The parallel and distributed simulation of network systems
The safe lambda calculus
Temporal partitioning of flexible real-time systems
Adaptation of heuristic evaluation for mobile applications and the impact of context of use
Image.building.word : a study of the digital atrifact
Modes and types in logic programming
Robust, scalable, and practical algorithms for recommender systems
On the structuring of distributed systems : the argument for mobility
Symbolic crosschecking of data-parallel floating point code
An integrated architecture for semantic search
Sentient computing : a universal framework for spatial data
The design and analysis of symmetric cryptosystems
A run time component model for building system software
Converged IP-over-standard ethernet progress control networks for hydrocarbon process automation applications controllers
A unification-based natural language interface to a database
The hierarchical organisation and dynamics of complex networks
An Investigation into the Use of Associative Date Structures in Computer Programs for Structural Analysis and Design
Self-directed learning in new and changing environments: understanding human algorithms for exploration
The resurgence of structure in deep neural networks
Compartment models and model selection for in-vivo diffusion-MRI of human brain white matter
Cryptogenography: anonymity without trust
Regulator problem in descriptor systems
Architectural evolution through softwarisation: on the advent of software-defined networks
Analysis and parameter prediction of compiler transformation for graphics processors
NFC mobile coupon protocols : developing, formal security modelling and analysis, and addressing relay attack
Network architecture for large-scale distributed virtual environments
Flexible database management system for a virtual memory machine
The coaching-machine learning interface : indoor rowing
Efficient and scalable exact inference algorithms for Bayesian networks
Linear and ellipsoidal pattern separation : theoretical aspects and experimental analysis
Cluster heads selection and cooperative nodes selection for cluster-based Internet of Things networks
A component-based approach to modelling software product families with explicit variation points
Population based spatio-temporal probabilistic modelling of fMRI data
Development and implementation of a deflection amplification mechanism for capacitive accelerometers
Documents as functions
Minimally supervised techniques for bilingual lexicon extraction
An adaptive environment for personal information management
Colour object recognition using shape-based aspects
Program transformations in weak memory models
Multi-dimensional electrical impedance data analysis for amyotrophic lateral sclerosis disease diagnosis
A user-centered design of a web-based interface to bibliographic databases
Spatial and temporal speckle filtering for feature extraction in ultrasound images
Non-symbolic fragmentation cryptographic algorithms
Key success factors impacting foreign direct investment and technology transfer : a comparative study of Libya and Egypt
Data-driven and demand-driven evaluation of logic programs
Writing coastlines: locating narrative resonance in transatlantic communications networks
Using agent-based modelling to investigate intervention algorithms to reduce polarisation in online social networks
A computerized aircrew scheduling system
Advanced IPv6 mobility management for next generation wireless access networks
Algorithms and technologies for photonic crystal modelling
An examination and confirmation of a macro theory of conversations through a realization of the protologic Lp by microscopic simulation
Tracing fine-grained provenance in stream processing systems using a reverse mapping method
3D human body modelling from range data
Security of the lower layers of the Internet of Things
Automated document retrieval based on distributed processing
The analysis and comparison of system development methodologies in software engineering
Stage scheduling for CPU-intensive servers
The performance and scalability of parallel systems
Theory and applications of quantum process calculus
Reconceptualising Krapow: creating interactive 'happenings' using EEG technology
From sequential patterns to concurrent branch patterns : a new post sequential patterns mining approach
Wavelet techniques for colour document image coding
Coherent versus differential multiple-input multiple-output systems
Robotic assisted laser bone ablation for orthopaedic surgery
Development of graphene oxide coated long period grating based fibre optic sensors
Vision-based human motion analysis, with deep learning
Wireless communication in vehicles
Data cleaning techniques for software engineering data sets
Structuring multimedia data to capture design rationale and to support product development
An algorithmic approach to state-variable estimation
A framework for the design, prototyping and evaluation of mobile interfaces for domestic environments
A method for representing knowledge and improving answer prediction in question and answer domain
Applicability of HCI techniques to systems interface design
Delegation of responsibility
Learning to integrate data from different sources and tasks
A study of the transient response of a control system having an intentional non-linearity
Detecting abrupt changes in big data
A concurrent bilateral negotiation model for open e-markets
Virtual light fields for global illumination in computer graphics
Compiler optimisation of typeless languages
Exploring the practicality of wearable gesture recognition
Steady-state and response time analysis of modulated queues and networks with batches
Authentication protocols in pervasive computing
Prediction and modelling of complex social networks and their evolution
Towards a geometric unification of evolutionary algorithms
Development of a secure biometric recognition system
Formal concept matching and reinforcement learning in adaptive information retrieval
Use of language technology to improve matching and retrieval in translation memory
A terahertz holography imaging system for concealed weapon detection application
Moment methods and hardware architectures for high speed binary, greyscale and colour pattern recognition
FORMAware : framework of reflective components for managing architecture adaptation
A bi-directional unified model for information retrieval
Constraining Montague Grammar for computational applications
A Computer Link Between Design and Manufacture
Reconfiguring distributed computations
Complying with the GDPR when vulnerable people use smart devices
Heuristics-based entity-relationship modelling through natural language processing
Definition and analysis of population-based data completeness measurement
Verifying cryptographic security implementations in C using automated model extraction
The blessings of explainable AI in operations & maintenance of wind turbines
A cloud-based intelligent and energy efficient malware detection framework: a framework for cloud-based, energy efficient, and reliable malware detection in real-time based on training SVM, decision tree, and boosting using specified heuristics anomalies of portable executable files
Ensemble registration: combining groupwise registration and segmentation
Modelling of radio wave propagation using Finite Element Analysis
A conceptual approach to the early learning of algebra using a computer
Utilising the concept of human-as-a-security-sensor for detecting semantic social engineering attacks
PrologPF : parallel logic and functions on the Delphi machine
Tailoring technologies to the rehabilitational needs of stroke survivors
Automated management cloud-platforms based on energy policies
Intelligent fault detection techniques for an electro-hydraulic system
Using technology based student led discussions to promote constructive learning in Chinese primary schools
Signal modelling: a versatile approach for the automatic analysis of the electroencephalogram
Stepping into the clouds: enabling companies to adapt their capabilities to cloud computing to succeed under uncertain conditions
A study of temporal databases and the implementation of a temporal query language
Game semantics and subtyping
An investigation of imperfect evolutionary systems
The design of predictable multi-core processors which support time-triggered software architectures
Role of biases in neural network models
A neoliberalisation of social data?: Big Data and the future of official statistics
Resilience, robustness and community structure of complex networks, applied to a real-world transport network
Community detection in complex networks using evolutionary computation
Coherent versus non-coherent space-time shift keying for co-located and distributed MIMO systems
A language and architecture for unifying system-on-chip design
Context-based semi-supervised joint people recognition in consumer photo collections using Markov networks
Model predictive controller tuning by machine learning and ordinal optimisation
Sparse Kernel feature extraction
The development of a BPO-IT framework
DiDDeM : a system for early detection of denial-of-services attacks
Towards invisible style of computer-mediated activity : transparency and continuity
Utilising incomplete domain knowledge in an information theoretic guided inductive knowledge discovery algorithm
Observation-enhanced verification of operational processes
Improving group decision making with collaborative brain-computer interfaces
Performance modelling and optimisation of multi-hop networks
Orientation : sensemaking and wayfinding in complex distributed online information environments
Investigation of an emotional virtual human modelling method
High level modelling and design of a low powered event processor
Framework to facilitate smooth handovers between mobile IPv6 networks
Simulation of complex microstructural geometries using X-FEM and the application to solder joint lifetime prediction
Automated test of evolving software
An adaptive framework for changing-contact robot manipulation
A Software Development Process Model for Students of Object Technology
An information processing language
Computational analysis of facial expressions
An investigation into the cognitive effects of instructional interface visualisations
Realising the potential of rich energy datasets
Genetic programming for low-resource systems
An investigation of smartphone applications : exploring usability aspects related to wireless personal area networks, context-awareness, and remote information access
Service differentiation : enhancing Internet application performance over optical wireless links
Runtime analysis of evolutionary algorithms with complex fitness evaluation mechanisms
High-performance computing for computational biology of the heart
An assessment of neural networks for the recognition of time-varying signals in engine condition monitoring
Applying computer-assisted assessment to auto-generating feedback on project proposals
Computational modelling and analysis of vibrato and portamento in expressive music performance
Entity comparison in knowledge graphs
Cryptocurrencies and beyond: using design science research to demonstrate diverse applications of blockchains
Improving the Process of Model Checking through State Space Reductions
WS-mediator for improving dependability of service composition
Methodology of Designing Computer Systems of Files and Programs
The development of a generic, extensible and web-enabled cbr architecture
Visualising multiple overlapping classification hierarchies
Inter-domain resource management for IP network provisioning
Automated runtime testing of Web services
Building and operating large-scale SpiNNaker machines
Novel methods of measuring the similarity and distance between complex fuzzy sets
Graph deep learning models for network-based spatio-temporal data forecasting: from dense to sparse
Relaxed stability analysis of fuzzy-model-based control systems
Semantics of object-oriented languages
I/O optimisation and elimination via partial evaluation
Lost in SPACES : exploring the benefits and shortcomings of spatial presence and awareness as a mechanism for context reasoning
Understanding and measuring systems flexibility : a case of object-oriented development environment
Information Driven Evacuation System (I.D.E.S.)
The Gauss-Newton matrix for Deep Learning models and its applications
An intelligent real-time lift scheduling system
Computer based writing support for dyslexic adults using language constraints
Hybrid abductive inductive learning
Strategies for digital platforms at early stage of development: insights gained from three empirical studies
Parallel discrete event simulation : its protocol development and applications
Cybernetics and computer aids in crime detection
Educational games to engage the un-engageable
Development of a hybrid symbolic/connectionist system for word sense disambiguation
Technologies to enhance self-directed learning from hypertext
Scalability in planning with limited resources
Information infrastructure development in Sub-Saharan Africa
The dynamics of continuous-time recurrent neural networks and their relevance to episodic memory
Asynchronous two-way relay networks
Segmentation-based and region-adaptive lossless image compression underpinned by a stellar-field image model
A functional quantum programming language
An edition of 15th Century common place book
A malware threat avoidance model for online social network users
Control and suppression of elastic waves using periodic metasurfaces and bridges
Towards a silicon quantum computer
The formal development of secure systems
Throughput optimisation in multi-channel Wireless Mesh Networks
A modular, open-source information extraction framework for identifying clinical concepts and processes of care in clinical narratives
Supporting unsupervised context identification using social and physical sensors
A verified compiler for Handel-C
Digital forensics : an integrated approach for the investigation of cyber/computer related crimes
Explanation in information systems : a design rationale approach
Learning from biosignals
New weighting schemes for document ranking and ranked query suggestion
Goal-driven collaborative filtering
Sequential and parallel algorithms for decomposing partially occluded one and two-dimensional texts
Application-specific resource management in real-time operating systems
An infrastructure for neural network construction