yusuke1997/dblp-id-title huggingface dataset:
Stereo vision for visual realism in computer graphics
Provenance in distributed systems : a process algebraic study of provenance management and its role in establishing trust in data quality
Eliciting information requirements for ill-structured business situations
Real-time sound spatialization, software design and implementation
Highly automated method for facial expression synthesis
Studies in source identification and video authentication for multimedia forensics
Human error in the design of a safety-critical system
Acoustic model selection for recognition of regional accented speech
Multi-objective particle swarm optimisation : methods and applications
Real-time communication between virtual environments over the Internet
Modelling parallel database management systems for performance prediction
Reconfigurable channel coding for future communication systems
A generic framework facilitating automated quality assurance across programming languages of disparate paradigms
Knowledge mentoring as a framework for designing computer-based agents for supporting musical composition learning
A 3-D computer modelled animation system, implemented in an object-oriented message-passing environment
Surrogate-driven motion models from cone-beam CT for motion management in radiotherapy treatments
Constructing the discipline of computing : implications for the curriculum
A model to support the decision process for migration to cloud computing
Computerised metabolic control analysis
Visual attention for high-fidelity imaging
High dynamic range image and video compression
A process model of maintenance with reuse : an investigation and an implementation abstract
An improved instruction-level power and energy model for RISC microprocessors
Security for mobile grid systems
SNAP-based grid resource broker using the three phase commit protocol
Habit: an exploration of shopping behaviours from transactional data
A study of early indication citation metrics
Generating an RDF dataset from Twitter data: a study using machine learning
Kernel and classifier level fusion for image classification
A high-performance, efficient, and reliable receiver for Bluetooth signals
An integrated semantic-based framework for intelligent similarity measurement and clustering of microblogging posts
An investigation into the automatic classification of shoeprints
Mobile B machines
Redocumentation through design pattern recovery : an investigation and an implementation
Representation decomposition for knowledge extraction and sharing using restricted Boltzmann machines
Advances in approximate inference: combining VI and MCMC and improving on Stein discrepancy
Addressing the "lost in hyperspace" problem in hypertext
A domain-specific language based approach to component composition, error-detection, and fault prediction
The companion experience: a thesis from the study of the evolving home television experience
Specification and security analysis of mobile ad-hoc networks
The practice of everyday (virtual) life: a participatory and performative artistic enquiry
Constructing efficient self-organising application layer multicast overlays
Extracting structured information from 2D images
Advances in interior point methods for large-scale linear programming
Exploiting phonological constraints and automatic identification of speaker classes for Arabic speech recognition
Detecting riots with uncertain information on the semantic web
Application of hybrid intelligent agents to modelling a dynamic, locally interacting retail market
On the multi-scale iconic representations for low-level computer vision
Identitying vulnerabilities and controls in complex composite security architectures
Improving generalisation in continuous data domains
A symbolic execution framework for algorithm-level modelling and verification of computer microarchitecture
Transparent resilience for Chapel
Recognising high-level agent behaviour through observations in data scarce domains
Mixed selectivity via unsupervised learning in neural networks
An assessment of factors influencing neurogaming with motion-onset visual evoked potentials (mVEPs)
Cold boot attacks on post-quantum schemes
Unfamiliar facial identity registration and recognition performance enhancement
Optimisation of data collection strategies for model-based evaluation and decision-making
Larch/Aldor: a Larch BISL for AXIOM and Aldor
Art and design practices as a driver for deformable controls, textures and screen interactions
Infinite hidden conditional random fields for the recognition of human behaviour
Linked data technologies to support higher education challenges : student retention, progression and completion
Semantics and provenance of configuration programming language μPuppet
The design of a local area computer network
Correct synthesis and integration of compiler-generated function units
Fast and interactive ray-based rendering
A formal framework for the specification of interactive systems
Metadiscourse tagging in academic lectures
The systems organisation of incremental computers
Building position selection behaviours for simulated soccer agents
Near optimal routing protocols for source location privacy in wireless sensor networks: modelling, design and evaluation
Patterning and control in skilled movement
Automated analysis of security protocol implementations
Intrinsic point-based surface processing
User interactions in enterprise systems : the role of virtual co-presence on collective activity
Utilising policy types for effective ad hoc coordination in multiagent systems
Accurate and fast stereo vision
The derivation of a methodology with supporting software aids for testing structured data processing programs
A new class of coherent states and its properties
Computational modelling approaches to HIV-1 dynamics
Why does soft matter?: exploring the design space of soft robotic materials and programmable machines
Visualising software in cyberspace
A multidimensional sketching interface for visual interaction with corpus-based concatenative sound synthesis
A minimalist approach to deep multi-task learning
Constraint satisfaction problems and related logic
Abstraction and refinement of process actions
Reactive scheduling of DAG applications on heterogeneous and dynamic distributed computing systems
Supporting mobile applications in a heterogeneous distributed environment
Sequential learning and shared representation for sensor-based human activity recognition
Collapsed variational inference for computational linguistics
Positioning articulated figures
Generalized relations for compositional models of meaning
The role of mobile AR in facilitating nursing independent learning: the student experience
Support guaranteed services in multi-service packet switched networks by means of measurement-based flow admission control
Applying artificial intelligence techniques to data distribution
Latent variable methods for visualization through time
A framework for exploiting emergent behaviour to capture 'best practice' within a programming domain
Multi-objective planning using linear programming
Multiparty session types for dynamic verification of distributed systems
Communications in concurrent systems - programming language primitives and interconnection networks
Separated continuous linear programs : theory and algorithms
Practical challenges of learning and representation for large graphs
Hardware-accelerated evolutionary hard real-time task mapping for wormhole network-on-chip with priority-preemptive arbitration
Spatiotemporal user and place modelling on the geo-social web
Novel methods of image compression for 3D reconstruction
Independent learning approaches: overcoming multi-agent learning pathologies in team-games
Exploring the capabilities of FPGA DSP blocks in neural network accelerators
A database query language for operations on graphical objects
Embedding individual-based plankton ecosystem models in a finite element ocean model
Spatial workspace co-presence awareness and proxemics of users in collaborative interaction
Adaptive sentiment analysis
A temporal continual learning framework for investment decisions
Efficient query processing in managed runtimes
Towards the automated production of diagnostic software for SPC switching systems
Motion estimation and segmentation of colour image sequences
Combinatorial optimization algorithms for data sequencing
Multi-agent exploration of unknown areas
Semi-supervised methods for out-of-domain dependency parsing
App Store Analysis for software engineering
Interference and volatility in evolutionary agent-based systems
Skin texture as a source of biometric information
Accelerating digital forensic searching through GPGPU parallel processing techniques
Synthesising parallel functional programs to improve dynamic scheduling
The role of context in image annotation and recommendation
Building well-performing classifier ensembles : model and decision level combination
Information seeking in an emerging electronic environment : a study of academic computer scientists in British and Greek universities
Decidability and decomposition in process algebras
Alienation and information communications technology
Perceptual compensation for reverberation in human listeners and machines
Experiential manufacturing: designing meaningful relationships between people, data and things
Improving high performance computing using code generation and compilation techniques
Representing variability in software architecture
Handwriting recognition technology, children, and the writing process
Constructive relay based cooperative routing in mobile ad hoc networks
The development of a quality function deployment (QFD) model for the implementation of a mobile augmented reality (AR) tourism application in the context of urban heritage tourism
Automatic phenotyping of microscopic skin images
Intelligent techniques for handling uncertainty in the assessment of neonatal outcome
Digital system for bio-inspired visual attention processing fast and efficient information theoretic modelling of saliency
Level measurement of irregular surfaces
Real-time operating system modelling and simulation using systemC
An artificial experimenter for automated response characterisation
Reducing spatio-temporal data: methods and analysis
Cooperative problem-solving using assumption-based truth maintenance
Optimal Segmentation and Scheduling of Computer Programs in a Multiprogramming Environment
Simulation-based search and learning in games
Strictness analysis of lazy functional programs
MediaHub, Bayesian Decision-making in an Intelligent Multimodal Distributed Platform Hub
Extracting group relationships within changing software using text analysis
Towards a general temporal theory
A sociotechnical framework of cyber security risk management in healthcare
Leveraging service-oriented business applications to a rigorous rule-centric dynamic behavioural architecture
Object-oriented design for knowledge acquisition in expert systems
New routes to HCI: a transdisciplinary approach
Solver tuning with genetic algorithms
Robust linear and non-linear control of magnetically levitated systems
Biometric iris image segmentation and feature extraction for iris recognition
A quality framework for software development (QFSD)
Vision-based analysis and simulation of pedestrian dynamics
A local model network approach to nonlinear modelling
Stochastic modelling and simulation in cell biology
A unified obect-oriented approach to knowledge representation within a relational framework
Hidden probabilistic one-counter automata
A discussion of immersion in human computer interaction: the immersion model of user experience
Support vector machine-based fuzzy systems for quantitative prediction of peptide binding affinity
Multisensory theory for interface design
Recording process documentation in the presence of failures in service oriented architectures
Modeling urban venue dynamics through spatio-temporal metrics and complex networks
Public-key cryptography with joint and related-key security
A novel approach to video retrieval using spatio-temporal information
Depth and shape from shading
Contributions to time-bounded problem solving using knowledge-based techniques
An investigation in efficient spatial patterns mining
Portable computers for real-time signal processing: EEG analysis as a case study
Activity recognition in event driven IoT-service architectures
Gaussian process based approaches for survival analysis
Instruction scheduling for a family of multiple instruction issue architectures
How geek kids get geek jobs : a cross-generational inquiry into digital play and young adults' careers in IT
The 'lish': a data model for grid free spreadsheets
The structural inference of large regulatory networks
Novelty detection using level set methods
Assessing the adequacy of test data for object-oriented programs using the mutation method
The development of three-dimensional Computer Aided Design (CAD) modelling strategies and an investigation into their impact on novice users
Computer aided design techniques applied to logic design
An implementable formal language for hard real-time systems
A systems engineering approach to the simulation of distributed parameter processes
A linear grammar approach for the analysis of mathematical documents
Interpretable Deep Learning: beyond feature-importance with concept-based explanations
A study of adaptive load balancing algorithms for distributed systems
Development and evaluation of a novel tool for real-time control and remote monitoring ove local area networks
Calcium mediated signalling pathways for chondrocytes in 3D constructs subjected to cyclic loading
Bandwidth management in interconnection networks for multiprocessor architectures
Linear subspace methods in face recognition
Robust verification of quantum computation
Complexity modelling for case knowledge maintenance in case-based reasoning
Mathematical modelling of semiconductor devices and processes
Machine learning for efficient recognition of anatomical structures and abnormalities in biomedical images
Algorithmic skeletons for exact combinatorial search at scale
Analysing the familiar : reasoning about space and time in the everyday world
Process algebra for timed systems
Computer graphics simulation of organic and inorganic optical and morphological appearance changes
Reinforcement learning for argumentation
On The Design of Chorded Languages
Developing a risk communication and decision making modelling framework for system designers
Real time hand pose estimation for human computer interaction
Reliable many-to-many routing in wireless sensor networks using ant colony optimisation
The application of machine learning methods to portfolio management
Towards engineering principles for human-computer interaction (domestic energy planning and control)
Performance modeling and enhancement for IEEE 802.11 DCF
Adaptive broadcast schemes in mobile ad hoc networks
Secure information flow in object oriented languages
Resource provision in object oriented distributed systems
Coordinated unmanned aerial vehicles for surveillance of targets
Extension of Problem Solving Methods to Recognition
Novel Template Ageing Techniques to Minimise the Effect of Ageing in Biometric Systems
An expert system for career management within an army structure
Improving the inclusivity of older adults on social networking sites : recommendations for design and practice
The computer aided design of microprograms
Towards a purely distributional model of meaning : distance, expectation, and composition
A framework for assessing object-oriented analysis methods
Sensorless control of surface mounted permanent magnet machine using fundamental PWM excitation
Energy efficient IP over WDM networks using network coding
A Prolog implementation of an object-oriented database system
Analysis of neural network mapping functions : generating evidential support
A Proposed FAHP-based Technology Selection and Specification Methodology
Generating walking behaviours in legged robots
A High-level Computer Language for Modelling Structured Data
The role of semantic tags in resolving prepositional phrase attachment
Error recovery : literature survey and enhancement to a parser generator
A rapid simulation modelling process for novice software process simulation modellers
QoS provisioning and mobility management for IP-based wireless LAN
Exact computing in positional weighted systems
Adaptive genetic algorithms
Increasing packet network bandwidth through low level compression
Integrating adaptivity into web-based learning
Programming decentralised computers
Some aspects of human performance in a Human Adaptive Mechatronics (HAM) system
A multi-country investigation of response accuracy based on interactive charts
The Development of CCD Parallel Transfer Structures for Analogue Signal Processing
Resource allocation for heterogeneous radio-frequency and visible-light networks
Diffusion MRI for well-posed and optimal white matter microstructure characterisation: beyond single diffusion encoding
Gazing : A technique for controlling the use of rewrite rules
An approach to compliance conformance for cloud-based business applications leveraging service level agreements and continuous auditing
Multi-faceted analysis of news sharing in social networking sites
Service-based automation of software construction activities
Energy efficient transmission in cloud based IoT
Design navigation : Recovering design charts from object-oriented programs
Modeling mutual influence in multi-agent reinforcement learning
A critical approach to business process modelling in small to medium sized enterprises
High performance optimizations in runtime speculative parallelization for multicore architectures
Studies in the nature and consequences of Computer-Mediated Ostracism
Defining the mechanisms of a cooperative computer system based on theories of cooperation
Neural networks for visual feedback control of an industrial robot
Methods and measures for statistical fault localisation
Modelling aggregation motivated interactions in descriptive text generation
An agent system for query routing search
Museum, memories and digital stories : a liminal space for human computer interaction
Assessing the reliability of digital evidence from live investigations involving encryption
Advanced computer vision-based human computer interaction for entertainment and software development
Applications of self-organising fuzzy neural networks in financial time series analysis
Secure and robust algorithms for information hiding in digital images
Representation of spatial transformations in deep neural networks
Temporal logic encodings for SAT-based bounded model checking
Usable assured deletion in the cloud
Vision-based human action recognition using machine learning techniques
Amphibious researchers: working with laboratory automation in synthetic biology
A formal execution semantics and rigorous analytical approach for communicating UML statechart diagrams
Discovering images : features, similarities and subspaces
Training procedural tasks through the manipulation of multimedia in dynamic visual displays with computer-based technologies
Common ground breakdown during collaborative virtual environment navigation with wall-sized and desktop displays
Pictorial animation of software systems
Development and application of new Rule Based Fuzzy Cognitive Maps
Lock correctness
Development and implementation of real time image analysis algorithms
A new model for cross-cultural web design
Models for automatic diffrentiation : a conceptual framework for exploiting program transformation
QoS enhancement in wireless multi-hop ad hoc networks
Analysing and correcting dyslexic Arabic texts
Toward an imagined speech-based brain computer interface using EEG signals
Trust modelling and management for collaborative and composite applications in the Internet of Things
How to compare uncertain data types: towards robust similarity measures
Machine condition diagnostics based on enhanced system identification technologies
User participation in ICTD systems design: the case of mobile money innovations in Kenya
Saturation methods for global model-checking pushdown systems
Towards modelling of autonomous neuromorphic learning systems
Using technology to address the problems of malnutrition and dehydration in older adults
Speech enhancement for real-time applications
Digitally queer: the use of video-mediated communication within the gay and lesbian community
Fuzzy transfer learning in human activity recognition
A principled approach to the design of auditory interaction in the non-visual user interface
Digital sound synthesis with vocal control
A novel approach to evolving legacy software systems into a grid computing environment
Research and developments of distributed video coding
Names on the Internet: towards electronic socio-onom@stics
Generating a domain-specific inspection method through an adaptive framework
Safety assurance of aviation systems
Objective predictors of subjective aesthetic ratings of web pages
The impact of university education upon digital start-ups
On-Line Digital Image Processing for the Scanning Electron Microscope
A BitTorrent-based peer-to-peer database server
The source of individual differences in face recognition
Ravenscar-Java: Java Technology for High-Integrity Real-Time Systems
An investigation into the uncanny : character design, behaviour and context
Hybrid methods for automated timetabling
A computational view on natural evolution: on the rigorous analysis of the speed of adaptation
Compile-time optimisation of store usage in lazy functional programs
Mathematical model of competence regulation circuit
Routing in intended learning outcome networks
Characterisation and classification of protein sequences by using enhanced amino acid indices and signal processing-based methods
Generating reference to visible objects
Local decision-making in multi-agent systems
Design of a memory based expert system for interpreting facial expressions in terms of signalled emotions
Hierarchically grouped 2D local features applied to edge contour localisation
Dynamics of information systems : modelling and verification
Analysing and reducing the limitations of continuous-variable quantum cryptography and quantum networks
Network bandwidth aware dynamic automated framework for Virtual Machine Live Migration in cloud environments
Parallel architectures for signal processing
Neural networks decision support system : : decision to bid
Formal analysis of modern security protocols in current standards
Framework for improved capture of usability requirements through usage-centred design
A conceptual framework for serious games and its validation
Accelerating numerical applications using ESL methodologies
A wide-area file system for migrating virtual machines
Personalised service discovery in mobile environments
Response promoting features of discussion list posts
An approach to implementing cloud service oriented legacy application evolution
Logic for natural language analysis
Application of experimental and computational fluid dynamics techniques to the design of vortex-amplifers
Expert systems and energy modelling
A hierarchal framework for recognising activities of daily life
Bounded model checking of multi-threaded programs via sequentialization
The usability of alternative computer interfaces
Design and application of neurocomputers
A framework for the management of changing biological experimentation
Practical privacy-preserving cryptographic protocols
Gaze control for visually guided manipulation
A knowledge based reengineering approach via ontology and description logic
A software architecture for selective fault-tolerance in distributed systems
A separation-of-powers model for a trustworthy and open cloud computing ecosystem
Understanding and measuring password management behaviour
Online algorithms for temperature aware job scheduling problems
The integration of object-oriented and knowledge-based techniques in data modelling
Exploration of human search behaviour : a multidisciplinary perspective
Practical structured parallelism using BMF
Investigations of dirty paper trellis codes for watermarking
The construction of statistical expert systems with applications
Using users' touch dynamics biometrics to enhance authentication on mobile devices