yusuke1997/dblp-id-title huggingface dataset:
The blind software engineer: improving the non-functional properties of software by means of genetic improvement
Provision of better VLE learner support with a Question Answering System
An investigation into alternative methods for the simulation and analysis of growth models
High-level synthesis using structural input
Compressive sensing for wireless sensor networks
Older adults' use of technology : design issues for public access systems
Managing a real-time massively-parallel neural architecture
Web accessibility diagnosis, improvement and maintenance
A generic high-level specification language for non-functional properties of component-based systems
Computer control of a distributed multi-machine system
Two-approaches to architecture-independent parallel computation
Development of integrated methods for control of Networked Control Systems
Performance evaluation using multiple controllers with different flow setup modes in the software defined network architecture
Exploring the geographic uncertainty associated with crowdsourced crisis information: a geovisualisation approach
The estimation and analysis of nonlinear systems in the frequency domain
Incorporating correlated shadowing in reliability evaluation of wireless sensor networks
Theories of information and uncertainty for the modelling of information retrieval : an application of situation theory and Dempster-Schafer's theory of evidence
Watermarked face recognition scheme: enhancing the security while maintaining the effectiveness of biometric authentication systems
The branch-and-bound paradigm
Network size and generalisation with variants of the tiling algorithm
Decision tree simplification for classifier ensembles
A syllable-based, pseudo-articulatory approach to speech recognition
Learning augmented optimization for network softwarization in 5G
Developing a global observer programming model for large-scale networks of autonomic systems
The use of evidential support logic and a new similarity measurement for fuzzy sets to model the decision making process
The design of a multimedia adaptive interface for process control using a multi agent approach
Practical zero-knowledge arguments from structured reference strings
Adapting gamification elements to learners' personality dimensions
Contact-free heart rate measurement from human face videos and its biometric recognition application
QoS mechanisms for packet-based mobile networks
System images : user's understanding and system structure in the design of information tools
Exploiting structure in integer programs
An architecture for domain based distributed systems management
The design and construction of deadlock-free concurrent systems
FPGA-based high throughput regular expression pattern matching for network intrusion detection systems
The binary-relational view and aspects of database and knowledge base systems work
Synthesis of execution plans for the QVT core language
Ubiquitous Integration and Temporal Synchronisation (UbilTS) framework: a solution for building complex multimodal data capture and interactive systems
Semi-automatic construction of dense shape and appearance models
The application of artificial intelligence techniques to process identification and control
Distributing video content over wireless networks using Device-to-Device (D2D) communication
Contributions to the computational treatment of non-literal language
An ATMS-based architecture for stylistics-aware text generation
Detecting and correcting duplication in behaviour driven development specifications
Computer-aided highway design : automatic generation of the vertical alignment
Mixed Integer Programming on transputers
Low density parity check coding
Web objects in XML : a framework for distributed object programming
Analytic proof systems for classical and modal logics of restricted quantification
Multigrid solution methods for nonlinear time-dependent systems
Network-based advanced malware detection using multi-classifier machine learning
On small degree extension fields in cryptology
A sociotechnical exploration of online behavioural tracking and advertising technologies and practices
Understanding English descriptions of programs
Enhancing the human sensemaking process with the use of social network analysis and machine learning techniques
Iterative compilation and performance prediction for numerical applications
A cross-layer middleware architecture for time and safety critical applications in MANETs
Tablet computers and technological practices within and beyond the laboratory
Learning heuristic functions and search policies for classical planning
Modelling and predicting energy usage from smart meter data and consumer behaviours in residential houses
A hybrid system for root locus computing
Bayesian networks for inference with geographic information systems
Advanced video encryption techniques
An organization model to support dynamic cooperative work and workflow
Visual analysis of abstract multi-dimensional data with parallel coordinates
Resource management in future mobile networks: from millimetre-wave backhauls to airborne access networks
Context-aware GPS integrity monitoring for Intelligent Transport Systems (ITS)
Concern-based specification and runtime verification of declarative process models
Turbo codes for real-time applications
Intelligent execution monitoring and error analysis in planning involving processes
A machine learning and computer assisted methodology for diagnosing chronic lower back pain on lumbar spine magnetic resonance images
Ultra wideband gigabit powerline communication
Photogrammetric computer vision methods for the automatic 3D reconstruction of virtual sports environments
Modelling learning behaviour of intelligent agents using UML 2.0
Collective approaches to named entity disambiguation
Spatial navigation in immersive virtual environments
Videogame correlates of real life traits and characteristics
Generative modelling with software product line architectures
A search-based framework for automatic test-set generation for MATLAB/Simulink models
Traditional amateur video producers' use of the Internet: making connections in a complex and contested environment
From Z to C : illustration of a rigorous development method
The algebraic specification of spatial data types with applications to constructive volume geometry
Towards evolutionary and systematic process modelling using components
Progressive document evaluation
Logical ambiguity
Integrating network analysis and data mining techniques into effective framework for Web mining and recommendation: a framework for Web mining and recommendation
Measuring and simulating haemodynamics due to geometric changes in facial expression
Content-awareness and graph-based ranking for tag recommendation in folksonomies
Calibration of financial models based on Automatic Differentiation and High-Performance Computing
From artificial evolution to artificial life
Workflow framework for cloud-based distributed simulation
Higher level techniques for the artistic rendering of images and video
Implementation of the finite element method : grid generation, non-assembly techniques
An adaptive analysis and synthesis system for speech
Robust facial landmark detection in the wild
Modelling, analysing and model checking commit protocols
Learning based forensic techniques for source camera identification
Capturing proof process
Database implmentation on an object-oriented processor architecture
Making distributed computing infrastructures interoperable and accessible for e-scientists at the level of computational workflows
Constraint enforcement in a relational database management system
The machine refinement of raw graphic data for translation into a low level data base for computer aided architectural design (CADD)
The Effect of Dyslexia on Web Navigation
The motion-based segmentation of image sequences
Website boundary detection via machine learning
An architecture for integrating multiple real time data feeds
Painless knowledge acquisition for time series data
Towards exploratory faceted search systems
Evolutionary market-based resource allocation in decentralised computational systems
The application of intelligent systems to finance and business
Hermes: a scalable event-based middleware
Supporting distributed realtime computing
An application of parallelism to compilation
A new routing protocol for ad hoc wireless networks design, implementation and performance evaluation
Exploring the use of conversational agents to improve cyber situational awareness in the Internet of Things (IoT)
Active database behaviour : the REFLEX approach
Knowledge representation in natural language : the wordicle - a subconscious connection
The architecture of an autonomic, resource-aware, workstation-based distributed database system
Retinal vessel segmentation using textons
Optimisation in neural networks
State and parameter estimation techniques for stochastic systems
Combining symbolic conflict recognition with Markov chains for fault identification
Measuring bounding volume effectiveness for collision avoidance in computer graphics
Dialogue structure models : an engineering approach to machine analysis and generation of dialogue
Data-mining and modelling with complex fuzzy sets and fuzzy rough sets: algorithms and applications
Quantum walks and quantum computation
Machine learning modelling of critical care patients in the Intensive Care Units
Message orientation for information management
A home network infrastructure based on a simple low cost, low latency, scaleable, serial interconnect
Practical unification-based parsing of Natural Language
Modelling and extraction of fundamental frequency in speech signals
The effect of privacy salience on end-user behaviour : an experimental approach based on the theory of planned behaviour
Interface design for hypermedia learning systems : a study of individual differences and hypermedia system features
Evolutionary approaches to optimisation in rough machining
Achieving fair exchange and customer anonymity for online products in electronic commerce
On differentiable interpreters
Improved Computer Simulations of a Thermal Regenerator
Analogue Storage Techniques and Graphical Display Systems
Agents in logic programming
In search of effectful dependent types
The computer network faults classification using a novel hybrid classifier
Artificial intelligence and simulations applied to interatomic potentials
Cloud enabled data analytics and visualization framework for health-shock prediction
On the bridge between constraint satisfaction and Boolean satisfiability
Parameter search for aesthetic design and composition
Intelligent optical methods in image analysis for human detection
Data modelling, subtyping and functional programming
A new heuristic-based model of goal recognition without libraries
Integration of relational database metadata and XML technology to develop an abstract framework to generate automatic and dynamic web entry forms
A study of novice programmer performance and programming pedagogy
Applying particle filtering to unsupervised part-of-speech induction
A 2-categorical approach to proof-comparison
Data mining in computational finance
A logical model of competence and performance in the human sentence processor
A development method for trusted real-time kernels
Compositional distributional semantics with compact closed categories and Frobenius algebras
Stochastic scheduling and workload allocation : QoS support and profitable brokering in computing grids
Bionics chemical synapse
Analysis and Design of Parallel Algorithms
Neural networks for meteorological satellite image interpretation
The compression of eeg data
The semantics and implementation of machine-readable CSP
CASPEr: containment-aware security for pervasive computing environments
Heuristically guided constraint satisfaction for AI planning
Image segmentation using deformable spatial priors
Strategic signals in the app economy : an empirical study of Google Play Store
Securing the edges of IoT networks: a scalable SIP DDoS defense framework with VNF, SDN, and Blockchain
Comprehensive dynamics, pervasive services & geo-clusters: a general architecture towards a GeoChannel Web
Fair, responsive scheduling of engineering workflows on computing grids
Learning in networks of structured hypercubes
Accelerating global illumination for physically-based rendering
Model representation and documentation in computer simulation
An automated OpenCL FPGA compilation framework targeting a configurable, VLIW chip multiprocessor
Measuring the homogeneity and similarity of language corpora
Architectures for fault-tolerant quantum computation
Time Warp and its applications on a distributed system
Analysis-oriented two-level grammars
Darwinian code optimisation
Vasculature reconstruction from 3D cryomicrotome images
Program analysis with interpolants
Multi agent system for web database processing, on data extraction from online social networks
Parallel applications and solutions in artificial intelligence and expert systems
Simulating molecular docking with haptics
An empirical investigation of software project schedule behaviour
Evolutionary building layout optimisation
ITSY : An automated programming advisor
Designing performance into transputer-based systems
Interpreting modal natural deduction as resolution
Crowdsourcing in pay-as-you-go data integration
Hardware architectures for real-time video enhancement and their application to an adaptive image sensor
Dialogues incorporating enthymemes and modelling of other agents' beliefs
A method for re-modularising legacy code
Target detection architecture for resource constrained wireless sensor networks within Internet of Things
Automatic identification of textual uncertainty
A high-level framework for efficient computation of performance : energy trade-offs in Markov population models
When exhibitions become experiences: the nARration of augmented space inside a science museum
Robustness, scalability and interpretability of equivariant neural networks across different low-dimensional geometries
Language support for service-level agreements for application-service provision
Conceptual graphs and fuzziness in artificial intelligence
Construction of knowledge based decision support systems : An investigation in undergraduate course selection
Feature-oriented component-based development of whole software product families using enumerative variability
Incorporating objects and surfaces into SLAM maps
Exact penalty function algorithms for finite dimensional and control optimization problems
Energy efficient and resilient Internet of Things networks
Extension to models of coincident failure in multiversion software
Outlining support for hypertext systems
Computation over metadata in knowledge transfer systems
Usability analysis of multiple embodied conversational agents in eBanking services
Modelling person-specific and multi-scale facial dynamics for automatic personality and depression analysis
Semantic frameworks for complexity
Examining the application of blockchain technology as a solution to, and the enabler of, end-user online copyright infringement
Resource allocation policies for service provisioning systems
Semantic linking and personalization in context
A teacher perspective of ICT integration in Saudi Arabia secondary schools as a possible alternative to Western ICT integration
Neuro linguistic programming automation for improvement of organisational performance
Lightweight protocols for distributed systems
Numerical studies in partial differential equations of elliptic type
Learning to Act Stochastically
Model-based reinforcement learning with small sample size
3D Scene Interpretation With The Tower of Knowledge
An investigation into parallel job scheduling using service level agreements
The art of identity : A systems approach to therapeutic process
Queueing network models for diskless workstation configurations
Finding structure in text, genome and other symbolic sequences
Intrinsic force sensing and interaction control for cardiac catheters
A study of the modelling and storage of objects for materials selection
Computational approaches to figurative language
Towards a Godement calculus for dinatural transformations
A fully integrated neural computing system
A declarative specification language for temporal database applications
Demand-driven, concurrent discrete event simulation
Sketching for real-time control of crowd simulations
A compiled inference approach to the integration of logic and relational database systems
Flexible service provisioning in multi-agent systems
Modelling grid architecture
Definition driven image processing for constrained environments
n-Dimensional prediction of RT-SOA QoS
Dynamic meta-constraints : an approach to dealing with non-standard constraint satisfaction problems
A minimalist approach to generating cherent texts
Towards a file system for a scalable parallel computing engine
Test and diagnosis of resistive bridges in multi-Vdd designs
An intelligent decision-making scheme in a dynamic multi-objective environment using deep reinforcement learning
Probabilistic schedulability and quality of service analysis in real-time systems
Cascading verification : an integrated method for domain-specific model checking
Data structures for algebraic manipulation
Identification and analysis of a class of spatio-temporal systems
Hierarchical ensemble classification : towards the classification of data collections that feature large numbers of class labels
Meta-stability of interacting adaptive agents
Digitally enabling the construction virtual enterprise
Characterization of Mobile Web Quality of Experience using a non-intrusive, context-aware, mobile-to-cloud system approach
Parallel circuit: a modular neural network architecture
Mathematical modelling and design of snap-action diagrams
Top-down and step-wise refinement of protocol specifications
Analyzing and pruning ensembles utilizing bias and variance theory
Distributed navigation
Understanding Tractable Decompositions for Constraint Satisfaction
Creating emotionally aware performance environments : a phenomenological exploration of inferred and invisible data space
Viewpoint discrepancies in ontological learning resources
An investigation into the use of ethnography and participatory design in identifying and meeting collaborative needs : a case study of software development teams at Airbus
Quantum correlations and measurements in tri-partite quantum systems
Development of distributed scheduling systems with an application to office automation
Performability modelling of homogeneous and heterogeneous multi-server systems with breakdowns and repairs
The actuality of continuing professional development : ICT and change in one secondary school
Partitions of codes
Risk in the development design
The routine health information system in Palestine : determinants and performance
An operator induction tool supporting knowledge engineering in planning
Security test and evaluation of cross domain systems
Hierarchical decision making for semantic analysis and summarisation of sports videos
Quantum neural network based EEG filtering and adaptive brain-robot interfaces
Vocal imitation for query by vocalisation
The creation of missing rules for knowledge based systems
User-centred methods in the analysis and design of software tools to support management consultants
The evolution of the end-to-end argument in the multicore era
Distributed and intelligent routing algorithm
A multiple representation approach to constraint satisfaction
Tracking and identifying groups of moving targets using probabilistic parsing
Analysing time series using artificial neural networks
Self-diagnosis of faults in microprocessor systems
The development of psychophysically valid computational models of human visual search in natural scene search tasks
Knowledge extraction in transmission and distribution substations
A novel fluid-solid-growth-transport framework for modelling the evolution of arterial disease: application to aneurysms
Novel intelligent data processing techniques for electronic noses : feature selection and neuro-fuzzy knowledge base
An investigation into the compensation, stability and random-input analysis of sampled-data control systems
Pose-invariant, model-based object recognition, using linear combination of views and Bayesian statistics
National and international university departmental web site interlinking : a webometric analysis
A flexible approach to transaction management in a distributed cooperative system
Enhanced learning of computer programming in university through collaboration using multi-touch tools
Integrated disease surveillance and response systems in resource-limited settings
An intelligent intrusion detection system for external communications in autonomous vehicles
Individual differences and contextual factors influence the experience and practice of self-care with type 1 diabetes technologies
Configurable highly available distributed services
Accelerating control-flow intensive code in spatial hardware
Generating affective natural language for parents of neonatal infants
Compositional verification of model-level refactorings based on graph transformations
On collapsible pushdown automata, their graphs and the power of links
Multi-sensor data fusion and modelling in mobile devices for enhanced user experience
Detecting distributed denial of service attacks in IPv6 by using artificial intelligence techniques
An inquiry into the role of operational research science in the study of decision making in conflicts
Hybrid metaheuristic methods for ensemble classification in non-stationary data streams
Application of spiking neural networks and the bees algorithm to control chart pattern recognition
Robust Control for Multi-Axis Test Rigs
Targeting the automatic: nonconscious behaviour change using technology
Output feedback sliding mode control for time delay systems
Solid particle erosion modelling using CFD techniques
Object identity: deconstructing the 'Hartree differential analyser' and reconstructing a Meccano analogue computer
A domain specific language for dynamic interest management within virtual environments
Computer-based support for the development of schematic knowledge of mechanics
Concurrent object-oriented execution of OPS5 production systems
Verification of temporal-epistemic properties of access control systems
Vulnerability identification errors in security risk assessments
Non-intrusive continuous user authentication for mobile devices
Reconfigurable hardware for control applications
Machine learning assisted ultra reliable and low latency vehicular optical camera communications
LARA : a prototype active network research platform
A fault tolerant, peer-to-peer based scheduler for home grids
Model checking multi-agent systems
Mathematical models and simulations of complex social systems
Genetic algorithms into iterative learning control
Monitoring the health and integrity of Wireless Sensor Networks
Design of a high efficiency class-F power amplifier integrated with a microstrip patch antenna
Architecture and protocols for decentralised group key management
A tool for collaborative online dialogue : CodeZebraOS
Designing user-centered privacy-enhancing technologies
Visual analysis of articulated motion
Balancing exploration and exploitation in robust multiobjective electromagnetic design optimisation
Software architectures for collaborative virtual environments
Multivariate Markov networks for fitness modelling in an estimation of distribution algorithm
On the valued constraint satisfaction problem
A multiple-agent systems approach for resource configuration in communications network
A novel architecture for secure database processing in cloud computing
Predicting cardiovascular risks using pattern recognition and data mining
Intrinsic reflectance estimation from video and shape for natural dynamic scenes
Robust spatio-temporal latent variable models
Machine learning methods for delay estimation in gravitationally lensed signals
Scheduling soft-deadline real-time transactions
Grid-based semantic integration of heterogeneous data resources : implementation on a HealthGrid
Analysis of planar curves: a new approach to the analysis of facial profiles
The Dynamical Behaviour of Two Degree of Freedom Linkage Mechanisms