yusuke1997/dblp-id-title huggingface dataset:
High-level synthesis for on-line testability
A data summarisation approach to knowledge discovery
Linking electronic health records with the biomedical literature
A neural network based search heuristic and its application to computer chess
The group processor approach to computer architecture
Decoding visemes: improving machine lip-reading
The architectural aspect of designing space in virtual environments
Investigating self-regulated learning in massive open online courses: a design science research approach
Modelling and computing the quality of scientific information on the Web of Data
Aiding information security decisions with human factors using quantitative and qualitative techniques
Real time Spaun on SpiNNaker: functional brain simulation on a massively-parallel computer architecture
Neuro-evolution and deep-learning for autonomous vision based road-following
A model driven approach to analysis and synthesis of sequence diagrams
Towards the identification of intent for error correction
The Development of Compiler Writing Techniques
Multiview learning with sparse and unannotated data
Parallelised Bayesian optimisation for deep learning
Understanding sit-to-stand through experimentation and constraint-based modelling
Driver assistance using automated symbol and text recognition
Graph-theoretic approaches to text classification
Nonlinear finite element analysis of plates and slabs
Effective scheduling algorithms for cross-interference mitigation in heterogeneous wireless networks
From constraint programming to heterogeneous parallelism
Modelling Physarum polycephalum competitive behaviour for solving real world problems
Infrastructure to support reasoning with documents
Knowledge extraction from biomedical data using machine learning
Spikes from sound: a model of the human auditory periphery on SpiNNaker
Rentian locality in chip multiprocessors
A survey of methods for the simulation of continuous systems
Analysis and evaluation of the impacts of predictive analytics on production system performances in the semiconductor industry
Facial age analysis using an absorptive rough laminar light scattering model
Articulatory methods for speech production and recognition
A knowledge-base approach to design of a tutoring system in engineering
Privacy-preserving information hiding and its applications
A deep sea lab on a chip chemical sensor
Semantically-enriched and semi-autonomous collaboration framework for the Web of Things: design, implementation and evaluation of a multi-party collaboration framework with semantic annotation and representation of sensors in the Web of Things and a case study on disaster management
A framework for semantic information search and discovery in enterprise e-commerce applications
Tree based methods for rule extraction from artificial neural networks
Exploring adjustable autonomy in online tutoring systems
Emergence in active networks
Fuzzy qualitative human motion analysis
Normative conflict detection and resolution in cooperating institutions
Information embedding and retrieval in 3D printed objects
Techniques for preventing the recomputation in logic programs
Efficient and accurate stereo matching for cloth manipulation
A sketching-oriented design method for information visualization software
Interactive sonification of network traffic to support cyber security situational awareness
The fresh approach: functional programming with names and binders
Middleware support for group applications
Appearance modelling, pathology classification and evidence pinpointing for medical image analysis
FlexSIG-Flexible software inspection groupware
A quantitative approach to evaluate and develop theories on (fear of) crime in urban environments
Skin texture features for face recognition
Parallelization of formal concept analysis algorithms
Data integrity : an often-ignored aspect of safety systems : executive summary
On the performance of probabilistic flooding in wireless mobile ad hoc networks
Development of a methodology for decision-support in printed circuit board design for assembly
Supporting corporate document use through interactive visualisation of paragraph level metadata
Artificial neural network approaches and compressive sensing techniques for stochastic process estimation and simulation subject to incomplete data
Curry-Howard Term Calculi for Gentzen-Style Classical Logics
Going beyond relevance: role of effort in information retrieval
Novel techniques for audio music classification and search
Synthesis and distribution of modal transition systems from triggered scenarios
Towards digital citizenship: a digital literacy curriculum to support teachers in the classroom
Unsupervised change detection in multivariate streaming data
Practical deep learning
A generic model for representing software development methods
Cross layer ultrasound video streaming over mobile WiMAX and HSUPA networks
Rule extraction from Support Vector Machines : a geometric approach
Facial privacy protection in airborne recreational videography
Augmenting trace-based functional debugging
Studies in identification and control
Artificial Neural Networks for loudspeaker modelling and fault detection
Evaluating distributional models of compositional semantics
Black-box security: measuring black-box information leakage via machine learning
Dependency verification for electronic data interchange with binary decision diagrams
Some novel models and methods for neuroimaging data analysis
Anomaly detection for resilience in cloud computing infrastructures
A typed operational semantics for type theory
Automatic recognition of three dimensional planar objects by Hough transform type operations
Inverse rendering of faces with a 3D morphable model
Issues, opportunities and concepts in the teaching of programming to novice programmers at the University of Lincoln : three approaches
Adaptive evolution in static and dynamic environments
Mechanization of program construction in Martin-Loef's theory of types
A computational framework for similarity estimation and stimulus reconstruction of Hodgkin-Huxley neural responses
Egocentric activity recognition using gaze
Mathematical Modelling and on-Line Computer Control of a Vaporiser
Gaussian process adaptive soft sensors and their applications in inferential control systems
Improving readability in automatic unit test generation
Characterisation of skin-based THz communication channel for nano-scale body-centric wireless networks
Probabilistic mathematical modelling for security risk assessment
When is it justifiable to ascribe mental states to non-human systems?
Non-orthogonal multiple access for 5G: design and performance enhancement
Machine learning for the prediction of protein-protein interactions
Improving X-ray CT dimensional metrology with simple holeplates
Time-lapse image analysis for understanding mycobacterial growth and persistence
The simulation and control of integrated steam systems
Towards a systematic process for modelling complex systems in event-B
On the provable security of key management APIs
Multi-dimensional-personalization in mobile contexts
User quality judgements of interactive systems
IMCAT : an approach for verifying model-based code generators for conformance to source modelling language semantics
Image-based human pose estimation
Institution-independent logic programming
Implicit cognitive processes : theoretical issues and applications in computer systems design
Application of cybernetics to viable systems architecture for proactive cyber defence
Incremental dynamic compilation strategies for Pascal
Operational domain theory and topology of sequential functional languages
Categorical tools for natural language processing
Knowledge-based reward shaping with knowledge revision in reinforcement learning
Interactive real-time three-dimensional visualisation of virtual textiles
Determining principles for the development of virtual environments for future clinical applications
Utilising virtual communities for innovative consumer identification
Learning of type-2 fuzzy logic systems using simulated annealing
Rule-based stream reasoning
Mathematical models of the representation of faces in humans
Affective and cognitive state modelling within human-computer interaction
Hierarchical graphs and oscillator dynamics
A mixed methods approach to understanding the relationship between computing students' approaches to learning and academic performance for different entry pathways
The utility of analogy in systems sciences
A timed semantics for a hierarchical design notation
Influences on navigation in a desktop virtual environment
Automatic emotional state detection and analysis on embedded devices
Union theorems for double groupoids and groupoids: some generalisations and applications
Natural language processing methods for detecting and measuring the impact of scientific work beyond academia
Generating references in hierarchical domains : the case of document deixis
Network fluctuation as an explanatory factor in the evolution of cooperation
Robust text-independent speaker recognition over telecommunication systems
Towards internationalisation of library and information of library and information science education: Bologna process as a lever of quality in Italy
A comparative study of model transformation approaches through a systematic procedural framework and goal question metrics paradigm
The alignment of screens
High Accuracy Methods for the Solution to Two Point Boundray Value
Integral sliding mode fault tolerant control schemes with control allocation
Non-monotonic trust management for distributed systems
The design of accessible, usable and meaningful content
RFID enabled constraint based scheduling for transport logistics
Empirical evaluation of semi-supervised naïve Bayes for active learning
A novel rule induction algorithm with improved handling of continuous valued attributes
An artificial life perspective on olfactory systems : evolving neural coding, developmental symmetry and odour recognition in agents
User-defined information extraction from texts
Programming metalogics with a fixpoint type
Quantitative information flow of side-channel leakages in web applications
The impact of disjunction on reasoning under existential rules
A complexity theory of parallel computation
Design and implementation of a front-end amplifier for neural signal monitoring applications
Developing pixel-based feature sets for intelligent identification of Eimeria species from microscopic images
Enhancement, extraction and analysis of curvilinear structure in biomedical images
Understanding and designing for trust in Bitcoin Blockchain
Video content-based QoE prediction for HEVC encoded videos delivered over IP networks
Developing VDM++ operations from UML diagrams
Towards a unified framework of relevance
Models of open source production compared to participative systems in new media art
Model-driven approaches to analysing time- and location-dependent access control specifications
Automatic generation of software components for financial modelling
Using proof in transformation synthesis for automatic parallelisation
Capacity planning of computer systems and packet switched networks using analytical modelling
Generating artificial data for the evaluation of concept learning algorithms
Improving training and inference for embedded machine learning
Reliability modelling and analysis of real-time systems
Millimetre-wave Rotman lens-based array beamforming networks for next-generation wireless subsystems
Distributed concurrent persistent languages: an experimental design and implementation
Investigation into game-based crisis scenario modelling and simulation system
Deriving knowledge of household behaviour from domestic electricity usage metering
Enhancing legacy software system analysis by combining behavioural and semantic information sources
The impact of Internet usage on family functioning and psychological well-being in Saudi Arabia
Analysing graphene vibrations via molecular dynamics simulations and dimension reduction techniques
User based hybrid algorithms for music recommendation systems
Algorithmic trading : model of execution probability and order placement strategy
Improving software designs via the minimum description length principle
Privacy: preserving third party data mining using cryptography
Rough set approach to events: prediction in multiple time series data
Task-based parallelism for general purpose graphics processing units and hybrid shared-distributed memory systems
Grid approaches to data-driven scientific and engineering workflows
A knowledge-based microcontroller software development system
HyDRA hybrid workflow design recommender architecture
Incremental high quality probabilistic roadmap construction for robot path planning
Machine vision for endoscope control and navigation
Trust computational models for mobile ad hoc networks: recommendation based trustworthiness evaluation using multidimensional metrics to secure routing protocol in mobile ad hoc networks
Developing event identification methods for structured and unstructured data streams
Development of an intelligent container and supporting cyber-physical system services
Highly scalable 2D model-based video coding
Use of formal methods in the development of safety critical control software
Service level agreement specification for IoT application workflow activity deployment, configuration and monitoring
An IoT-based cloud-fog computing platform for creative service
Model-reference neural control
Multimedia computer networks quality of service techniques evaluation and development
Applications of the genetic algorithms optimisation approach in the design of circular polarised microstrip antennas
Reduced order modelling for efficient prediction of the dynamics of mistuned bladed disks
Aspects of internet security - identity management and online child protection
Correlation matrix memories : improving performance for capacity and generalisation
The Web Engineering Security (WES) methodology
Using machine learning to automate compiler optimisation
An incremental process for the development of multi-agent systems in Event-B
External data in logic-based advice systems
A pedagogical framework for enhancing skills of references and citations
Vowel synthesis using feed-forward neural networks
Multistage neural network ensemble : adaptive combination of ensemble results
Design and real-world application of novel machine learning techniques for improving face recognition algorithms
The impact of modes of mediation on the web retrieval process
Speeding up dynamic compilation : concurrent and parallel dynamic compilation
Generic business process modelling framework for quantitative evaluation
Induction by a Hilbert hypercure representation computer disk
Visual information retrieval using annotated free-hand sketches
Optimisation-based approaches for data analysis
Mutation-optimised subdomains for test data generation and program analysis
Abstraction in program verification
Efficiency in a fully-expansive theorem prover
The development and implementation of a computer based maintenance information system
Towards a resilience investigation framework for high performance computing
Software component testing : a standard and the effectiveness of techniques
Object code verification
Reading in Web-based hypertexts : cognitive processes strategies and reading goals
Deep Gaussian processes: advances in models and inference
Investigating communicating sequential processes for Java to support ubiquitous computing
The design and implementation of a COBOL compiler with a macro facility
Optimising strategies for learning visually grounded word meanings through interaction
Tasks and visual techniques for the exploration of temporal graph data
Relationship based access control
A learner centred CASE tool for software engineering
Reasoning about actions and plans in artificial intelligence and engineering
Dense depth estimation from image sequences
Logic and databases : an object oriented approach
Clinical bioinformatics and computational modelling for disease comorbidities diagnosis
The analogue recursive computer
Bio-inspired collision detection with motion cues enhancement in dim light environments
Architectural support for socio-technical systems
Psychoacoustics modelling and the recognition of silence in recorded speech
Narrowing in on property-based testing
Discovering physical visceral qualities for natural interaction
An empirical investigation into problem decomposition strategies used in program design
Microcosm++ : the development of a loosely coupled object based architecture for open hypermedia systems
Deep component analysis: algorithms and applications
Development of a knowledge-based system for analysis of information about computer performance
The impact of integrated farming systems on arable weed floras
Topological Analysis in the Design of a Machine to Recognise Hand-Printed Characters
A pragmatic verification approach for concurrent programs
Extending Kelly staking strategies to peer-to-peer betting exchanges
ANFIS interpolation and its application for image super resolution
Development and evaluation of a design support system
Coordination and control mechanisms for embedded swarm-like agents
Biomimetic nanostructured surfaces for antireflection in photovoltaics
A requirements-based software process maturity model
Biomimetic vocal tract modelling: an artificial speaker to investigate the energetics of speech production
A runtime analysis method unifying evolutionary algorithms on discrete search spaces
Human-computer interaction : from classifying users to classifying users' misunderstandings
A semantics for functions and behaviours
A computational model of space-variant vision based on a self-organised artificial retina tessellation
The application of the human-biometric sensor interaction method to automated border control systems
Smartphone-powered citizen science for bioacoustic monitoring
Reasoning about security protocols
Statistical language modelling and novel parsing techniques for enhanced creation and editing of mathematical e-content using spoken input
Low-latency mix networks for anonymous communication
A middleware framework for wireless sensor network
A visual metaphor-based tool for a search-engine user interface
Hand gesture recognition in uncontrolled environments
Resource allocation in systems of queues
Extensions of the hit-or-miss transform for feature detection in noisy images and a novel design tool for estimating its parameters
Static analyses over weak memory
A systematic performance study of object database management systems
Models of programs and machine learning
Gestural human-machine interaction using neural networks for people with severe speech and motor impairment due to cerebral palsy
A query ambiguity model for cross-language information retrieval
Investigating optical flow and tracking techniques for recovering motion within image sequences
Mathematical documents faithfully computerised : the grammatical and text & symbol aspects of the MathLang framework
An integrated software quality model and its adaptability within monolithic and virtualized cloud environments
Analysing intraday trading patterns and limit order book dynamics
Design and implementation of a language for path algebras
Some theoretical aspects of self-incompatibility systems in plants
Investigations into testability and related concepts
Development aids for structured concurrent systems
The Omnibus language and integrated verification approach
Specification and verification issues in a process language
Cue-based dialogue act classification
Challenging environments: using mobile devices for security
A generic parallel processing framework for real-time software video compression
Narrative construction in information visualisation
QoE evaluation across a range of user age groups in video applications
Stability of the simultaneous processor sharing model
Heterogeneous cellular networks with energy and spectral efficient techniques
Reinforcement learning routing algorithm in wireless mesh IoT networks
Advanced data-driven approaches for modelling and classification
Distributed negotiation for fault diagnosis in the connected home
The role of a Project Management Office (PMO) in reducing IT project failure in Saudi Arabia
Virtual relativity : a relativistic model for distributed interactive simulation
Sub-micron texturing for photovoltaic antireflection and light-trapping
Deep learning for compilers
Enhancing response time and reliability via speculative replication and redundancy
Multiscale modelling and simulation in systems biology
Learning visually grounded meaning representations
Exploiting holistic computation : an evaluation of the sequential RAAM
PROV-GTS: a template-based PROV graph transformation system for obscuring provenance confidential information
Software development performance in remote student teams in international computer science collaboration
Quantitative planetary image analysis via machine learning
An investigation into web-based panoramic video virtual reality with reference to the virtual zoo
Coupled resolution engines for programming knowledge based systems in logic
From English to formal specifications
Real time sub-pixel space-time stereo on the GPU
Advancing ultrasound image analysis by capturing operator gaze patterns
Psychovisual image compression
Generalized Minimum Variance Control Applied to a Casting Drum Drive in Polyester Manufacturing
Engineering an adaptive and socially-aware feedback acquisition
Evaluating the impact of social-media on sales forecasting: a quantitative study of world's biggest brands using Twitter, Facebook and Google Trends
A competencies framework of visual impairments for enabling shared understanding in design
On using gait to enhance face extraction for visual surveillance
On the study of deep learning active vision systems
Higher order tensor decompositions for machine intelligence
Computer aided detection of pulmonary embolism (PE) in CTA images
A graphical environment supporting the algebraic specification of abstract data types
Induction of accurate and interpretable fuzzy rules
An Interactive Graphics Language
Collaborative cyber security situational awareness
Brains in dialogue: investigating accommodation in live conversational speech for both speech and EEG data
The use of computer aided lung sound analysis to characterise adventitious lung sounds : a potential outcome measure for respiratory therapy
An evaluation of software modelling in practice
Visual recognition of human communication
Supporting cooperation and coordination in open multi-agent systems
Automating the quantitative analysis of microscopy images
ERES methodology and approximate algebraic computations
Interactive graphics in an integrated CAD system
An intelligent interface to menu-driven information systems
Generalised LR parsing algorithms
Annotated suffix trees for text modelling and classification
Reinforcement learning for qualitative group behaviours applied to non-player computer game characters
Derivation and evaluation of concurrent collectors
Static dependency analysis of recursive structures for parallelisation
Modelling terrestrial ecosystem productivity using remote sensing data
Quality assessment of service providers in a conformance-centric Service Oriented Architecture
The development of a multi-function computer-assisted instruction system using a hierarchical database structure as the lesson compendium
Managing software risk in agile projects
Data mining integrated architecture for shop floor control system
The n-tuple network: coping with sub-optimality
The role of external and endogenous noise in neural network dynamics and statistics
Parallel and distributed execution of model management programs
A framework for adaptive personalised e-advertisements
Modelling of interconnected nonlinear systems
Dictionary learning for scalable sparse image representation
Effects of age on smartphone and tablet usability, based on eye-movement tracking and touch-gesture interactions
Towards increased programmability for heterogeneous computing
Robust optical flow estimation and motion segmentation
From B to SPARK: an extension to a forma design environment
Motion tracking tMRI datasets to quantify abnormal left ventricle motion using finite element modelling