yusuke1997/dblp-id-title huggingface dataset:
An investigation into the allocation of electronic contracts to dynamically formed global software engineering teams
Format-independence and content-addressing in databases
Tree similarity measurement and its applications
A modular framework for internet-based collaboration
Multi-objective dynamic software project scheduling: an evolutionary approach for uncertain environments
Optical character recognition with the SNT_Grid
Towards lightweight secure user-transparent and privacy-preserving web metering
Incremental elaboration of scenario-based specifications and behaviour models using implied scenarios
Economic Evaluation of Computer Systems for Developing Countries
Cluster-analytic classification of facial expressions using infrared measurements of facial thermal features
Geometric models of brain white matter for microstructure imaging with diffusion MRI
Studying the lives of software bugs
Dynamic non-linear system modelling using wavelet-based soft computing techniques
Improved construction of fuzzy neural models with environmental applications
Self-organising, self-randomising peer-to-peer networks
Multi-modal recognition of manipulation activities through visual accelerometer tracking, relational histograms, and user-adaptation
Ant colony optimisation for dynamic and dynamic multi-objective railway rescheduling problems
Fast algorithms for public key cryptography
Evolution of batch-oriented COBOL systems into object-oriented systems through unified modelling language
The application of chaos theory to forecast urban traffic conditions
Information systems: operationalization of agile software development 2003 - 2007
Voice synthesis using the three-dimensional digital waveguide mesh
A cognitive analysis of design rationale representation
Towards safe and efficient functional reactive programming
Smart video surveillance of pedestrians: fixed, aerial, and multi-camera methods
Dimensionality reduction and representation for nearest neighbour learning
Cryptographic techniques for hardware security
Intelligent systems : towards a new synthetic agenda
Object detection, recognition and re-identification in video footage
Using 3d Facial Motion for Biometric Identification
Evolution process of an innovation ecosystem: case of the Alibaba Cloud Computing ecosystem in China
Asynchronous stabilisation and assembly techniques for additive multigrid
Isogeometric boundary element methods for linear elastic fracture mechanics
On-device mobile speech recognition
Empirical assessment of extreme programming
Application of machine learning algorithms in adaptive web-based information systems
Spot the odd song out : similarity model adaptation and analysis using relative human ratings
The modelling and analysis of buyer-seller watermarking protocols
Probabilistic route discovery for Wireless Mobile Ad Hoc Networks (MANETs)
Structuring specifications of reactive systems using B
Object oriented modelling and simulation of manufacturing systems
Precision analysis for hardware acceleration of numerical algorithms
A knowledge-based approach to scientific workflow composition
Logical abstract interpretation
Selective pressures towards the evolution of cooperation, communication and cognition
E-StopMotion: reconstructing and enhancing 3D animation of stop motion characters by reverse engineering plasticine deformation
Relations, graphs and programs
Meta level component-based framework for distributed computing applications
Software outsourcing vendors' readiness model (SOVRM)
Mechanisms to improve the efficiency of hardware data prefetchers
Crafting content: the discovery of Minecraft's invisible digital economy
Design of intelligent ensembled classifiers combination methods
Modelling and prediction of parameters affecting attendance to the NHS breast cancer screening programme
Aspects of statistical disclosure control
An activity-centric approach to configuration work in distributed interaction
A distributed simulation method for systolic arrays
Angelic processes
Homeostatic adaptive networks
Faithful visualisation of similarities in high dimensional data
Automatic Web widgets prediction for Web 2.0 access technologies
The effects of code layout on performance
Complex event types for agent-based simulation
Towards the full inclusion of people with severe speech and physical impairments in the design of Augmentative and Alternative Communication software
Quantum circuit analysis using analytic functions
Robust processing of diffusion weighted image data
Digital Forensics using Machine Learning Methods
Compensating for distance compression in virtual audiovisual environments
A framework for processing correlated probabilistic data
Depth-adaptive methodologies for 3D image caregorization
Novel methods for automatic analysis on vascular images
The notion of 'information content of data' for databases
Knowledge derivation and data mining strategies for probabilistic functional integrated networks
Rapid contextual evaluation : an exploration of the application of field methods to usability evaluation
Dynamic application integration using peer to peer technology
Weight optimization in H∞ loop-shaping control and applications
An inertial motion capture framework for constructing body sensor networks
Parallel analytic tableaux systems
McMPI : a managed-code message passing interface library for high performance communication in C#
The distributed p-median problem in computer networks
The role of culture in music information retrieval : a model of negotiated musical meaning, and its implications in methodology and evaluation of the music genre classification task
A tangible user interface for interactive data visualisation
Robust security for the electricity network
Resource-oriented architecture based scientific workflow modelling
Multidimensional aggregation in OLAP systems
High level modelling and simulation of pervasive multimedia systems and environments
On code generation techniques for finite elements
Dynamic simulation of chemical plant
The minimal continuous semantics of the lambda-calculus
A search-based automated test-data generation framework for safety-critical software
Customised light probes and inverse lighting methods for relighting
The architecture and acuity of critical systems thinking
Case-based reasoning and evolutionary computation techniques for FPGA programming
A framework for understanding and establishing an effective information security culture
Genetic algorithm optimisation of load cell geometry by finite element analysis
Topics in extremal graph theory and probabilistic combinatorics
Knowledge sharing in the introduction of a new technology : psychological contracts, subculture interactions and non-codified knowledge in CRM systems
Using program behaviour to exploit heterogeneous multi-core processors
Self motivated planning in autonomous agents
Towards a relational approach to data streams in centralised and distributed systems
The evaluation of data filtering criteria in wind turbine power performance assessment
Concurrent tree space transformation in the aardappel programming language
The development and application of a simulation system for diffusion-weighted MRI
Parametric joint modelling for longitudinal and survival data
An infrastructure for video-augmented environments
Model checking quantum protocols
My mind's playing tricks on me: understanding event integration in rapid stimulus streams
New variants of variable neighbourhood search for 0-1 mixed integer programming and clustering
The use of scheduling and hierarchical modelling techniques for time-limited diagnosis
Constituent grammatical evolution
Automated program transformation through proof transformation
A framework for building self-adaptive and autonomic computing systems
Exploring mutual constitutions between management control systems and strategy
A multi-dimensional exploration of global software outsourcing projects in the UK's financial services sector
Building high-performance web-caching servers
Non-metric multi-dimensional scaling for distance-based privacy-preserving data mining
Command and control using real-time groupware
Data structures for inference systems using linguistic rules
Automatic landmarking for non-cooperative 3D face recognition
Trust and reputation in open multi-agent systems
Interfacing algebraic and numeric computation
Sensitivity and Optimal Control Studies of Power Systems
Older adults' comprehension and evaluation of speech as interactive domestic alarm system output
Towards a programmable and virtualized mobile radio access network architecture
On the development of a data base management and a graphic display system
The geometry of interaction as a theory of cut elimination with structure-sharing
Neural pipelines : for the co-ordination of activity in a multi-layered neural network
Efficient domain partitioning for stencil-based parallel operators
High speed 802.11ad wireless video streaming
Training datasets for machine reading comprehension and their limitations
Geometry and uncertainty in deep learning for computer vision
Wavelet based approaches for detection and recognition in ear biometrics
Interpreting document collections with topic models
Biopolitics and bioethics of biometrics: ID cards and the will to low risk identities
A game theoretic approach to coordinating unmanned aerial vehicles with communications payloads
Sparsity in machine learning: theory and practice
Advances in detecting object classes and their semantic parts
Efficient programming models for neurocomputation
Gender, age and technology : a feminist analysis of older women learning the Internet
Feature extraction via heat flow analogy
Unified notions of generalised monads and applicative functors
Towards better uncertainty handling based on zSlices and general type-2 fuzzy logic systems
Randomized structure-adaptive optimization
An interaction model for multimedia composition
Antennas with frequency domain control for future communication systems
Program comprehension through sonification
On line parameter estimation of non-linear systems
The role of graph entropy in fault localization and network evolution
Crafting chaos: computational design of contraptions with complex behaviour
An investigation into the structure and properties of polyethylene oxide nanocomposites
Automatic generation of distributed runtime infrastructure for Internet of Things
Distributed control architecture
On-line learning and construction for neural networks
Security evaluation at design time for cryptographic hardware
Generative neural data synthesis for autonomous systems
A global approach to project optimisation
Backward fuzzy rule interpolation
Adaptive Bayesian optimization for dynamic problems
The role of Walsh structure and ordinal linkage in the optimisation of pseudo-Boolean functions under monotonicity invariance
Multi-objective evolutionary algorithms for data clustering
Self-organising mixture neural networks for enhanced modelling and forecasting of FX time series
An integrated expert database system
Automated characterisation and classification of liver lesions from CT scans
Perception modelling using type-2 fuzzy sets
Late time response analysis in UWB radar for concealed weapon detection : feasibility study
Towards a multidisciplinary framework for the design and analysis of security ceremonies
Investigating the behavior of deep convolution networks in image recognition
Pushing the envelope of sentiment analysis beyond words and polarities
Cloud-computing strategies for sustainable ICT utilization: a decision-making framework for non-expert Smart Building managers
On the design of hybrid simulation models, focussing on the agent-based system dynamics combination
Inside a secret software lab : an ethnographic study of a global software package producer
Micro fluidic cytometry for analysis of marine microorganisms
The synthesis of artificial neural networks using single string evolutionary techniques
An investigation of a human in the loop approach to object recognition
Complete and minimal basis for the definition of architecture description languages
Abstractions for portable data management in heterogeneous memory systems
Instance-based symbolic pattern association
Plan nets : A formal representation of action and belief for automatic planning systems
Optimal control of non-linear systems
Multi-agent data mining with negotiation : a study in multi-agent based clustering
Two-sample ellipsoidal bounding in the context of parameter estimation
Intersection types and higer-order model checking
Practical improvements to the deformation method for point counting
Viewpoints in practice : explanations explained
A computer assisted learning system for reliability engineering : A PROLOG-oriented model devised for the acquisition of domain specific knowledge using a subset of English language dialogue and cognitive psychology principles
A framework for preserving privacy in e-government
An architectural framework for co-operative dialogue
Web page performance analysis
DDLS : extending open hypermedia systems into peer-to-peer environments
A theory for flow-oriented software processes
Genetic algorithms for word length optimization of FFT processors
Making object-oriented databases more knowledgeable (from ADAM to ABEL)
Semantic-based adaptive mission planning for unmanned underwater vehicles
Protecting applications using trusted execution environments
Executable specification of adaptive open norm-governed computational systems
Computer-aided localisation, segmentation and quantification of focal liver lesions in contrast-enhanced ultrasound
Probabilistic graphical modelling for software product lines: a frameweork for modeling and reasoning under uncertainty
Ensuring safety of systems : a policy-based approach
View Consistency in Architectural Models of Dependable Systems
Algorithmic problems in strings with applications to the analysis of biological sequences
Viewpoint quality model : a software quality model for the application of software quality metrics
Manipulative voting dynamics
Investigations into inductive-recursive definitions
Traffic profiles and performance modelling of heterogeneous networks
QoS-aware and policy based mobile data offloading
The design of a contemporary infrastructure for scalable and consistent virtual worlds
Compilation by transformation in non-strict functional languages
A unified metaheuristic and system-theoretic framework for petroleum reservoir management
An optimization of feature selection for classification
Investigating the use of native language calls in a multi-channel business process
A functional processor system model on loosely-coupled machines
2D and 3D segmentation of medical images
Hardware and user profiling for multi-factor authentication
Beyond the frontiers of timeline-based planning
Integrated framework for mobile low power IoT devices
Cyber security analytics with real-time event correlations and pattern mining
Type checking and normalisation
An automatic approach to implementing DSP algorithms on parallel processors
Verification of Java programs in type theory with dependent record types and coercive subtyping
Symbol processing in RAAM neural networks
Aspects of the theory of containers within automated theorem proving
Audio-visual expressed emotion classification
Remote depth-based photoplethysmography in pulmonary function testing
Corpus linguistics and language learning : bootstrapping linguistic knowledge and resources from text
Attention in computer vision
Evolving high-level imperative program trees with genetic programming
Using an energy aware adaptive scheduling algorithm to increase sensor network lifetime
Exploring vague language use and voice variation in human-agent interaction
How adults learn to use a computer : a social relational perspective
Temporal image forensics for picture dating based on machine learning
Analysing and enhancing the performance of associative memory architectures
Fault diagnosis for nonlinear systems using multiple-models
How micro-evolution can guide macro-evolution : multi-scale search via evolved modular variation
Academic research data re-usage in a digital age : modelling best practice
Data-driven language understanding for spoken dialogue systems
Computer architectures for functional and logic languages
Statistic oriented video coding and streaming methods with future insight
Parallelization of the atomic R-matrix computer programs
A teleological perspective of software and its application to large scale reuse and maintenance
Hardware architectures for machine learning training
Functional distributional semantics: learning linguistically informed representations from a precisely annotated corpus
Trust models for mobile content-sharing applications
Federated Sensor Network architectural design for the Internet of Things (IoT)
Modularising change management in dynamic language aspect-oriented programming frameworks to reduce fragility
Automatic multilevel feature abstraction in adaptable machine vision systems
Information systems investment and value appraisal in the public sector
Configuration detection and verification in computer networks
Real-time stereo vision using FPGAs
Indirect 3D reconstruction through appearance prediction
Computer based design and simulation for manufacturing facilities relayout
Optimal investigation of a HVDC transmission system
Leakage resilient symmetric cryptography: theory and practice
Practical algorithms for biological sequence analysis: methods and applications
A CAD engineering language to aid manufacturing
Interaction, communication and engagement in hybrid virtual and augmented reality environments
Ontology engineering for ICT systems using semantic relationship mining and statistical social network analysis
Null controllability of a class of nonlinear systems
Issues in the unsupervised clustering of web documents
The use of computer science practices and methods for developing social simulations to stimulate changes in travellers' mode choice
Îµ-connections and logics of distance
The semantics of database query languages
An interacting objects process model for the study of non-linear dynamics
Research and development of a reference model for intrusion handling systems in wireless LANs
Fuzzy mathematical programming in civil engineering systems
A study on the nearest neighbour method and its applications
Modelling and validation of social influences in human security behaviour
High level behavioural modelling of boundary scan architecture
MINES: Mutual Information Neuro-Evolutionary System
Evolutionary Approaches to Robot Path Planning
A study in biomimetics : nanometer-scale, high-efficiency, dielectric diffractive structures on the wings of butterflies and in the silicon chip factory
Managing the evolution of dependability cases for systems of systems
Dynamics in formal argumentation
System level modelling and design of hypergraph based wireless system area networks for multi-computer systems
Error control strategies in H.265|HEVC video transmission
Performance and security trade-offs in high-speed networks : an investigation into the performance and security modelling and evaluation of high-speed networks based on the quantitative analysis and experimentation of queueing networks and generalised stochastic Petri nets
Evolutionary approaches to adaptive protocol design
Multi-task learning with Gaussian processes
Monolingual plagiarism detection and paraphrase type identification
Intelligent resource management and optimization in cloud-edge computing
Logic programs as declarative and procedural bias in inductive logic programming
Assessing the effect of source code characteristics on changeability
Automated negotiation for opportunistic direct cooperation between neighbouring wireless sensor networks
Ontological query answering : new languages, algorithms and complexity
Language in the age of algorithmic reproduction: a critique of linguistic capitalism
Estimating, detecting and removing illumination in images
Speculative vectorization with selective replay
Situated dissemination: critiquing the materiality and visuality of HCI knowledges through a local dissemination practice
Seafloor gravity currents: flow dynamics in overspilling and sinuous channels
Towards development of brain-computer interface based on point to point movements
Algorithm development and analysis for on-line optimising control of large scale industrial processes
Using a rewriting system to model individual writing styles
Decentralised group formation in pervasive environments
Pandora : a logic for the qualitative analysis of temporal fault trees
Market-based task allocation in distributed satellite systems
Agent-based framework for person re-identification
Probabilistic multiple kernel learning
Computational analysis of small RNAs and the RNA degradome with application to plant water stress
An investigation into MetaCASE and object-oriented software engineering
Closing the gap between guidance and practice: an investigation of the relevance of design guidance to practitioners using object-oriented technologies
Discourse cohesion in Chinese-English statistical machine translation
Random sampling as a clutter reduction technique to facilitate interactive visualisation of large datasets
The role of classifiers in feature selection : number vs nature
Data types and functions: a study of framing devices and techniques
Modelling recovery in database systems
Adaptive image quality model of a mobile display under different surround conditions
The characterisation of multiple defects in components using artificial neural networks
The understanding of concepts in computer science : how do post-high-school students in Israel conceive recursion?
A programming environment for a multi-computer system
Deconstructing Datalog
An evaluation framework and selection tool for education apps usability, with a case study from health education apps
MAGE - Multi-Agent Game Environment
Airline reserve crew scheduling under uncertainty
Robot learning assembly tasks from human demonstrations
Understanding conceptual transfer in students learning a new programming language
Context-aware attribute-based techniques for data security and access control in mobile cloud environment
Towards better data efficiency in deep reinforcement learning
Formalization and modeling of human values for recipient sentiment prediction
Attributes in lexical acquisition
Automated testing of Harel's statecharts
Virtualising visualisation : a distributed service based approach to visualisation on the Grid
Information security based on temporal order and ergodic matrix
Comprehensive parallel performance profiling, characterisation, and optimisation
Statistical anaphora resolution in biomedical texts
Modelling the usage rate of a DRT service : a discrete choice model with latent variables
Matching hierarchical structures for shape recognition
A framework for interaction design
Inference from binary gene expression data
An investigation into context-aware automated service in smart home facilities: search engine and machine learning with smartphone
Learning 3D face shape features from local coherence
A city in common: explorations on sustained community engagement with bottom-up civic technologies
An investigation into synthesis-by-analysis
GridRM : a resource monitoring framework
Curvilinear structure enhancement and centreline extraction in 2D and 3D images
Parallel finite element analysis of nonlinear problems
4D (3D Dynamic) statistical models of conversational expressions and the synthesis of highly-realistic 4D facial expression sequences
MOCHA : modelling organisational change using agents
Service management for multi-domain active networks
A privacy-enhancing framework for mobile devices
A multi-agent system for hypermedia information discovery on the WWW
An object oriented approach to interactive engineering software development
Visual programming environments for multi-disciplinary distributed applications
Implicit models for automatic pose estimation in static images
Deformable and articulated 3D reconstruction from monocular video sequences
Model checking Circus
Optimising the usage of cloud resources for executing bag-of-tasks applications
Parameter adaptationn in heuristic search : a population based approach
Substructural analysis using evolutionary computing techniques