yusuke1997/dblp-id-title huggingface dataset:
Probabilistic bounded reachability for stochastic hybrid systems
Three-dimensional image classification using hierarchical spatial decomposition : a study using retinal data
Robust stability and performance for multiple model switched adaptive control
Exploring the design, deployment and use of Hermes : a system: of situated digital interactive office door displays
Co-operative coevolution for computational creativity: a case study in videogame design
The study of Bayesian reasoning through the use of interaction analysis methods
Predicate logic as a computational formalism
Interfacing structured systems analysis and design and programming methods
Expert systems for polymer characterisation
Industry attitudes and behaviour towards web accessibility in general and age-related change in particular and the validation of a virtual third-age simulator for web accessibility training for students and professionals
Design and implementation of a QoS-Supportive system for reliable multicast
Towards a knowledge-based discrete simulation modelling environment using Prolog
Memory consistency directed cache coherence protocols for scalable multiprocessors
An object oriented model of machine vision
Phishing website detection using intelligent data mining techniques : design and development of an intelligent association classification mining fuzzy based scheme for phishing website detection with an emphasis on e-banking
The electrification of language : computer-assisted language analysis of the constuction of Michael Faraday's ideas
Complexity, the auditory system, and perceptual learning in naïve users of a visual-to-auditory sensory substitution device
Stochastic, distributed and federated optimization for machine learning
Lifted heuristics : towards more scalable planning systems
An investigation of a method for improving accessibility to web-based information for users with impairments
Classic versus deep learning approaches to address computer vision challenges: a study of faint edge detection and multispectral image registration
Functional connectivity inference from time-series of events and application to computer networks
Runtime user interface specification using direct manipulation
Observations and explanations of characteristic features in the performance profiles of evolutionary algorithms
Modelling causal reasoning
Design of computer for field problems in electron beam devices
Towards achieving autonomic performance resilience in dstributed service-oriented systems
How autonomous control can improve the performance of logistics networks: a simulation experiment
Low cost motion tools for animation
On the security of real-world devices
Preserving users' location privacy in mobile platforms
Navigation in hypertext
Product cipher negotiation with on-line evaluation for private communication over computer networks
Learning (to learn) from few examples
The automatic selection of concordance lines
Consistency and the Quantified Constraint Satisfaction Problem
Type systems for modular programs and specifications
Vision based interactive toys environment
Designing and evaluating virtual persuasive agents in providing social support for Web-based learning self-efficacy in nurse education
Computational models of morphology's effects on cellular dynamics
Effective rough set feature selection via core-generating approximate minimum entropy discretization
Information management : a uniform conceptual model and its user interface
Computational chunking in Chess
Data description and manipulation in persistent programming languages
Anomaly detection in non-stationary and distributed environments
Dynamics of molecular fluctuations in gene regulatory networks
Reconfigurable photonic circuits for quantum computation
Real-time processor architectures for worst case execution time reduction
IS practice : does aikido have anything to contribute?
Rod-cone convergence in the retina
Multiple-camera studio methods for automated measurement of human motion
Location based code placement in distributed systems
Intelligent system based assessments of academic journals
An investigation of case-based reasoning for decision support of diagnosis in a large-scale ill-structured domain
Pattern-driven approach in partitioning distributed object applications
The robustness of text CAPTCHAs
The use of proofs-as-programs to build an analogy-based functional program editor
Constraint-based testing and tail tests for measurement-based probabilistic timing analysis
Towards a generic and adaptable publish/subscribe middleware to facilitate pervasive computing applications
An investigation into dynamic web service composition using a simulation framework
Motion segmentation of semantic objects in video sequences
Surface modelling for 2D imagery
Human factors in requirements engineering : a method for improving requirements processes for the development of dependable systems
A structural approach to matching problems with preferences
Combination of multiple feature streams for robust speech recognition
Delegated private set intersection on outsourced private datasets
On the measurement of concurrent software designs
Automatic Design and Testing of Large Synchronous Sequential Logic Systems
Towards the semantic web: the automation of knowledge acquisition from the medical web
Acceleration techniques for photo realistic computer generated integral images
Using CBR to improve the usability of numerical models
Computational partitioning for heterogeneous systems
Parallel and Hardware Implementations of Collision Detection Algorithms
An analysis of total correctness refinement models for partial relation semantics
Neural network design for intelligent mobile network optimisation
The use of multi-aperture magnetic cores as analogue memory elements
Correlation techniques for the measurement of blood flow rates
Gait recognition with event cameras
Identification by a hybrid 3D/2D gait recognition algorithm
Algebraic principles for program correctness tools in Isabelle/HOL
Verification and synthesis of linear systems by abstract acceleration
Performance evaluation of active network-based unicast and multicast congestion control protocols
Hybrid geo-spatial query processing on the semantic web
The safety of industrially-based controllers incorporating software
Investigating security through proof
Risk analysis and management of security threats in virtualised information systems using predictive analytics
Predictable dynamic software architectures
Improving asynchronous messaging and path finding in the OpenPGP Web of Trust
Transactions serialization in distributed multidatabase systems
Deep visual instruments : realtime continuous, meaningful human control over deep neural networks for creative expression
Compressive sensing over TV white space in wideband cognitive radio
Matching algorithms for interest management in distributed virtual environments
Adaptive array receiver algorithms for DS/CDMA communications through double-spread fading channels
Service oriented computing for dynamic virtual learning environments
A crowdsourcing approach to natural language automotive command interfaces
Pedestrian detection and tracking
Creating a framework for eliciting consumer satisfaction in Second Life
A multi-axial optical fibre and linear polarizer based force and torque sensor for dexterous robotic fingertips
Software defined networking for the Industrial Internet of Things
Demonstrate and document : the development of a best practice model for biometric access control management
Detection of suspicious URLs in online social networks using supervised machine learning algorithms
Cardiac mechanical model personalisation and its clinical applications
Regular grids: an irregular approach to the 3D modelling pipeline
Computer architecture: description and interpretation
Reliable and energy efficient mechanisms for wireless sensor networks
Gauge theories, toric varieties and machine learning
Computer Assisted Programming
Real-time physiological measure and feedback of workload
Volare mobile context-aware adaptation for the Cloud
Improving multi-tenancy security by controlling resource allocation in IaaS public clouds
Representative queueing network models of computer systems in terms of time delay probability distributions
Extensions to Guided Local Search
Recognizing describable attributes of textures and materials in the wild and clutter
Graphical foundations for dialogue games
Personalisation of machine learning models for human activity recognition
Design and fabrication of a new 3D AC-electroosmotic micropump
Evaluating readability as a factor in information security policies
Acceptance and adoption of the Internet of Things: user perspective
CMMI-CM compliance checking of formal BPMN models using Maude
Achieving parallel performance in scientific computations
Knowledge components and methods for policy propagation in data flows
The effects of fidelity on navigation in virtual environments
Security strategies in wireless sensor networks
The design and implementation of an operating system in a functional language
E-commerce diffusion in high-income developing countries : determinants of e-commerce adoption and post-adoption of Saudi enterprises
Designing service-oriented chatbot systems using a construction grammar-driven natural language generation system
Combining case-based reasoning with neural networks in diagnostic systems
Control-aimed kinematics, actuation, and sampling for a tendon-driven metamorphic hand with a spherical palm
Application of Clustering and Classification Methods to Pattern Recognition
Embodying conversational characteristics in a graphical user interface
Distilling mobile privacy requirements from qualitative data
The development of shared experience learning in a group of mobile robots
An open resource-oriented architecture for decentralized cyber physical systems
Adaptive methodologies for real-time skin segmentation and large-scale face detection
Trusted computing or trust in computing?: legislating for trust networks
Continuous-valued probabilistic neural computation in VLSI
A framework of mobile transaction use : the user's perspective
On the construction of a continuous, parallel and distributed spider
Avoiding redundancies in words
Entity finding in a document collection using adaptive window sizes
Enabling collaborative modelling for a multi-site model-driven software development approach for electronic control units
Strain transducers for active control
Dynamic binding for distributed systems
Game semantics based equivalence checking of higher-order programs
Creation of a goal-driven and reactive agent architecture
Application of pattern recognition techniques to the synthesis and testing of nonlinear mechanisms including servomechanisms
OCCAM objects
Knowledge discovery from gene expression data using neural-genetic models : a comparative study of four European countries with special attention to the education of these children
Models for agent-based infrastructures
Utilising presence in places to support mobile interaction
Architectures for ubiquitous systems
Extending WS-agreement to support dynamic service level agreements in grids
Mining user behaviour from the movement trajectories
A new parallelisation technique for heterogeneous CPUs
Formalisation and assessment of human and AI behaviour in games
Soft computing and fractal geometry in signal processing and pattern recognition
Analysis and design of linearised single-input extremum control systems
Single and joint iterative decoding for higher order modulation schemes
Semantics of texture
Computational analysis of style in Irish traditional flute playing
An evaluation of factors affecting students' use of a web-based engineering resource
The construction of high-performance virtual machines for dynamic languages
Physical layer security in wireless networks : design and enhancement
Optimization strategies for large-scale distributed computing and data management in the presence of security and other requirements
Model Based Robustness Testing of Black box Systems
Facsimile techniques for on-line computer networks
Immersive social visual analytics
Porting a distributed operating system to a shared memory parallel computer
Information, causality, and observability approaches to understand complex systems
Structure based online social network link prediction study
Pruning methods for rule induction
A pseudonym-based solution for efficient security and enhanced privacy in VANET safety applications
A self-organising distributed location server for ad hoc networks : a comprehensive analysis of using self-organising agents for storing location information in ad hoc networks
Storage Management In Structured Machines
The refinement of formal specifications using reusable software components in Ada95
Group-based parallel multi-scheduling methods for grid computing
UE uplink power distribution for M2M over LTE
Design methodologies for heterogeneous 3-D integrated systems
The generator maintenance scheduling problem: benchmarks, local search and metaheuristics
A Bayesian approach for software release planning under uncertainty
Binary sequences with prescribed autocorrelations
Risk perception and attitude in information security decision-making
The geospatial metadata server : on-line metadata database, data conversion and GIS processing
Matching with mismatches and assorted applications
On the application of identity-based cryptography in grid security
DMS-Splines and radiosity
Evaluating computer-based teaching and learning situations : theoretical approaches to TILT-E's work
Towards secure, optimistic, distributed, open systems
The philosophy of science and the deliverables of software development
Computer support for large character set languages
A conceptual e-learning system for teaching mathematics
A specification and analysis framework for provenance awareness of service compositions
Architectures for multilingual lexical representation
The regular histories formulation of quantum theory
Research into illumination variance in video processing
Computing with words for data mining
Participatory design and free and open source software in the not for profit sector: the Hublink Project
The implementation of information and communication technology (ICT) : an investigation into the level of use and integration of ICT by secondary school teachers in Chile
Image understanding for automatic human and machine separation
Agent-based modelling of transactive memory systems and knowledge processes in agile versus traditional software development teams
Integrating Linked Data search results using statistical relational learning approaches
Novel design of reliable static routing algorithm for multi-hop linear networks
A photoplethysmography system optimised for pervasive cardiac monitoring
Supporting VoIP in IEEE802.11 distributed WLANs
Selective transparency in distributed transaction processing
Semantic correctness in the specification, translation, and parallel implementation of SQL queries
Feature based dynamic intra-video indexing
Modelling and validation of fieldbus protocols
Effective features and machine learning methods for document classification
Formal foundations for provably safe web components
Service testing for the 'Internet of Things'
Temporal difference learning in complex domains
A quality-aware cloud selection service for computational modellers
Articulated human pose estimation in natural images
A theory of dynamic software updates
Practical processing and acceleration of graph neural networks
Software synthesis - representation and success : an exploration of the impact of representational technique on the attitude and performance of expert MIDI users transferring to a software synthesis environment
Intelligent monitoring and prediction systems
Interactive functional programming
Development of a software environment for investigative teaching of computational mathematics
Super-resolution for unregistered satellite images
Quantum programming
Multiprocessor-safe wait-free queue in RTSJ
Hidden state models for time series
Towards a philology of electroacoustic music: Xenakis's tape music as paradigm
Wireless sensor network control through statistical methods
A Study in On-Line Text Retrieval
Design for novel enhanced weightless neural network and multi-classifier
'Knowledgeable' tools for evolving HCI design
A Study of An All-Hydraulic Fluid Power Logic System
A recursive virtual machine architecture : implementation and associated protection problems
Partitioning the trusted computing base of applications on commodity systems
Energy-efficient cooperative single-carrier frequency-division multiple-access
3D mapping of Islamic geometric motifs
Aspects of Digital Processing in Identification
Weapons of mass disruption : understanding of crossover in real-coded genetic algorithms
Severity sensitive norm analysis and decision making
Genome sequence-based virus taxonomy using machine learning
Symbiotic evolution-based design of fuzzy inference systems with application to active suspension systems
Improving fairness and utilisation in ad hoc networks
HEDGEHOG : automatic verification of design patterns in Java
An investigation into error detection and recovery in UK National Health Service screening programmes
The dynamics of data donation: privacy risk, mobility data, and the smart city
Incremental data-flow analysis for aspect-oriented programs
Own-group biases in face and voice recognition: perceptual and social-cognitive influences
Shape descriptors
Formal development methods for interactive systems : combining interactors and design rationale
Active group communication
Pressure as a non-dominant hand input modality for bimanual interaction techniques on touchscreen tablets
Factors influence reading from screen of Arabic textbook for learning by children aged 9 to 13
Capability memory protection for embedded systems
Gobor-boosting face recognition
Memory-centric system level design of heterogeneous embedded DSP systems
Complexity and parallelism in fast DFT algorithms for multiprocessor systems
Carried baggage detection and recognition in video surveillance with foreground segmentation
Performance analysis of wormhole switched interconnections networks with virtual channels and finite buffers
A computational model of auditory feature extraction and sound classification
Electronic functional test generation and scheduling using an intelligent knowledge-based system and heuristic techniques
The parallel reduction of lambda calculus expressions
The design and semantic analysis of a programming language and its compiler
A Big Bang Big Crunch Type-2 fuzzy logic system for machine vision-based event detection and summarization in real-world ambient assisted living
Potential of psychological information to support knowledge discovery in consumer debt analysis
Data confidentiality and risk management in cloud computing
Design of reliable networks with flows
A scalable design framework for variability management in large-scale software product lines
Search-based and goal-oriented refactoring using unfolding of graph transformation systems
Intention reconsideration
Economics-driven approach for self-securing assets in cloud
Bayesian approaches to biological network predictions
Learning basic electrical concepts with models and analogies using a multimedia package
On the design of finite-state type systems
Spatiotemporal features and deep learning methods for video classification
Knowledge refinement for a formulation system
A framework to secure a document outside its organization
QoS awareness and adaptation in service composition
Ontology-based context-aware model for event processing in an IoT environment
Vision-based spoofing face detection using polarised light
The theory and practice of specification based software testing
Dynamic demand modelling and pricing decision support systems for petroleum
Practical adaptive security for resource-constrained IoT nodes
Bayesian learning for data-efficient control
Timed and choreographical multiparty session types theory
Bio-signal data gathering, management and analysis within a patient-centred health care context
An extended data flow diagram notation for specification of real-time systems
Computational approaches to visual object detection
An Approach to the Solution of a General problem in Pattern Recognition Involving Many Classes, Using a Multi-Level Hierarchy of Identical Pattern Recognition Devices
Exact string matching algorithms for searching DNA and protein sequences and searching chemical databases
Modelling and analysing software requirements and architecture decisions under uncertainty
Modelling users by classification : an example-based approach
Heuristic generation of software test data
Reasoning about correctness properties of a coordination programming language
Applying social capital theory to the management of IT outsourcing
A numerical investigation into the effect of an external flow field on the sealing of a rotor-stator cavity
Leakage power minimisation techniques for embedded processors
Facial behaviour analysis for clinical applications
Querying the web of data with low latency : high performance distributed SPARQL processing and benchmarking
Scalable deep learning architecture design
Content Control for Multimedia Applications
Vision as inverse graphics for detailed scene understanding
Theory grounded design of genetic programming and parallel evolutionary algorithms
Cross-layer energy efficiency of PLC systems for smart grid applications
Efficient implementations of expressive modelling languages
Delayed failure of software components using stochastic testing
Self-motivated composition of strategic action policies
Managing the consistency of distributed documents
An intelligent form system
Completeness of the ZW and ZX calculi
Can deep-sub-micron device noise be used as the basis for probabilistic neural computation?
Module-based classification of OWL ontologies
The role of document structure in text generation
Speech analysis using very low-dimensional bottleneck features and phone-class dependent neural networks
Self-optimising systems
Algorithmic models in quantum mechanics
Enhancing programmability for adaptive resource management in next generation data centre networks
Programming a computer to play go
Integrating local information for inference and optimization in machine learning
Towards larger scale collective operations in the Message Passing Interface
Fourier transform methods for the pricing of barrier options and other exotic derivatives
Decision under uncertainty : problems in control theory, robust optimization and game theory
A knowledge based database system for jet impingement heat transfer correlations
Programming in temporal logic
Use of CSP to verify security-critical applications
Towards the use of mini-applications in performance prediction and optimisation of production codes
A virtual machine for high integrity real-time systems
Real-time expressive Internet communications
Maintaining consistency in client-server database systems with client-side caching
Towards a dynamic vision system: computational modelling of insect motion sensitive neural systems
A Data Science approach to behavioural change: large scale interventions on physical activity and weight loss
Modelling self-managing multi agent systems using norms
Reverse complilation techniques
Connected citizens or digital isolation? : online disability activism in times of crisis
The application of genetic programming for feature construction in classification
Unsolicited commercial e-mail (spam) : integrated policy and practice
Compositional ecological modelling via dynamic constraint satisfaction with order-of-magnitude preferences
Automatic template creation for information extraction
User-centred design of bedside clinical guidelines for mobile devices
Learning and approximation algorithms for problems motivated by evolutionary trees
A cross-linguistic study of requestive speech acts in email communication
Automatic construction of virtual technical documentation
Enabling scientific data on the Web
The effects of synchronisation and other forestry commissioning constraints on vehicle routing problem solution methods
Facial expression recognition under harsh lighting using high dynamic range imaging