yusuke1997/dblp-id-title huggingface dataset:
A real-time facial expression recognition system for affective computing
Player profiling and modelling in computer and video games
Supporting mobile mixed-reality experiences
Relational extensions to feature logic : applications to constraint based grammars
Artifical learning
Active visual scene exploration
Formulating test oracles via anomaly detection techniques
Adaptive behaviour through morphological plasticity in natural and artificial systems
A study of advanced visualization literacy
Content-driven superpixels and their applications
Electrochemical sensor system architecture using the CMOS-MEMS technology for cytometry applications
Distributed monitoring for intrusion detection in clouds
Improving performance of genetic algorithms by using novel fitness functions
A comparison of knowledge elicitation techniques
Role of structured induction in expert systems
Continued bonds: towards the design of computationally creative bereavement support
Estimating time delays between irregularly sampled time series
Stochastic modelling of spatial collective adaptive systems
Performance evaluation of Ethernet LAN with self-similar traffic
Dynamic deployment of web services on the internet or grid
Use of Coherent Point Drift in computer vision applications
Usability issues with security of electronic mail
Investigating the Scalability of Tiled Chip Multiprocessors using Multiple Networks
Vigrant: desktop mobility via live migration
Security of proximity identification systems
An incremental refinement approach to a development of a flash-based file system in Event-B
Descriptive complexity of linear algebra
SFNCS - a framework for assessment of spatio-temporal visualization methods
Bi-manual direct interaction within virtual environments
E-Service adoption in unstable societies
Multi-games and Bayesian Nash equilibriums
Biased search data structures and rectangular tiling
Learning shape from images
Adopting password manager applications among smartphone users
Robust execution of belief-desire-intention-based agent programs
Application of digital computers to on-line optimisation
Biologically inspired, self organizing communication networks
The theory, design, unification and implementation of a class of artificial neural network
Programming with bunched implications
Typed concurrent programs : specification and verification
Machine learning using fuzzy logic with applications to medicine
Accelerating the processing of deep neural networks
Development of a goal management system
Equivalence semantics for concurrency : comparison and application
A study of iterative methods for the solution of systems of linear equations on transputer networks
Design and verification of SC-FDE/OFDM communication schemes for millimetre-wave wireless system using FPGA technologies
Modelling, characterisation and optimisation of deep geothermal energy in the Cheshire basin
Supporting organisational semiotics with natural language processing techniques
An investigation of techniques for sketch-based human modelling and animation
The measurement and characterization of surface topography
A framework for evaluating the usability of political web sites : towards improving cyberdemocracy
Interactive multimedia : an investigation into its potential for communicating ideas and arguments
Design Rules and Guidelines for Generic Condition Based Maintenance Software's Graphic User Interface
User perceptions in the usability of web-based information systems
Configuration of semantic web applications using lightweight reasoning
Optimal temporal planning using the plangraph framework
Nondeterministic abstract data types and their implementation
Colouring, centrality and core-periphery structure in graphs
A computer model of sensory motor coordination and development
Automated domain-aware form understanding with OPAL : with a case study in the UK real-estate domain
Human information processing based information retrieval
A rule-based framework for developing context-aware systems for smart spaces
Adaptive mesh refinement
Automatic morphometric analysis of neural cells
Modelling processes with constraints
A study of abstract syntax notation 1. : value processing
A content-linking-context model and automatic copyright verification in the notice-and-take-down procedures
A knowledge-based intelligent system for surface texture (virtual surf)
Towards a framework and model for acceptable user experiences in e-government physical and virtual identity access management systems
Practical applications of performance modelling of security protocols using PEPA
Completeness-via-canonicity in coalgebraic logics
Unsupervised analysis of behaviour dynamics
The analysis and application of artificial neural networks for early warning systems in hydrology and the environment
New data synchronization & mapping strategies for PACE - VLSI processor architecture
Identifying and mitigating security risks in multi-level systems-of-systems environments
Rational verification in multi-agent systems
Sketching input for computer aided engineering
Human and machine representations of knowledge
Towards a process-centred software engineering environment to support the development of high integrity software
Implementation and optimisation of microwave medical imaging based on the multiple-frequency DBIM-TwIST algorithm
Designing for cross-device interactions
Application acceleration : an investigation of automatic porting methods for application accelerators
Compression-based methods for the automatic cryptanalysis of classical ciphers
Minimally supervised dependency-based methods for natural language processing
To what extent has information security professionalism achieved recognition?
Automatic face recognition using stereo images
Improved sequential and batch learning in neural networks using the tangent plane algorithm
Distributed termination detection for multiagent protocols
A behavioural modelling system
Understanding sorting algorithms using music and spatial distribution
Shape and reflectance estimation from dielectric materials using statistical analysis and polarisation
High performance communication framework for mobile sinks wireless sensor networks
The robustness of animated text CAPTCHAs
Curve-based shape matching methods and applications
System development with communicating sequential processes : formalisation and related studies
Theory and application of learning automata
A fold/unfold transformation system for a non-strict language
The integration of software specification, verification, and testing techniques with software requirements and design processes
Advanced document analysis and automatic classification of PDF documents
Fusion of wearable and visual sensors for human motion analysis
Rearchitecting legacy information systems : a service based method
Communication interfaces for a distributed embedded multiprocessor system
Explorations into the behaviour-oriented nature of intelligence : fuzzy behavioural maps
Formalising and reasoning about fudgets
The analysis of natural language requirements documents
Threats to information systems and effective countermeasures
Computer education in Saudi Arabian secondary schools
Privacy, openness and archives in the public domain
An Automated Pipeline for Variability Detection and classification for the Small Telescopes Installed at the Liverpool Telescope
Human motion analysis
Improved broadband adaptive beamformer performance
An attribute management process to enhance concurrent engineering in the aerospace industry
Generation of multi-level maximal length sequences and their applications to process identification
Correctness proofs of compilers and debuggers : an approach based on structural operational semantics
Cooperative diversity aided direct-sequence code-division multiple-access systems
Architecture for dynamic and secure group working
A unified systems development paradigm which synthesises Object-Oriented Methodologies and VDM
Improving access to clinical supervision through action research with community nurses : what are the build and design criteria for an online virtual environment for clinical supervision?
Automatic human behaviour anomaly detection in surveillance video
A modelling approach to multi-domain traceability
Pushing the limits of indoor localization in today's Wi-Fi networks
Quantum recurrent neural networks for filtering
A framework for cascading payment and content exchange within P2P systems
The use of learnable phonetic representations in connectionist text-to-speech system
Multi-objective hyper-heuristics and their application to water distribution network design
A study of effective variational models and efficient numerical methods for image registration
Parallel corpus multi stream question answering with applications to the Qu'ran
Towards controlling software architecture erosion through runtime conformance monitoring
Understanding, measuring, and, invoking mindfulness and mindlessness during human-computer interactions
Trolling in computer-mediated communication : impoliteness, desception and manipulation online
General video game playing using ensemble decision systems
Intuitive visualisation of multi-variate data sets using the empathic visualisation algorithm (EVA)
Bio-inspired tools for a distributed wireless sensor network operating system
Developments in predictive displays for discrete and continuous tasks
Features handling by conformal predictors
A multi-agent approach to adaptive learning using a structured ontology classification system
High fidelity imaging in electrical impedance tomography
Leveraging evaluation time to produce simple machine learning models with genetic programming
Model-based analysis of nuclear arms control verification processes
Group based coordination in a multiple mobile agent system (MMAS)
Multi-dimensional local binary pattern texture descriptors and their application for medical image analysis
Predictive dynamic resource allocation for web hosting environments
Evaluation of functional data models for database design and use
Style classification of cursive script recognition
Reinforcement learning for context-specific image analysis and understanding
Sketching 3D faces
Supporting diabetes self-management with ubiquitous computing technologies: a user-centered inquiry
A computer-aided design approach to the modelling of sound energy radiation in bounded spatial systems
Nasality in automatic speaker verification
Hyper-connectivity: intricacies of national and international cyber securities
Semantic tagging of medical narratives using SNOMED CT
Learning generative models of mid-level structure in natural images
Systems thinking in technical change: an analogical modelling approach
Investigations of the Effects of Different Computer Input Methods on Man-Computer Interaction
Proper orthogonal decomposition & kriging strategies for design
Regions-of-interest-driven medical image compression
The development and applications of serious games in the public services: defence and health
Real-time prefetching on shared-memory multi-core systems
Planning plausible human motions for navigation and collision avoidance
A multidimensional approach to classification in terminology : working within a computational framework
Negotiated resource brokering for quality of service provision of grid applications
Fuzzy prediction based control of an uncertain nonlinear system
PICASO : a computer language for art & design
Computer-aided assessment of dexterity of neurological patients by means of Fuzzy Relational Products
Data independent induction : CSP model checking or arbitary sized networks
Efficient techniques for soft tissue modeling and simulation
A framework for designing multi-level emergence
Real-time procedural animation for the upper limb
Computation and programmability at the nano-bio interface
Use of algebraically independent numbers in computation
Distribution management : an investigation into a full-load, multi-terminal, vehicle scheduling problem with backhauling and time windows
Plan recognition and student modelling in the UNIX domain
Analysis of bandwidth attacks in a bittorrent swarm
Functional programming and graph algorithms
Mobile security and smart systems: multi-modal biometric authentication on mobile devices
Concept-based and fuzzy adaptive e-learning (CaFAE)
Design of innovative access protocols for cell-less architectures
The roles of inheritance in software development
Reverse engineering the behaviour of Twitter bots
Discovering security protocol attacks by refuting incorrect inductive conjectures
On the modelling of computer software reliability and quality
Engineering a sequence machine through spiking neurons employing rank-order codes
A language with class : the theory of classification exemplified in an object-oriented language
Combination of Evolutionary Algorithms with Decomposition Techniques for Multiobjective Optimization
Expert iteration
A refinement calculus for Z
An explainable artificial intelligence approach based on deep type-2 fuzzy logic system
Key pre distribution in the context of IoT: the RPL new objective function SISLO
The 'uniform heterogeneous multi-threaded' processor architecture
Meta-compilation for C++
Intelligent computer systems : Philosophical objections to the project of artificial intelligence
Multiagent classical planning
Learning based energy management in multi-cell interference networks
Feature extraction in classification
Content-based digital video processing : digital videos segmentation, retrieval and interpretation
The relationship between media quality and user cost in networked multimedia applications
Personal data: definition and access
Explainable credit scoring through generative adversarial networks
A study of microcell and picocell wireless communication network channels
The capture of meaning in database administration
Functional inferences over heterogeneous data
Neural networks in articulatory speech synthesis
Directed symbolic model checking of security protocols
A pipelined asynchronous self-checking RISC-based processor
Context-aware message-level rumour detection with weak supervision
Behaviour Model Extraction Using Context Information
Unsupervised approaches to syntactic verb frame acquisition for biomedicine
Optimisation of a propagation model for last mile connectivity with low altitude platforms using machine learning
QoS multicast using single metric unicast routing
Computer Controlled Filters in Speech Synthesis
Combining corpus co-occurrence and attention with visual features for object recognition
Multilevel digital hardware description languages
Modelling for requirements engineering using conceptual structures
Numerical methods for the efficient and scalable discovery of semantically-described resources on the internet
eXtensible business reporting language semantic error checking for accounting information systems
An optical computational trust approach to collaborative ventures
Modelling and interpretation of architecture from several images
Optimised redundant cell collection for graph reduction
The specification and implementation of an Extended Relational Model and its application within an Integrated Project Support Environment
Serious games in teaching computer programming: usage and evaluation
Security management for mobile ad hoc network of networks (MANoN)
Low-overhead fault-tolerant logic for field-programmable gate arrays
MAP : a computer program for music information retrieval
Driver state monitoring using consumer electronic devices: innovation report
Analysis and resynthesis of polyphonic music
Managing a reconfigurable processor in a general purpose workstation environment
Preventing state divergence in replicated distributed systems
Brave : an OR-parallel logic language and its application to search problems in artificial intelligence
The application of genetic algorithms as automated repair systems for reconfigurable cell based analogue circuits
The use of high-level requirements ontologies for discovering resources in a multi-provider cloud environment
Previous hop routing: exploiting opportunism in VANETs
A data mining model to capture user web navigation patterns
Deep neural networks for real time Motor-Imagery EEG signal classification
Ontology reuse and synthesis for modelling and simulation
Tracking in information space
The Presentation of Static Information on Air Traffic Control Displays
Semantic types for class-based objects
Improving television sound for people with hearing impairments
Continuous path : the evolution of process control technologies in post-war Britain
Embodied commentary systems for virtual environments
On some multivariate control charts
Communities in annotated, multilayer, and correlated networks
Integrated ZigBee RFID sensor networks for resource tracking and monitoring in logistics management
Dynamic model exploitation in cost-change estimators for control optimization algorithms
A User preference-based Matchmaking Approach for Services Discovery in B2B e-commerce Applications
Energy efficient cache architectures for single, multi and many core processors
Data acquisition and data analysis in skin measurements
An Image Interpretation System
Performative, extravagant, expressive, place-based experiences
Model checking and compositional reasoning for multi-agent systems
Continuous authentication on mobile devices
The development of finite element software for creep damage analysis
Approximate query processing using machine learning
Skeleton-based parallelisation of functional programs
Transformation and analysis of functional programs
Fingerprint based biometric recognition allied to fuzzy neural feature classification
Adaptive Algorithms for Array Processing
Analysis of Fortran use in a university environment
A naming and trust approach for seamless handover in multiple-interface mobile devices
New results in colour normalisation
Hypothesis formulation in medical records space
Learning to adapt: meta-learning approaches for speaker adaptation
A machine learning approach for plagiarism detection
Early detection of ripple propagation in evolving software systems
Robust adaptive model predictive control for intelligent drinking water distribution systems
Applied logic : its use and implementation as a programming tool
HTML steganography algorithms and detection methods
New hybrid genetic algorithms for parameter search
Object oriented specification and refinement
Topic models for short text data
Development and application of pattern recognition techniques
Banded pattern mining for N-dimensional zero-one data
Spatial resolution enhancement using deep learning and data augmentation for cloud-based infrastructure
Classification of tweets using multiple thresholds with self-correction and weighted conditional probabilities
Representation learning of linguistic structures with neural networks
Adaptive architecture-transparent policy control in a distributed graph reducer
Design of a microwave tomography system for medical imaging applications
Cooperative & cost-effective network selection : a novel approach to support location-dependent & context-aware service migration in VANETs
Biophysically accurate floating point neuroprocessors
Real-time rendering and simulation of trees and snow
Information driven self-organization of agents and agent collectives
Resource management on the grid using historical executions
Enhanced Bees Algorithm with fuzzy logic and Kalman filtering
Towards modern, accessible and dynamic HPC using container-based virtual clusters
Computer recognition of occluded curved line drawings
The decision rule approach to optimisation under uncertainty : theory and applications
Computing with permutations and transformations
Securing unikernels in cloud infrastructures
Verifying requirements for resource-bounded agents
Design and run-time requirements modelling for adaptive systems
Inductive biases and generalisation for deep reinforcement learning
Towards accurate predicate detection in wireless sensor networks
Estimation of chaos function for the implementation of high-resolution measurement system
Facilitating file retrieval on resource limited devices
Context-aware recommender systems for implicit data
A trust based approach to mobile multi-agent systems
Optimisation of Multi-Agent Stochastic Control
Application and network traffic correlation of grid applications
Simulation of the performance of complex data-intensive workflows
Developmental neurorobotics models of counting and numerosity judgment
The process model of cognitive systems
Shared cross-modal associations and the emergence of the lexicon
A security framework for preventing Denial of Service and Economic Denial of Sustainability attacks in the cloud computing environment
A method for ontology and knowledge-base assisted text mining for diabetes discussion forum
Towards a systematic approach to capturing and reusing patterns within a business domain
Shape analysis and pose from contour
Predictive models for the control of basic oxygen steelmaking process
Application of computational intelligence in cognitive radio network for efficient spectrum utilization, and speech therapy
Development of a digital signal processing measurement platform for biomedical magnetic induction tomography and spectroscopy
The equivalence of an operational and a denotational semantics for pure dataflow
An integrated framework for CCTV infrastructures deployment in KSA: towards an automated surveillance
Dynamic service aggregation for integrating mobile and limited devices into hybrid grids
Optimised use of independent component analysis for EEG signal processing
Evolution of neuro-inspired Developmental Programs Capable of Learning
Probabilistic neural topic models for text understanding
Variable ordering heuristics for binary decision diagrams
A semantic approach to automatic program improvement
A text mining approach for Arabic question answering systems
State-switching models of human brain activity using recurrent neural networks
Development of a detection system for colour steganographic images based on extraction of colour gradient co-occurrence matrix features and histogram of difference image
Exploring and designing for multisensory interactions with 3D printed food
Innovative boundary integral and hybrid methods for diffuse optical imaging
Fully automated transformation of hardware-agnostic, data-parallel programs for host-driven executions on GPUs
Scheduling time-constrained messages on MiniMAP
Traffic engineering for quality of service provisioning in IP networks
Machine learning applied to the study of knee osteoarthritis and associated pain
Implementation methodology for using concurrent and collaborative approaches for theorem provers, with case studies of SAT and LCF style provers
A simulation method for design and development of magnetic shape memory actuators
Small and Micro Business Enterprises (SMBEs) in Addis Ababa, Ethiopia : development and poverty reduction through Information and Communication Technologies (ICTs), with particular reference to the hotel industry and associated businesses
Justifying the use of COTS components within safety critical applications
Medical quality of service for optimized ultrasound streaming in wireless robotic tele-ultrasonography system
Towards representational redescription in a single neural architecture
Some directed graph algorithms and their application to pointer analysis
Strong mutation testing strategies
The development of an interface for the non-computer professional to the computer system
Functional programming languages in computing clouds : practical and theoretical explorations
A teachable semi-automatic web information extraction system based on evolved regular expression patterns
A Bayesian-based framework for making inspection and maintenance decisions from data and expert knowledge
Fluid-structure interaction models of mitral valve and left atrium
Algorithmic skeletons : a structured approach to the management of parallel computation
Location aware data aggregation for efficient message dissemination in Vehicular Ad Hoc Networks
An intelligent hybrid system for financial decision support
The cognitive development of mathematics: spatial and timing measures associated with algorithms
Automated application-specific optimisation of interconnects in multi-core systems