yusuke1997/dblp-id-title huggingface dataset:
Detecting the misuse of secrets: foundations, protocols, and verification
Colour appearance model extension for digital displays
Developing collaborative storytelling tools and interactive spaces
Automated realistic test input generation and cost reduction in service-centric system testing
A hybrid approach to requirement level impact analysis
Open network control : towards an integrated telecommunications future
Semantic and structural analysis of genetic programming
Stateful data-parallel processing
Skin deformation and animation of character models based on static and dynamic ordinary differential equations
Statistical methods for the identification and control of multivariate stochastic systems
Generation and application of semantic networks from plain text and Wikipedia
DiCER : a design research method arising from a large organisation
The production of optimised machine-code for high-level languages using machine-independent intermediate codes
Basic set of behaviours for programming assembly robots
Spatial and temporal background modelling of non-stationary visual scenes
A mobile context-aware learning schedule framework with Java learning objects
How patterns in programming can assist in improving analytical skills
Volterra series : modelling limitations
The role of social media in relation to knowledge transfer and professional development
Does the use of the Internet further democratic participation?: a comparison of citizens' interactions with political representatives in the UK and Germany
Novel game theoretic frameworks for security risk assessment in cloud environments
Enhancing trust management in cloud computing
A novel approach to mutation operator design for MDE languages
Visual and numerical methods for unfolding bifurcations
Overcoming the limitations of statistical parametric speech synthesis
The producers and readers of London, British Library, Additional MS 37787
The construction and exploration of attribute-value taxonomies in data mining
Abduction by deduction
Program schemes and descriptive complexity
Incoherent processing of synthetic aperture sonar
A Biologically Inspired Training Algorithm for Spiking Neural Networks
Contributions to ensembles of models for predictive toxicology applications : on the representation, comparison and combination of models in ensembles
Computer simulations of doping, device structures and fabrication processes in semiconductors
Intelligent video surveillance
The evolution of modular artificial neural networks
Information theoretic graph kernels
Graphical and deep learning models for natural language labelling tasks with multiple annotators
A knowledge-based environment for supporting qualitative reasoning
Electronic simulation of loss of sensitivity and loss of frequency resolution and its effect on speech perception
Tractable reasoning with quality guarantee for expressive description logics
Predicting change propagation : algorithms, representations, software tools
An evaluation of the 'open source internet research tool': a user-centred and participatory design approach with UK law enforcement
Dynamics of the upper airway
Extracting significant phrases from documents in English and Chinese
A study of mixed mode test pattern generation methods
Internet and diasporic communication : dispersed Nigerians and the mediation of distance, longing and belonging
Stochastic modelling of physiological systems
Classification techniques using EHG signals for detecting preterm births
The use of deep learning to solve invariance issues in object recognition
Designing playful systems
A hybrid multi-agent architecture and heuristics generation for solving meeting scheduling problem
Automatic system building using a system structure language
Content modelling in multimedia information retrieval systems : the Cobra retrieval system
An empirical study on the benefits and hindrances of smart home technology
Probabilistic inference for phrase-based machine translation : a sampling approach
Constructing reliable distributed applications using actions and objects
Investigating the deployment of electronic customer relationship management readiness and maturity models in the Iranian banking industry
Separating what is evaluated from what is selected in artificial evolution
Predicting the attributes of nodes in networks
Computer - Aided Design and N/C Manufacture of Doubly - Curved Components
Improper colourings of graphs
Modelling pipelined computer architectures
Analysis of face specific visual processing in humans by applying independent components analysis(ICA) to magnetoencephalographic (MEG) data
Artificial neural networks for novel data domains : principles and examples
Science as a growing system : a cybernetic essay
Network delay control through adaptive queue management
Adaptive parallelism mapping in dynamic environments using machine learning
Process Identification by Interactive Correlation Matching
Invariant encoding schemes for visual recognition
Global optimization algorithms for multi-level and generalized semi-infinite problems
Scaleable audio for collaborative environments
Faster socieoeconomic indicators using novel data sources
The design, implementation and use of a computer-assisted instruction system
Unsupervised acquisition of concatenative morphological knowledge
Multi-channel bulk queueing systems
The construction of variable length codes with good synchronisation properties
Game-theoretic network centrality
Modular connectionist architectures and the learning of quantification skills
Fundamental frequency modelling: an articulatory perspective with target approximation and deep learning
What text can tell us about collaborative work: team shared knowledge and cohesion in an online decision-making task
Outsourcing IT professionals
Collaborative object manipulation in immersive virtual environments
Foundations of efficient virtual appliance based service deployments
Support system for concurrent tasks in a multiple processor/local network environment
Code size optimization for embedded processors
Evolutionary algorithms and computational methods for derivatives pricing
Computing education in FE : a systems approach
System concepts and formal modelling methods for business processes
On demand optimisations for distributed data grids
The algebra of open and interconnected systems
Type oriented parallel programming
Evaluating courseware development effort estimation measures and models
Nature inspired optimization of large problems
MoDeS : a mobile-agent system for improving availability and data-traffic on pervasive computing
Self-organising techniques for tolerating faults in 2-dimensional processor arrays
A multi-dimensional analytical framework for hierarchical reasoning in space and time
Analysis and resource distribution control of mult-agent systems
New algorithms and mathematical tools for phylogenetics beyond trees
MPI-style Web services : an investigation into the potential of using Web services for MPI-style applications
Understanding the structure of materials at the intersection of rationalisation, prediction and Big Data
Information systems for tactical decision making
Effective features and machine learning methods for human recognition based on multi-biometric systems
Temporal network metrics and their application to real world networks
Resource management in open tuple space systems
Towards intelligent spatial decision support for policy-making
Unobtrusive and personalised monitoring of Parkinson's disease using smartphones
Explicit design knowledge : investigating design space analysis in practice and opportunities for its development
Multimodal headpose estimation and applications
Evaluating recursive relational queries modelled by networks of coroutines
Optimising financial computation for reconfigurable hardware
Intelligent object-oriented modelling
Application of digital filtering methods to state and parameter estimation in process plant
Multilayered abstractions for partial differential equations
Library usability in higher education : how user experience can form library policy
An expert system for material handling equipment selection
Understanding the effect of exemplars on technological paradigm formation
Evolutionary rule learning in knowledge graphs with industry applications
Robotic cameraman for Augmented Reality based broadcast and demonstration
Digital parametric testing
Non-linear prediction for speech processing
An investigation of the XCS classifier system
Acquisition of geometry and reflectance of objects, including the human face, for real-time systems
Versions of interactivity : a theoretical and empirical approach to the study of hypertext fiction
Evolutionary Mechanism Design
Alternative array storage layouts for regular scientific programs
Towards an emotionally intelligent interaction strategy for multimodal embodied conversational agents acting as companions
Sensing and interactive intelligence in mobile context aware systems
Supervised machine learning algorithms for the estimation of the probability of default in corporate credit risk
Design and performance characterisation of a modular surveillance system for a distributed processing platform
A framework for integrating and transforming between ontologies and relational databases
The virtual participant : story telling in a computer supported collaborative learning environment
Statistical modelling for facial expression dynamics
Component analysis of complex-valued data for machine learning and computer vision tasks
A new parallel programming system based on an algorithmic skeleton
What lies above: using poetic methods to interrogate user positions across GNSS infrastructures
Learned fear extinction: an interdisciplinary investigation of the neurocircuitry and the potential therapeutic benefit of cannabidiol
Automating abstraction for potential-based reward shaping
Empirical assessment of patterns and guidelines for web design
Ontology representation and reasoning : a conceptual level approach
The applicability of hypermedia technology to database design
A role for introspection in AI research
Macro-modelling and transient simulation in large integrated digital systems
Reducing out-of-vocabulary in morphology to improve the accuracy in Arabic dialects speech recognition
Dynamic simulation of ion-atom interactions by hybrid computer
Sentiment analysis: text, pre-processing, reader views and cross domains
Expert systems techniques for statistical data analysis
The changing character of power projection and maritime security in a digital age
Models of higher-order, type-safe, distributed computation over autonomous persistent object stores
A service late binding enabled solution for data integration from autonomous and evolving databases
Explanation from neural networks
Designing and evaluating a user interface for continous embedded lifelogging based on physical context
Graph-based broad-coverage semantic parsing
Monitoring and adaptation of pooled cloud computing resources
Characterization of modal [action] logic
Recursive probabilistic models : efficient analysis and implementation
An investigation into neural networks with particular reference to Boolean networks
Computer Aided Identification and Design of Discrete Control Systems
Performance evaluation of concurrency control and locking in distributed database systems
VLSI design methodology
A refinement calculus for expressions
Towards understanding and improving the process of small group collaborative learning in software engineering education
Importance of embodiment towards co-operation in multi robot systems
Statistical physics of error-correcting codes
An electronic market-making algorithm
Optimizing E-management Using Web data mining
Data partitioning and scheduling for parallel digital video processing
The development of an analytical tool for automated dialogue act annotation of spoken corpora
Blackboard architecture for intelligent embedded systems
The differing profiles of the human-computer interaction professional: perceptions of practice, cognitive preferences and the impact on HCI education
Enhancing quality of service in cloud computing through novel resource management
Performance of network intrusion detection and prevention systems in highspeed environments
Investigations into applications of photometric stereo and single-pixel imaging
Extracting pragmatic content from Email
Termination and applications of term rewriting systems
Improving software model inference by combining state merging and Markov models
Run-time object code compilation to hardware
Learning relational event models from videos
Image retrieval using experience-based relevance feedback and visualisation
Species conservation in the era of digital big data
An end-user mechanism for describing software component chains
Applying semantic technologies to multi-agent models in the context of business simulations
Tools and techniques for programming many-core architectures
Evolutionary combinatorial optimisation for energy storage scheduling, and web-based power systems analysis using PHP
Architecture Level Power-Performance Trade-ofts in Data-dominated Designs
Integrating database and hypertext to support documentation environments
Finding and using analogies to guide mathematical proof
Quality-aware predictive modelling & inferential analytics at the network edge
A multi-domain approach for security compliance, insider threat modelling and risk management
Functional topology of networks
Spatial data mining approaches for GIS vector data processing
An integrated modelling framework for the design and construction of distributed messaging systems
Simulation modelling software approaches to manufacturing problems
Efficient and portable multi-tasking for heterogeneous systems
Ontology-based semantic reminiscence support system
Investigating methods of capturing and sharing learning experience during field trip to support students activity
Watermarking for attack classification
Identity management policy and unlinkability : a comparative case study of the US and Germany
Embedding approaches for relational data
Personal data sovereignty: a sustainable interface layer for a human centered data ecosystem
Cost efficient 5G heterogeneous base station deployment using meta-heuristics
Compressed representation of XML documents with rapid navigation
The effect of interface elements on transcription tasks to reduce number-entry errors
A framework of services to provide a persistent data access service for the CORBA environment
Social power and norms : impact on agent behaviour
Classifier systems for situated autonomous learning
An investigation into the representation of data for the neural implementation of a handwritten static signature verification system
Stakeholder perceptions regarding level 3 'digital skills' teaching: a qualitative case study of colleges in South West England
Object detection, recognition and classification using computer vision and artificial intelligence approaches
3D non-rigid reconstruction with prior shape constraints
A practical study of the application of computer techniques in processes of musical composition
Improved rule-based document representation and classification using genetic programming
A pragmatic approach to the formal development of safety-critical systems
Inductive-inductive definitions
Embedded eye-gaze tracking on mobile devices
Non-interactive key exchange and key assignment schemes
Knowledge transfer in object recognition
Some aspects of error correction of programming languages
Techniques and tools for the verification of concurrent systems
A model-driven framework to support games development : an application to serious games
Exact simulation of diffusions and new inference methods for discrete time data : also included, the one-shot CFTP algorithms
Synthesis of active controllers for multivariable vibratory systems
Automatic methods for videostreams analysis and self-evolving controllers
A study of novel computing methods for solving large electromagnetic hazards problems
Corpus-based approaches to Igbo diacritic restoration
Development and evaluation of a holistic, cloud-driven and microservices-based architecture for automated semantic annotation of web documents
Compositional logic programming
Parameterised verification of randomised distributed systems using state-based models
Building a conceptual framework for analyzing, comparing and evaluating identity management systems
A feature-based reverse engineering system using artificial neural networks
Dynamic collaboration and secure access of services in multi-cloud environments
Quantitative measures for code obfuscation security
Towards efficient error detection in large-scale HPC systems
Adaptive networks for robotics and the emergence of reward anticipatory circuits
Annotated transition systems for verifying concurrent programs
Fault monitoring schemes for linear stochastic systems
Exploring quantum computation through the lens of classical simulation
Statistical semantic processing using Markov logic
A reconfigurable virtual environment based on real time data
Effects of timing on users' perceived control when interacting with intelligent systems
Analogy-based software project effort estimation : contributions to projects similarity measurement, attribute selection and attribute weighting algorithms for analogy-based effort estimation
A predictive real time architecture for multi-user, distributed, virtual reality
Particle flow simulation using a parallel FMM on distributed memory systems and GPU architectures
Handling uncertainty in knowledge based systems using the theory of mass assignments
Program execution monitoring : software structures and architectural support
The application of parallel processing techniques in coded aperture imaging
Adaptive operator search for the capacitated arc routine problem
Barrier trees for studying search landscapes
Adaptive resource management in large scale distributed systems
Logical factorisation machines: probabilistic Boolean factor models for binary data
Genetic programming and cellular automata for fast flood modelling on multi-core CPU and many-core GPU computers
LnCm fault model: complexity and validation
An empirical investigation of knowledge management support for software projects
Sensitivity Aspects of nonlinear Stochastic Control Systems
On the use of continuous wavelet transforms to analyse accelerometer data collected by the NAT device to characterise Parkinson's disease
Trust in mediated interactions
Methods of frequency tuning vibration based micro-generator
An early warning system for risk management
A machine with class : a framework for object generation, integration and language authentication (FROGILA)
Models of workflow in grid systems : with applications to security and mobile code
The Design of Pneumatic Servo - Mechanisms Using Optimization Techniques
An adaptive approach to detecting behavioural covert channels in IPv6
The SSPNet-Mobile Corpus : from the detection of non-verbal cues to the inference of social behaviour during mobile phone conversations
CHARTS : A microcomputer based tool for constructing irreducible rational characters of representations of finate groups
Towards an efficient data analytics architecture for the Internet of Things
Modelling persistence in spatially-explicit ecological and epidemiological systems
Autonomous drone network: non-intrusive control and indoor formation positioning
Ulysses in cyberspace: examining the effectiveness of design patterns for digital self-control
Nature of the learning algorithms for feedforward neural networks
Investigations into distributed artificial intelligence techniques for design with applications to instruments
The use of learning styles in adaptive hypermedia
An intelligent navigation system for an unmanned surface vehicle
Non-Euclidean dissimilarity data in pattern recognition
Use of photometric stereo for the accurate modelling of three-dimensional skin microrelief
Situated displays in telecommunication
ForChaosLR: a lightweight multi-layer IDS to detect application layer DDoS attacks in the smart home-smart grid network
Development of an online collaborative working environment for design and manufacturing
Quasi-parallel processing
High fidelity olfaction simulation for virtual environments
Some optimal control problems and solutions using the Hamiltonian approach
Intelligent adaptive multisensor data fusion using hybrid architectures
Agile game: a project management game for agile methods
Direct methods for deductive verification of temporal properties in continuous dynamical systems
Self-adaptive fire evacuation by using self-designed 3D indoor positioning system
Strategic and large scale government IT projects management : innovation report
An empirical exploration of computations with a cellular-automata-based artificial life
The use of examples by novices learning Prolog
The semantics of multicopy atomic ARMv8 and RISC-V
Conversation-based interfaces to relational databases (C-BIRDS)
A unified approach to the selection of parallel multiplier algorithms and structures in a LSI-VLSI environment
Behavioural correlation for malicious bot detection
Prescriptive formalism for constructing domain-specific evolutionary algorithms
Feelings Toolkit: a new evaluation tool for very young children
Machine learning in quantitative finance
An object-oriented programming environment for parallel genetic algorithms
Software reusability and its application to interactive multimedia learning system
Mutual authentication protocols for RFID special schemes
MC 2 :MPEG-7 content modelling communities
Operational congruences for reactive systems
Optimising route comfort indices for neonatal transfers by road
On-demand transmission model using image-based rendering for remote visualization
Factor Analysis of Data Matrices : New Theoretical and Computational Aspects with Applications
Stochastic hybrid system : modelling and verification
Resource management strategies for Gigabit wireless multimedia systems
Studies of modern music production and the methodical uses of metadata
An exploration of professional identity in the information technology sector
Searching for quantum software
Toward optimised skeletons for heterogeneous parallel architecture with performance cost model
The application of logic programming to data bases
Discontinuities in information systems development
Transparent synchronous dataflow: a functional paradigm for systems modelling and optimisation
On performance portability via runtime adaptation for VO/VSLAMs
Practical search algorithms and Boolean circuits for quantum computers
An investigation into IT in the secondary school curriculum : servant or subject?
Higher-order queries and applications
Automated generation of high-integrity test suites from graphical specifications
Lindam and Tiamat : providing generative communications in a changing world
Systems biology approaches to the computational modelling of trypanothione metabolism in Trypanosoma brucei
Studies of the spectral distribution of phase for speech
On the comparison of protection systems
The development and use of smart-automated platforms for the study of complex chemical systems
Hardware neural systems for applications : a pulsed analog approach
A quest for a better simulation-based knowledge elicitation tool
Negotiating the boundaries of Internet privacy
Updating semi-structured data
Spatially structured cognitive models of semantic information : the implications for computerised databases
Controlling P2P traffic in cooperative and non-cooperative network environments
Large-scale learning of discriminative image representations
An architecture for flexible multimedia group management services
The influence of limb alignment on the gait of above-knee amputees
Computational investigations of backbone dynamics in intrinsically disordered proteins
'Implicit creation' : non-programmer conceptual models for authoring in interactive digital storytelling
Search-based generation of human readable test data and its impact on human oracle costs
Data mining and visualization
Evaluating the performance of legacy applications on emerging parallel architectures
Towards a virtual domain based authentication solution for the MapReduce application
Enforcing complex policies in RBAC