yusuke1997/dblp-id-title huggingface dataset:
Deep visual feature learning for vehicle detection, recognition and re-identification
An inheritance-based lexical approach to sentiment analysis
Laterality differences in memory and attention
An open framework for dynamic reconfiguration
Electron spins in fullerenes as prospective qubits
Advances in learning and understanding with graphs through machine learning
Design of electronic painting systems
Learning in dynamic data-streams with a scarcity of labels
A preprocessor building system for the C language
Quality of service support for service discovery and selection in service oriented computing environment
Games and full abstraction for non-deterministic languages
Sequential forecasting and decision making in dynamic and incomplete environments
Developing Ontology Mapping approaches for Semantic Interoperability
Subspace clustering and active learning with constraints
Object tracking in video with part-based tracking by feature sampling
Automatic analysis of voice emotions in think aloud usability evaluation: a case of online shopping
An investigation of Monte Carlo tree search and local search for course timetabling problems
Cross channel fraud detection framework in financial services using recurrent neural networks
A system for the design of networks of computing processes with some applications
A functional programming language which integrates queries and updates for managing an entity-function database
A mobile agent architecture for distributed information management
A machine learning-based investigation of cloud service attacks
An analysis of the Transport Layer Security protocol
Patterns of knowledge capture and knowledge transfer in IT projects : a study on Israeli organizations
The influence of class structure on program comprehension: an empirical study
Intermediate Languages in Compilation
Dynamic Cyber-Incident Response
Towards a verified determinacy analysis for Prolog including cut
Metamorphosis : an integrated object oriented requirements analysis and specification method
Cast shadow modelling and detection
Parallel reality: tandem exploration of real and virtual environments
Software engineering abstractions for a numerical linear algebra library
Recommender systems based on online social networks: an Implicit Social Trust And Sentiment analysis approach
Stratagems for effective function evaluation in computational chemistry
Efficient data sharing
Efficiently accessing devices across local area networks
Engineering privacy by design for delay tolerant networks
User review analysis for requirement elicitation
A denotational semantics for concurrent ADA programs
Control of large distributed systems using games with pure strategy Nash equilibria
Automatic monitoring of physical activity related affective states for chronic pain rehabilitation
A system for managing distributed multi-media data
Self-organised criticality via retro-synaptic signals in complex neural networks
Multi-level control of urban traffic networks using microprocessors
Fast static analysis for compile-time restructuring of application parallelism on Graphics Processing Units
A strategic approach of value identification for a big data project
Generative web information systems
An evolvable hardware system for automatic optical inspection
Behavioural monitoring via network communications
Runtime monitoring of security SLAs for big data pipelines: design implementation and evaluation of a framework for monitoring security SLAs in big data pipelines with the assistance of run-time code instrumentation
A methodology for providing a relational interface to access hierarchical or network databases
Decentralised coordination of smart distribution networks using message passing
Coarticulatory influences of liquids on vowels in English
Digital analysis and assessment of control system performance
Pattern mining from probabilistic databases with dependencies
Analysis of the voltage stability problem in electric power systems using artificial neural networks
Adaptive resource allocation algorithms for data and energy integrated networks supporting Internet of Things
Development acquisition of rhythmic skills in bipedal robots
Intelligent content based video retrieval based on local region tracks
Learning models in quantum computation and quantum control
A pragmatic based web service description and discovery mechanism within service orientated contexts
Computational models for contrastive opinion mining and aspect extraction
A strategic management framework for extending the lifespan of wireless sensor network deployments in critical situations
Investigation into yield and reliability enhancement of TSV-based three-dimensional integration circuits
An investigation into autonomic middleware control services to support distributed self-adaptive software
Distributed on-line safety monitor based on safety assessment model and multi-agent system
Contribution structures for requirements traceability
Integration of the process algebra CSP in dependent type theory: formalisation and verification
Image classification : a study in age-related macular degeneration screening
A distributed analysis and monitoring framework for the compact Muon solenoid experiment and a pedestrian simulation
An exploration of expressive feedback as a method for improving the human-computer relationship
Models of argument for deliberative dialogue in complex domains
Understanding and evaluating user interface visibility
Incremental modelling for verified communication architectures
The automation of network access procedures by means of a high-level control language
Fair division of the commons
A novel design approach to embedded intelligent systems
Real-time sound synthesis on a multi-processor platform
Performance modeling and analysis of Wireless Local Area Networks with bursty traffic
Estimation of long-range dependence
Image segmentation through optimal tessellation
Using pressure input and thermal feedback to broaden haptic interaction with mobile devices
Learning by observation using Qualitative Spatial Relations
Supporting location privacy management through feedback and control
Towards an understanding of communication within pair programming
Managing complex taxonomic data in an object-oriented database
Optimisation of a Hadoop cluster based on SDN in cloud computing for big data applications
A coupled user and task modelling methodology for accessible product design
Efficient verification of universal and intermediate quantum computing
Illustration of immature HCI engineering: carry forward in the development of military planning systems
Intelligent energy efficient localisation in wireless sensor networks
Indoor collaborative positioning based on a multi-sensor and multi-user system
A multi-functional turbo receiver based on partial unit memory codes
Applying knowledge-based techniques and artificial intelligence to automated problem solving in science, technology and bioinformatics
A formal approach for the analysis of the security of socio-technical systems
Utilising provenance to enhance social computation
Understanding requirements work in e-science projects
Metro traffic optimisation accounting for the disbenefit of halting between stations
An architecture towards automatic image based modelling
The computational analysis of harmony in western art music
Creativity support in games for motivated learning
Generation of software test data from the design specification using heuristic techniques : exploring the UML state machine diagrams and GA based heuristic techniques in the automated generation of software test data and test code
Statistical modelling of neuronal population activity: from data analysis to network function
Extensible information-seeking environments
Domain-focused summarization of polarized debates
Off-line and on-line parameter estimation of induction machines
Correctness-oriented approaches to software development
Ensemble based on randomised neural networks for online data stream regression in presence of concept drift
Grammatical inference for information extraction and visualisation on the Web
A novel inpainting framework for virtual view synthesis
Automata theoretic aspects of temporal behaviour and computability in logical neural networks
Exploiting concurrency in a general-purpose one-instruction computer architecture
Addressing the cold start problem in tag-based recommender systems
Requirements engineering for model transformation development
Equational logic for names and binders
Stream-based statistical machine translation
Haptic feedback of rigid tool/soft object interaction in medical training and robot-assisted minimally invasive surgery
The development and analysis of conscious machines
Modelling from spatiotemporal data : a dynamic systems approach
Representation and learning schemes for sentiment analysis
Design environments for control systems
Inferring visual contracts from Java applications
Using requirements and design information to predict volatility in software development
Human urban mobility in location-based social networks : analysis, models and applications
Extraction of linguistic resources from multilingual corpora and their exploitation
Prefetching for complex memory access patterns
Modelling the Perinatal Network System
The development of a fuzzy expert system to help top decision makers in political and investment domains
Genetic programming based evolution of multi-agent behaviours
Saudi women and the internet : gender and culture issues
Representation and decision making in the immune system
Reflective computation in concurrent object-based languages : a transformational approach
Developing dynamically reconfigurable real-time systems with real-time OSGi (RT-OSGi)
Compression of models and data in deep learning
Essays on human-AI interactions for digital innovation: innovation agency and the future of AI
An investigation into novel software tools for enhancing students' higher cognitive skills in computer programming
Interaction-driven user interface personalisation for mobile news systems
Feature driven learning techniques for 3D shape segmentation
Structural priors in deep neural networks
Information bias and trust in bitcoin speculation
Compositional behaviour and reliability models for adaptive component-based architectures
Generating argumentation frameworks from text
Mathematical software for microcomputers
Designing interfaces in public settings
An adaptive multi-objective and constraint genetic-based system for coordinating embedded agents in ubiquitous computting enviroments
Learning dynamics for robot control under varying contexts
Exploring the nature of cognitive resilience strategies
Efficient image display for head-slaved viewing of virtual environments
A machine learning framework for optimising file distribution across multiple cloud storage services
Artificial intelligence-based approach to modelling of pipe organs
Optimal sharing graphs for substructural higher-order rewriting systems
Abstract data and local reasoning
An investigation of the nominal group effect in computer mediated collaborative recall
ICT-driven interactions : on the dynamics of mediated control
New platforms for interactive multimedia services
Detecting, tracing and mitigating against denial of service in IP networks
Real-Time Recognition of Motion Behaviour Patterns
Constructivist neural network models of cognitive development
System support for client-server based interactive applications in ad hoc networks
Design issues for computer graphics in a general purpose computer system
Using wikis for intangible cultural heritage in Scotland: suitability and empowerment
A fundamental study into the theory and application of the partial metric spaces
Performance analysis of mixtures of fixed and mobile transactions over wireless computing environments
Reduced-reference impairment metrics for digitally compressed video
SODA : an interactive design tool
Prognostics and health management of light emitting diodes
Modelling expertise in quantitative scientific problem solving
Exploiting the structure of turbulence with tensor networks
Data fusion of relative movement in fast, repetitive-action sports using body wireless area networks
Studying and supporting activity awareness in collaborative learning groups: using a persuasive social actor
Modelling continuous sequential behaviour to enhance training and generalization in neural networks
Adaptation for mobile systems
Capture and maintenance of constraints in engineering design
An investigation into architectures for a parallel packet reduction machine
The impact of new technologies and the Internet on the music industry, 1997-2001
Automatic Speech Emotion Recognition : feature space dimensionality and classification challenges
Topic-centric sentiment analysis of UK parliamentary debates
Coupling matrix based integration of the active components with microwave filters
Whole system railway modelling
The optimisation of user programs for the reduce algebraic manipulation system by pre-processing
Tensor based source separation for single and multichannel signals
MIMO antennas for mobile handset and tablet applications
Project schedule optimisation utilising genetic algorithms
Learning from "shadow security": understanding non-compliant behaviours to improve information security management
Linear programming applied to chemical plant simulation
Augmented reality interfaces : architectures for visualising and interacting with virtual information
Deep neural networks for music tagging
Securing cloud storage by transparent biometric cryptography
Spectral signatures for non-rigid 3D shape retrieval
Machine learning analysis of the cultural and cross-cultural aspects of beauty in music
Stability of networks of nonlinear elements with logical properties
Inductive types in functional programming
Partial differential equations for medical image segmentation
Reasoning with time and data abstractions
Investigation and optimization of novel stack structures
Mind-reading machines: automated inference of complex mental states
Development of a scale to assess the usability of government One-Stop Portals
An investigation of model-based techniques for automotive electronic system development
A 3D landscape information model
Cyber analytics for vulnerability analysis and intrusion detection
Self organising data management systems
Dynamic characterisation of the head-media interface in hard disk drives using novel sensor systems
Elliptical cost-sensitive decision tree algorithm (ECSDT)
Computational modelling of transitive inference : A microanalysis of a simple form of reasoning
Computability and learnability in sequential weightless neural networks
Many-agent reinforcement learning
Object-based content representation and analysis for image retrieval
Programming languages and principles for read-write linked data
Checking memory safety of level 1 safety-critical Java programs using static-analysis without annotations
A behaviourist framework for describing open self-organising systems
Run time reusability in object-oriented schematic capture
UpsilonFP : An algebraic VLSI design language
The role of machine learning in personalised instructional sequencing for language learning
The development of 'for experts systems' as heuristic reasoning platforms in risk decision support : a consideration of tool design, technology transfer and compatability with Bayesian decision analysis
Paper-based watermark extraction with image processing
Data integration and query decomposition in distributed databases
Sign language recognition : Generalising to more complex corpora
Character body expression in 3D computer animation: a new posing approach
Animation manifolds for representing topological alteration
Features interaction detection and resolution in smart home systems using agent-based negotiation approach
Computational model of the effects of split processing
Maneuvering an IT career: a study of female IT professionals/practitioners from a millennial generation
A methodology for incorporating HCI requirements into CASE
Runge-Kutta residual distribution schemes
Behaviour profiling using wearable sensors for pervasive healthcare
Semantic primitives for object-oriented programming languages
Real-time appearance-based gaze tracking
A supercomputer programming system
Robust backstepping control of nonlinear uncertain systems
Enhancing association rules algorithms for mining distributed databases : integration of fast BitTable and multi-agent association rules mining in distributed medical databases for decision support
Computer applications for the probation service
Optimising communication structure for model checking
Architectures for securing low-cost IoT
Improving the robustness of speaker recognition in noise and multi-speaker conditions using deep neural networks
An Author Language and Supporting System for Computer Assisted Instruction
Dependable systems integration using measurement theory and decision analysis
End-to-end support for multimedia multipeer communications
Dynamic discontinuity meshing
Modelling economic bubbles: is Web 2.0 next
Low-resource learning in complex games
Reengineering software to three-tier applications and services
Performance of network coded systems supported by automatic repeat request
Evaluation of alternative schemes for prioritised access to DQDB MANs
Experimentation on dynamic congestion control in Software Defined Networking (SDN) and Network Function Virtualisation (NFV)
The identification of influential spreaders and communities in complex networks
A dynamic trust and mutual authentication scheme for MANET security
Flexible query processing of SPARQL queries
Weightless neural networks for face recognition
Feasibility studies of an on-line identification technique
A computer-based holistic approach to managing progress of distributed agile teams
On the Simulation of Digital Differential Analyser Systems
Formal methods and interactive systems : Principles and practice
Real-time automated visual inspection of integrated circuit wire-bonds
An integrated fault tolerance framework for service oriented computing
An investigation of hybrid systems for reasoning in noisy domains
Leveraging the value of crowdsourced geographic information to detect cultural ecosystem services
A study of the use of information sources, with special emphasis on CD-ROMS and the Internet, by Saudi physicians in major government hospitals in Riyadh, Saudi Arabia
Security risk assessment in systems of systems
Coronary segmentation in intravascular optical coherence tomography
The design of audio mixing software displays to support critical listening
Expressive timing analysis in classical piano performance by mathematical model selection
Formal verification techniques using quantum process calculus
Dense monocular perception for mobile robotics
Modelling roundabout capacities
Verification of hardware dependent software
A special theory for the generation and recognition of symmetric messages in cybernetic systems
An algebraic framework for constraint problem modelling
Parallel computational techniques for explicit finite element analysis
Deep learning with synthetic, temporal, and adversarial supervision
Efficient simulation of cardiac electrical propagation using adaptive high-order finite elements
Application of neural networks to evaluate factors affecting drilling performance
Synthesization and reconstruction of 3D faces by deep neural networks
Anonymizing large transaction data using MapReduce
Domain independent generation from RDF instance date
An integrated clustering analysis framework for heterogeneous data
Investigating the experiences of lecturers using mobile technology to teach English at Saudi universities
Systems and design: decisions between reality and conjecture
Mean-tracking algorithm for multivariable cluster analysis in manufacturing processes
Local area dynamic routing protocol: a position based routing protocol for MANET
Crossover control in selection hyper-heuristics : case studies using MKP and HyFlex
Reinforcement learning in continuous state- and action-space
Testing from structured algebraic specifications : the oracle problem
Distributed collaborative prognostics
Debugging functional programs by interpretation
VISrec!: visual-inertial sensor fusion for 3D scene reconstruction
Extending the real time specification for Java for cache coherent NUMA architectures
Automated service negotiation between autonomous computational agents
Information inequalities and quantum circuits
Creating signed directed graph models for process plants
Clausal resolution for branching-time temporal logic
A schema exploration approach for document-oriented data using unsupervised techniques
The application of formal methods in safety analysis for safety critical software systems
Expressive power of graph languages
The extraction and usage of patterns from video data to support multi-agent based simulation
A novel dual surface type-2 fuzzy logic controller for a micro robot
Dynamic integrated modelling of information systems and business process simulation
Rewriting context-free families of string diagrams
Exploring memristive nano-scale memory and logic architectures
Role of the SAA and SMB neurons in locomotion in the nematode Caenorhabditis elegans, with a focus on steering
Object modelling of temporal changes in Geographical Information Systems
Automatic identification and translation of multiword expressions
Automatic error detection in non-native English
Developmental learning of preconditions for means-end actions from 3D vision
Innovation nuclei in SMEs involved in Internet B2C e-commerce
Animating object oriented conceptual models
Resource-aware cloud-based elastic content delivery network with cost minimisation and QoS guarantee
Brain perfusion imaging : performance and accuracy
Approximating differentiable relationships between delay embedded dynamical systems with radial basis functions
A text representation language for contextual and distributional processing
Logic and the development of programming languages, 1930-1975
Eye movement controlled synthetic depth of field blurring in stereographic displays of virtual environments
A decision making information system for labour resource allocations of logic and time based large scale project computer simulations
Hypermedia link service architectures for pervasive computing environments
Nested parallelism for multi-core systems using Java
Sprite learning and object category recognition using invariant features
A high-performance, cost-effective parallel non-numerical processing VLSI architecture
A computational model for logic programming languages and its supporting architecture
The usability of knowledge based authentication methods on mobile devices
3D facial expression classification using a statistical model of surface normals and a modular approach
Latent factor representations of dynamic networks with applications in cyber-security
Case based knowledge acquisition and refinement
Developing learner autonomy and process improvement in software engineering team projects
Optical mapping signal synthesis
Fault tolerance in fixed-priority hard real-time distributed systems
Robotic perception and manipulation of garments
Empirical evaluation of the effectiveness and reliability of software testing adequacy criteria and reference test systems
Machine learning for automatic analysis of affective behaviour
Strategy iteration algorithms for games and Markov decision processes
Parity and generalised Büchi automata : determinisation and complementation
Changes in colour and contrast perception between day and night vision
Monte Carlo semantics : robust inference and logical pattern processing with natural language text
The integration of tools in software engineering environments
Process survivability in a distributed computer control system
Design methodology for 360-degree immersive video applications
An investigation into the influence of testing and development methods on software project performance
Fitness landscape-based analysis of nature-inspired algorithms
Learning to predict the behaviour of deformable objects through and for robotic interaction
Automated detection of structured coarse-grained parallelism in sequential legacy applications
Sparse hierarchical models of vision