yusuke1997/dblp-id-title huggingface dataset:
Robust stability for nonlinear control : state-space and input-output synthesis
Towards efficient Bayesian inference: Cox processes and probabilistic integration
A novel sound reconstruction technique based on a spike code (event) representation
Between functions and relations in calculating programs
Design and evaluation of a predictable embedded processor for use in time-triggered applications
Distance and velocity measurement using cross-correlation techniques
Volume graphics : field-based modelling and rendering
Correlational and non-correlational processing in human vision
Turbines for flexible power plant operation
Applications of artificial neural networks (ANNs) in several different materials research fields
Semantics and refinement for a concurrent object oriented language
Database and data structure representation for the efficient construction and display of three dimensional polyhedra
Role of semantic indexing for text classification
Supervised algorithm selection for flow and other computer vision problems
3D face modelling for 2D+3D face recognition
A logical study of some 2-categorical aspects of topos theory
Multi agent control for space based interferometry
Some implementations of multiple target tracking algorithms on transputers
Exploring strategies to prevent harm from Web search
Energy- and information-managed wireless sensor networks : modelling and simulation
Automated organ localisation in fetal Magnetic Resonance Imaging
Seamless parallel computing on heterogeneous networks of multiprocessor workstations
Distributed optimisation in dynamic wireless sensor networks
The Nucleus Software of a Distributed Computer System
Supporting integrated care pathways with workflow technology
A parallel computer architecture to support artificial neural networks
Colour information in natural scenes : frequency of metamerism and colour gamut
A policy-based management approach to security in cloud systems
Towards multi-modal face recognition in the wild
A performance analysis of a hybrid relational-XML approach to store partially-structured data
Peer-to-peer, multi-agent interaction adapted to a web architecture
Text knowledge : the Quirk Experiments
Generating verified access control policies through model-checking
Image description and image comparison
Performance of Networks of Computer Systems
Evolvable hardware platform for fault-tolerant reconfigurable sensor electronics
A semi-quantitative approach to representation and reasoning for expert systems
Automatic code generation for autonomous mobile robots
A context information service for mobile applications
Experimental studies of the interaction between people and virtual humans with a focus on social anxiety
Defining models for project management processes
Tracking multiple mobile devices in CCTV-enabled areas
Supporting dependently typed functional programming with proof automation and testing
Implementation of an optimising object-oriented programming language compiler for embedded applications
Image motion analysis using inertial sensors
An object based architecture for software development environments
Extension polymorphism
Feasibility of accelerator generation to alleviate dark silicon in a novel architecture
Spatial multiplexing transmit diversity hybrid schemes for future wireless local area network
Automorphisms generating disjoint Hamilton cycles in star graphs
Development and evaluation of an automated approach to the measurement and design of icons
A game-based approach towards human augmented image annotation
Exploiting structure to cope with NP-hard graph problems : polynomial and exponential time exact algorithms
Design interfaces for high-level synthesis : library modelling, netlist generation and visualisation
Improving application trustworthiness on stock Android
Personal predictive Internet content pre-caching for mobile devices
Automatic documents summarization using ontology based methodologies
Implementation of neural networks as CMOS integrated circuits
User friendly response generation and transparent task allocation in a networked abstract machine environment
Practical privacy and security for opportunistic networks
Developments in structural learning using Ihara coefficients and hypergraph representations
Augmenting user interfaces with haptic feedback
Predicting the absorption rate of chemicals through mammalian skin using machine learning algorithms
Issues in validation and executability of formal specifications in the Z notation
Object Management for Persistence and Recoverability
Multiscopic neuro-vision for two and three dimensional object recognition and classification
The germinal centre artificial immune system
Modelling the IR task: supporting the user
Mobile network and cloud based privacy-preserving data aggregation and processing
Hybrid genetic algorithms for real world combinatorial optimization problems
The prediction of risk of welding defects at the procedure stage using computer knowledge based systems
A secure and scalable communication framework for inter-cloud services
A novel energy efficient wireless sensor network framework for object tracking
Speech recognition in programmable logic
Online causal structure learning in the presence of latent variables
Active privilege management for distributed access control systems
Choosing reputable resources in unstructured peer-to-peer networks using trust overlays
Compact routing for the future internet
High-performance geometric vascular modelling
Intelligent video streaming in next generation mobile networks
Evaluating the impact of security measures on performance of secure web applications hosted on virtualised platforms
Caring systems: making relational, gameful self-care technologies for mental health
Statistical analysis, modelling and synthesis of voice for text to speech synthesis
Machine-assisted phonemic analysis
Probabilistic finite domains
Type inference in flexible model-driven engineering
Cooperation and resource allocation in relay and multicarrier systems
TDL - a software tool to support designers in task analysis
Parametric studies and data development of two-dimensional cellular structures and crystals at different length scales
Dense 3D facial shape recovery employing shading and correspondences
Application of artificial neural networks to condition monitoring
Abductive logic programming
Real-time people tracking in a camera network
Novel scanning techniques for CCD image capture and display
Many-objective genetic type-2 fuzzy logic based workforce optimisation strategies for large scale organisational design
Performance evaluation and resource management in enterprise systems
Adaptive service provision and execution in mobile environments
Automatic acquisition of knowledge for solving analysis tasks
Geometric correction of historical Arabic documents
Flexible and efficient computation in large data centres
Task recovery in self-organised multi-agent systems for distributed domains
Knowledge-based automatic tolerance analysis system
A methodology for the interpretation of ground conditions from borehole information
A meta-level argumentation framework for presenting and reasoning about disagreement
A query evaluation model supporting parallelism for logic programs
Clustering-based labelling scheme: a hybrid approach for efficient querying and updating XML documents
Cost-effective accurate 3-D reconstruction based on multi-view images for plant phenotyping
Discourses of desire : the normative in online sex talk
Metamer sets
On the complexity of verifying differential privacy
A logic and model for the Z standard
An incremental machine learning mechanism for robotic applications
A computational framework for stereo imaging
Trajectory planning for autonomous underwater vehicles
Evaluating computational creativity : a standardised procedure for evaluating creative systems and its application
Content dissemination in participatory delay tolerant networks
A privacy preserving approach to security analytics within a smart city
Animation prototyping of formal specifications
The role of the crucial experiment in student modelling
Application of software engineering tools and techniques to PLC programming : innovation report
Adaptive resonance theory and integrated visualisation and classification using growing cell structures
A study on diversity in classifier ensembles
Realisation of computer generated integral three dimensional images
Specification, implementation and verification of refactorings
The use of diagrams and colour in the display of ADA programs
On secure information flow in computer systems
Interactive multimedia design features : their derivation, application and assessment in electronic shopping
Fitting and using model Hamiltonian in non-adiabatic molecular dynamics simulations
A knowledge-based framework for information extraction and exploration
Design, analysis and applications of cryptographic techniques
Knowledge restructuring and the development of expertise in computer programming
A quantitative security assessment of modern cyber attacks: a framework for quantifying enterprise security risk level through system's vulnerability analysis by detecting known and unknown threats
Multi-layer neural networks and their implementation in analogue VLSI
A general purpose simulation study based on simone
Pragmatic application of formal methods to safety critical systems
Knowledge driven approaches to e-learning recommendation
A functional approach to user interfaces for a spatial database
An executable formal semantics of PHP with applications to program analysis
Deep learning uncovers genomic features of cell-type and state
The effect of cannabis use on prospective memory processes in young adults
An approach to modelling and describing software evolution processes
Logics and analyses for concurrent heap-manipulating programs
The biomechanics of the spine, knee and other parts of the musculoskeletal system and techniques for their investigation
Approaches to parallel performance prediction
Fault-tolerant programming by transformations
Interactive machine learning for user-innovation toolkits: an action design research approach
Using a loadtime metaobject protocol to enforce access control policies upon user-level compiled code
Statistical computing : individual differences in the acquisition of a cognitive skill
The impact of XML in digital library development
Hybrid measurement-based WCET analysis using instrumentation point graphs
The architecture of a multimedia system for use in industrial control
Scalable Bayesian inversion with Poisson data
Search satisfaction: choice overload, variety seeking and serendipity in search engine use
Using semantics for visual content retrieval
Development of a grid service for multi-objective design optimisation
Robust algorithms for speech reconstruction on mobile devices
A computer-based methodology for advising the designer regarding assembly automation
Low-overhead Dynamic Binary Modication on 64-bit Arm microarchitectures
Automatic recognition of multi-word terms
Free-text keystroke dynamics authentication with a reduced need for training and language independency
Exploring vectorisation for parallel breadth-first search on an advanced vector processor
Patch-based segmentation with spatial context for medical image analysis
A case-based assistant for the diagnosis and analysis of dysmorphic syndromes
Defining and Describing Change Events in Software Development Projects
The development of a SmartAbility Framework to enhance multimodal interaction for people with reduced physical ability
Automated knowledge extraction from text
Enhanced educational framework for networking
Investigating electrohydrodynamic jet printing of superconducting quantum circuits
A design framework for software product lines
Automated quantitative software verification
Self-adaptive containers: a novel framework for building scalable QoS-aware software with low programmer overhead
The structure of open ATM control architectures
Automated test generation from algebraic specifications
Enhanced indoor positioning utilising Wi-Fi fingerprint and QR calibration techniques
Consent reconsidered: reframing consent for ubiquitous computing systems
An investigation into the effects of social influence on moral behaviour using immersive virtual reality
Machine learning and privacy preserving algorithms for spatial and temporal sensing
An ontology-based reengineering methodology for service orientation
Dynamic editable models of fire from video
Active intelligent control of vibration of flexible plate structures
The use of knowledge-based systems techniques for risk assessment
Hypermedia for prototyping and system integration in information systems development
The impact of clutter on the comprehension of set visualizations
An alternative modelling technique for the reduction of error in decision support spreadsheets
Benchmarking object-relational database systems for adaptive design
The 'tag team' : tools, tasks and roles in collaborative software development
An information analysis of the interaction between sensory signals and ongoing cortical activity using a novel mechanistic cortical model, behavioural and MEG studies
Precise orbit determination and analysis from satellite altimetry and laser ranging
Mobile diabetes management system for Saudi Arabia embedding social networking and cognitive behavioral therapy modules
Performance engineering unstructured mesh, geometric multigrid codes
Telethrone: a situated display using retro-reflection based multi-view toward remote collaboration in small dynamic groups
Semantic sentence similarity incorporating linguistic concepts
Automatic idea generation and analysis using NLP and ML techniques
Computational models of familiarity discrimination in the perirhinal cortex
A blackboard based hybrid multi-agent approach for machine learning using reinforcement learning techniques
A novel approach to providing secure data storage using multi cloud computing
Implicit, view-invariant modelling of 3D non-rigid objects
A novel representation for search-based model-driven engineering
Analysing the security properties of object-capability patterns
Comparing the effectiveness of face to face and computer mediated collaboration in design
A query-based approach to ontologies using the theory of institutions
P.Q.S.: building and using an advanced qualitative simulator utilizing explicit nondeterminism
Software methodology in local area networks
Resource contention in real-time systems
The analysis and synthesis of distributed knowledge : using the Johnson Methodology
Multiscale modelling of xenobiotic transport through biotissues
The application of Artificial Neural Networks to short term electrical load forecasting and other engineering problems
Data mining of many-attribute data : investigating the interaction between feature selection strategy and statistical features of datasets
Dynamic load balancing
Toward a real-time computational analysis middleware for scientific observation that employ sensor & mobile networks
Tense, aspect and temporal reference
Corpus-consulting probabilistic approach to parsing : the CCPX parser and its complementary components
Evolution of web-based systems in model driven architecture
The computational application of bilattice logic to natural reasoning
Explainable argument mining
Efficient sequence comparison via combining alignment and alignment-free techniques: algorithms and bioinformatics research
Hardware based approach to confine malicious processes from side channel attack
The use of non-volatile a-Si:H memory devices for synaptic weight storage in artificial neural networks
A skeleton-based programming environment for parallel and distributed fault-tolerant real-time systems
Guidance during program composition in a Prolog techniques editor
Improving cache performance by runtime data movement
Structural traffic analysis for network security monitoring
Computer Aided Design and Analysis of Dynamical Models
Development of data-driven methods for non-stationary classification problems in EEG/MEG based brain-computer interfaces
An efficient approach to online bot detection based on a reinforcement learning technique
Studies of some feedback control mechanisms in operating systems
The development of a new framework for evaluating the benefit success of electronic data interchange (EDI)
Data mining clustering of high dimensional databases with evolutionary algorithms
The structured development of virtual environments : enhancing functionality and interactivity
The Response and Behaviour of Interconnections in Digital Systems
On the placement of Web replicas in the Internet with server capacity constraints
Designing from listening: embodied experience and sonic interactions
Data driven models of human shape, pose and garment deformation
Co-evolving functions in genetic programming
Spatiotemporal visual analysis of human actions
Verifying temporal properties of systems with applications to petri nets
Expert systems and simulation : an investigation of an expert system to facilitate the development and use of system dynamic simulation models
Touching is believing: creating illusions and feeling of embodiment with mid-air haptic technology
Domain oriented object reuse based on genetic software architectures
3D human action recognition and motion analysis using selective representations
Deep spatio-temporal learning for dynamic urban shared mobility systems
Programming support environments
Interpreting biomedical data via deep neural networks
Leveraging temporal word embeddings for the detection of scientific trends
Transactional concurrency control for resource constrained applications
Generation of a 3D virtual environment based on story descriptions
A software component model that is both control-driven and data-driven
A co-ordinated business object approach for supporting tactical level management decisions
Neurocomputational model for learning, memory consolidation and schemas
Eye tracking : a perceptual interface for content based image retrieval
Cohesion prediction using information flow
Performance modelling and analysis of multicomputer interconnection networks
The role of transformations in the evolution of a neural network
Voice analysis for music synthesis systems
Algorithm performance on a general purpose parallel computer
Valuation and reporting of security assurance at operational systems level
A development of the grid file for the storage of binary relations
Influences of cell shape in microbial communities
Appropriating interaction
A quantitative combinatory logic
Tracking interacting targets in multi-modal sensors
An internet-attached robot system supporting teaching in higher education
Varqa : a functional query language based on an algebraic approach and conventional mathematical notation
Maximum margin learning under uncertainty
Engineering self-awareness with knowledge management in dynamic systems: a case for volunteer computing
Evidence based design of heuristics : usability and computer assisted assessment
Knowledge aquisition for expert systems : inducing modular rules from examples
Spatial relationship based scene analysis and synthesis
Energy efficient distributed processing for IoT
Infrastructure support for adaptive mobile applications
Transformations for linguistic steganography
Personal named entity linking based on simple partial tree matching and context free grammar
The application of neural networks to imaging and signal processing in astronomy and medicine
Affect inference in learning environments : a functional view of facial affect analysis using naturalistic data
Lexical measurements for information retrieval : a quantum approach
An interest point based illumination condition matching approach to photometric registration within augmented reality worlds
Optimisation techniques for data distribution in Volunteer Computing
Reducing uncertainty in environmental assessments of internet services
Gesture recognition by Fourier analysis techniques
Kleptography and steganography in blockchains
The role and value of ethical frameworks in software development
Motivation-based direction of planning attention in agents with goal autonomy
Proving cryptographic C programs secure with general-purpose verification tools
The electronic structure and spintronic potential of carbon nanotubes and transition metal nanowires : a theoretical investigation
A knowledge-based system aproach to helping engineers understand codes of practice
Specification of temporal properties of interactive systems
Anonymous communication in DTN
Optimising multimodal fusion for biometric identification systems
Computational models of perceptual decision : neural representation, optimization, and implementation
Feature extraction and encoding for video action recognition
Kernel methods and their application to systems idenitification and signal processing
Multistage feature-assisted deep learning and its application in fine-grained fake news detection
Estimation for the hermite distribution with special reference to time series
Detection and classification of multiple person interaction
Category-theoretic quantitative compositional distributional models of natural language semantics
Statistical parametric speech synthesis based on sinusoidal models
Compositional Taylor model based validated integration
Novel methods for posture-based human action recognition and activity anomaly detection
Modular reasoning in Isabelle
Semantic content-based image retrieval using compact multifeatures and deep learning
Uncertainty estimation in deep learning with application to spoken language assessment
A process-centered architecture for organisational transformation
Integrity verification of digital images through fragile watermarking and image forensics
The role of information systems development methods in interorganisational systems development
Ontology modularization : principles and practice
Investigating the singing voice: quantitative and qualitative approaches to studying cross-cultural vocal production
Exploiting domain knowledge to enhance opinion mining using a hybrid semantic knowledgebase-machine learning approach
Integrating measurement techniques in an object-oriented systems design process
Policy routing in internetworks
Learning and acting in unknown and uncertain worlds
The construction of recoverable multi-level systems
Improved biologically-inspired methods for contour detection
A constrained computational model for flexible scheduling
Best effort measurement based congestion control
Curvilinear structure enhancement in biomedical images
Fuzzy text mining for intelligent information retrieval
Active modules of bipartite metabolic network
Statistical techniques in software reliability quantification
An intelligent hand prosthesis and evaluation of pathological and prosthetic hand function
On the impact of privacy policy and app permissions linkage on users' disclosure decisions
Providing quality of service in memory management
Resilience of an embedded architecture using hardware redundancy
Coherent transfer between electron and nuclear spin qubits and their decoherence properties
On software reusability, portability and user interface acceptability in UNIX -based aplications
Digital Simulation of Dynamic Systems
Computer aided construction of school time-tables
Understanding and supporting cross-modal collaborative information seeking
QoS oriented framework for link selection in heterogeneous wireless environments
Multiperspective development environment for configurable distributed applications
Constructing component-based systems directly from requirements using incremental composition
Mutation for multi-agent systems
Decomposing file data into discernible items
Describing human activities in video streams
Computer based interactive environments for learning school mathematics : the implementation and validation of design principles
Haptic Interaction with 3D oriented point clouds on the GPU
Conceptual design and development of a navigation system for a mobile robot
What makes an interruption disruptive? : understanding the effects of interruption relevance and timing on performance
Improving the performance and reliability of systems which employ the 'Controller Area Network' protocol through low-level changes to the controller implementation