yusuke1997/dblp-id-title huggingface dataset:
The needs of the software industry and the content of undergraduate education in Ireland : a survey of the views of practitioners, managers and academics
Prototyping relational things that talk: a discursive design strategy for conversational AI systems
Configuration evaluation and optimisation of technical systems
An integrated approach to recommending online video materials through sentiment analysis and hybrid filtering algorithms
Wide deep neural networks
Topics in monitoring and planning for embedded real-time systems
Automated early prediction of cerebral palsy: interpretable pose-based assessment for the identification of abnormal infant movements
Theories for Session-based Governance for Large-scale Distributed Systems
A study of an abstract associative processor in a set-manipulation environment
An analysis of the effects of neutrality on problem hardness for evolutionary algorithms
Frameworks for enhancing temporal interface behaviour through software architectural design
Feature selection in computational biology
Improving requirements analysis : providing support for an extended CORE method
Resource management for Graphics Processing Units in Cloud computing
Robust subspace estimation via low-rank and sparse decomposition and applications in computer vision
Active stereo vision for manipulator robot
Optimal resource management in communication networks: theory and algorithm designs
A framework for distributed open hypermedia
Automating inference for non-standard models
Investigation of Techniques of Computer Modelling in System Dynamics
Learning, self-organisation and homeostasis in spiking neuron networks using spike-timing dependent plasticity
Activation network problems
Machine learning classification for advanced malware detection
Interactive program debugging and synthesis
Novel Image ProcessingMethods Based on Heavy-Tailed Models
Discovering and understanding community opinions of neighbourhoods expressed in question answering platforms
Developing ideation cards to support the design of mixed reality games
Runtime protection of software programs against control- and data-oriented attacks
Leveraging structure for optimization in deep learning
Improving multi-view facial expression recognition in unconstrained environments
Evolutionary methods for the design of dispatching rules for complex and dynamic scheduling problems
Constructive qualitative simulation of continuous dynamic systems
Formal specification and verification of synchronous concurrent algorithms
Machine checkable design patterns using dependent types and domain specific goal-oriented modelling languages
Finding conflicting statements in the biomedical literature
Developing a concept for handling IT security with secured and trusted electronic connections
MMORPGs: the fairness of the copyright-contract approach for users
Video based reconstruction system for mixed reality environments supporting contextualised non-verbal communication and its study
Algebraic verification of probabilistic and concurrent systems
Loudspeaker compression-driver phase-plug design
A systematic development of a secure architecture for the European Rail Traffic Management System
Feature extraction and representation for human action recognition
Communicating in a multi-role, multi-device, multi-channel world: how knowledge workers manage work-home boundaries
An object oriented approach to automating the product specification concept in the automotive industry
The influence of social identity when digitally sharing location
A framework for software sustainability: a case study of e-government and the private sector in KSA
Acoustic environments as a source of context information
Evaluating cloud migration options for relational databases
Graphics insertions into real video for market research
Simulation studies on effects of dual polarisation and directivity of antennas on the performance of MANETs
Software based solutions for mobile positioning
Enhancing spatial deformation for virtual sculpting
Rank lower bounds in propositional proof systems based on integer linear programming methods
An exploratory study of the internal career orientation and the external career pattern of information technology workers in Nigeria
Automatic detection of English inclusions in mixed-lingual text with an application to parsing
Real-time crowd rendering
Using document clustering and language modelling in mediated information retrieval
Perceptually-based features in automatic speech recognition
A high usability transparency framework for model interoperability using COTS simulation packages
Software architectures for photorealistic rendering
A contingency framework for information systems development
High-performance parallel computing for real-time signal processing and control
Efficiency three ways: tested, verified, and formalised
Evolution of a concurrent programming formalism
A statistical examination of the evolution of the UNIX system
Performance modelling and enhancement of wireless communication protocols
Lexicon Organisation and Contextual Methods for Online Handwritten Pitman's Shorthand Recognition
Development of machine learning techniques for characterising changes in time-lapse resistivity monitoring
Software design methods and errors
Applications of category theory to programming and program specification
Intelligent computer assisted instruction for arithmetic skills
Proximity visualisation of abstract data
On the flexibility of theoretical models for pattern recognition
Aesthetic automata: synthesis and simulation of aesthetic behaviour in cellular automata
On the importance and incorporation of additional knowledge in cluster analysis
Digital techniques in the storage and processing of audio waveforms for music synthesis
The optimal control of stochastic jump processes : a martingale representational approach
Solvers for type recovery and decompilation of binaries
The formal verification of hard real-time systems
Advancing mixed criticality scheduling techniques to support industrial applications
Mutual features for pattern classification
Design & optimisation of the flux switching motor and drive with genetic algorithms
Design and evaluate a fair exchange protocol based on online trusted third party (TTP)
A new classification approach based on geometrical model for human detection in images
A computational neuroscientific model for short-term memory
Property preserving development and testing for CSP-CASL
Automated test case generation from domain-specific high-level requirement models
Knowledge-based systems and Software Engineering
An aspect-oriented approach to productivity improvement for a dynamic language using typing concerns
Rigorous design of distributed transactions
Global optimisation of communication protocols for bulk synchronous parallel computation
Techniques for establishing trust in modern constrained sensing platforms with trusted execution environments
An integrated intelligent approach to enhance the security control of it systems : a proactive approach to security control using artificial fuzzy logic to strengthen the authentication process and reduce the risk of phishing
A comparative study of the relative performance and real-world suitability of optimization approaches for Human Resource Allocation
Data storage and processing using magnetic nanowires
Bayesian inference for stable differential equation models with applications in computational neuroscience
Multi-resolution time-domain modelling technique and its applications in electromagnetic band gap enhanced antennas
An object oriented approach to the modelling of parallel systems
Security management for services that are integrated across enterprise boundaries
The emergence of active perception : seeking conceptual foundations
Learning classifier systems with neural network representation
A productive response to legacy system petrification
Discovering dynamic visemes
Explainable machine learning for educational data
A framework for analysis, implementation and re-use in knowledge based engineering applications
Modelling social media popularity of news articles using headline text
Big data analytics and processing for urban surveillance systems
A Dynamic Business Object Architecture for supporting Strategic Management Planning
Surface shape and reflectance analysis using polarisation
A novel process model-driven approach to comparing educational courses using ontology alignment
A methodology for engineering neural network systems
Categories and types for axiomatic domain theory
Investigating the interplay between cellular mechanics and decision-making in the C. elegans germ line
Predictive spatial models for mineral potential mapping
Compilation-based performance improvement for generative planners
The realisation of JSD specifications in object oriented languages
Enacted embodiment in adaptive architecture : physiological interactions between inhabitants and biofeedback architecture
Converting to optimization in machine learning: Perturb-and-MAP, differential privacy, and program synthesis
Variability of structurally constrained and unconstrained functional connectivity in schizophrenia
Investigation of genetic programming as a hyper-heuristic for combinatorial optimization
Knowledge-based software engineering : a software quality management expert system prototype
A design-by-contract based approach for architectural modelling and analysis
Efficient parallel image-processing software
An information systems framework for event management in supply chain operations
Automatic esophageal abnormality detection and classification
Minimising human annotation for scalable person re-identification
Models of sharing graphs : a categorical semantics of let and letrec
Designing and evaluating information spaces : a navigational perspective
A high-fidelity microwave driven two-qubit quantum logic gate in 43Ca+
Paraphrase identification using knowledge-lean techniques
Movement imitation mechanisms in robots and humans
On the integration of concurrency, distribution and persistence
Case for holistic query evaluation
Structure-aware machine learning over multi-relational databases
Effective and efficient generation of Size-l object summaries for relational keyword search
Applying the XCS Learning Classifier System to continuous-valued data-mining problems
Multi-agent fitness functions for evolutionary architecture
IdIOT: second-order cybernetics in the 'smart' home
Object-oriented techniques applied to real-time systems
A data flow model of parallel processing
The artificial engineer
Data management in dynamic distributed computing environments
Aspects of Command Language Portability Incorporating a Machine - Independent Filestore Concept
Optimizing compilation with the value state dependence graph
Bio-Inspired Autonomous Hardware Neuro-controller Device on an FPGA Inspired by the Hippocampus
On the induction of temporal structure by recurrent neural networks
On the relative complexity of approximately counting H-colourings
A multimedia CAL system for object-oriented methodology
Surface electromyography driven hand motion recognition for long-term rehabilitation use
The Detection of Malfunction Using a Process Computer
Quantitative assessment of factors in sentiment analysis
Advanced techniques for search-based program repair
Automated editing of sound and motion
HomeShaper : regulating the use of bandwidth resources in home networks
Design and evaluation of web applications and processes
Using improvement location and improvement preference to create meta-heuristics
The Multiple Pheromone Ant Clustering Algorithm
Joint scheduling and duty cycle control framework for hierarchical machine-to-machine communication networks
Scaling mount concurrency : scalability and progress in concurrent algorithms
Lab-on-a-chip systems for the analysis of phytoplankton RNA
Calculating the knowledge-based similarity and complementarity of functional groups based on their non-bonded interactions
Grammar-based preprocessing for PPM compression and classification
A distributed stream library for Java 8
A schema transformation based approach to generic model management
Cost semantics for heterogeneous parallel functional languages
Pattern Recognition and a New Heart Signal
Implementations of process synchronisation, and their analysis
Event modelling, detection and mining in multimedia surveillance videos
An investigation of performer embodiment and performative interaction on an augmented stage
Building information filtering networks with topological constraints: algorithms and applications
Multi-view representation learning for natural language processing applications
One is all, all is one: cross-modal displays for inclusive design and technology
Noncoherent fusion detection in wireless sensor networks
Minimal model reasoning for modal logic
Development of mathematical models for freight cars subject to dynamic loading
Grid domains for analysing software
Optimisation and self-organisation in adaptive learning networks
Applications of microprocessors to error control systems
Applying military tactics to multi-agent intrusion detection in wireless ad hoc networks
Probabilistic models for melodic sequences
Dynamic channel management in packet mode usage of circuit switched ISDN
Learning constructive primitives for procedural content generation
Action recognition using deep learning
Supporting the modelling and generation of reflective middleware families and applications using dynamic variability
The Modelling of Systems with Small Observation Sets
Two-level scheduling support for mixed application types
Deviation analysis of inter-organisational workflow systems
Object replication in a distributed system
Cellular load distribution : dynamic load balancing in scalable multicomputers
Simultaneous identification and control of discrete time single input single output systems
On the performance of argument-based dialogue systems
Context aware personalisation of assistive technologies within pervasive environments
Active security vulnerability notification and resolution
Towards a satisfaction relation between CCS specifications and their refinements
Principles and applications of algorithmic problem solving
Robust deep learning frameworks for acoustic scene and respiratory sound classification
Behavioural properties and dynamic software update for concurrent programmes
Acousto-optic processing for training of large scale neural networks
New strategies for automated random testing
A study of parallel deductive database systems
Finite state and statistical methods for natural language processing
Improving the efficiency of learning CSP solvers
Capturing temporal aspects of bio-health ontologies
Particle swarm optimization for dynamically changing environments with particular focus on scalability and switching cost
Mitigating private key compromise
A study of artificial neural networks and their learning algorithms
An empirical study of package coupling in Java open-source
Towards a uniform graphical representation of program construction, debugging and testing process
Multiple description coding for 3D video
Using knowledge of purpose and knowledge of structure as a basis for evaluating the behaviour of mechanical systems
Optimizing a primitive based approach to generic taint analysis
Design and implementation of extensible middleware for non-repudiable interactions
A service infrastructure for change-tolerant context-aware applications
A flexible model supporting QoS and reallocation for grid applications
Modelling events from natural language
Rule extraction and knowledge transfer from radial basis function neural networks
Global non-dynamic refinement of radial orbit error for altimetric earth satellites
Parallel computing for real-time simulation and condition monitoring of fluid power systems
Combining multiple classifiers for text categorization using the Dempster-Shafer theory of evidence
Artificial immune systems for combinatorial optimisation: a theoretical investigation
Towards for purpose security in high assurance and Agile environments
Vulnerable sovereignty : a cybernetic essay in political sciences
The derivation of a pragmatic requirements framework for web development
The design of a distributed filestore
Abstract control rules and their use in domain independent planning
An approach for designing a real-time intelligent distributed surveillance system
Automatic sound synthesizer programming : techniques and applications
An automated approach to the measurement and evaluation of software quality during development
Object detection for collision avoidance from lidar point clouds
Improving the accuracy of probablastic behaviour models using state refinement
Authenticated encryption in theory and in practice
Taking inspiration from biology and topology : chemotaxis model with topological landscape for dynamic reconfiguration of arrays of processors
Algorithmic developments for self-organising fuzzy neural networks
Switching Stepsize Strategies for Nonlinear Programming
Advanced network security techniques and applications
Biometric information analyses using computer vision techniques
Text detection and recognition from natural images
Concepts in word embeddings: theory and applications
Evaluating usability evaluation methods for location-aware interactive systems in contextually rich environments
Impedance spectroscopy for cellular and biomolecular analysis
A cooperative system for enhancing mobile access
Visualisation of structured data through generative probabilistic modeling
Theoretical aspects of generalization in feed-forward neural networks
JPEG : the quadruple object
Towards an intelligent authoring system
Comparison and performance enhancement of modern pattern classifiers
Large-scale optimization: combining co-operative coevolution and fitness inheritance
Resource allocation schemes for multiuser wireless communication systems powered by renewable energy sources
Automatic message annotation and semantic interface for context aware mobile computing
Investigating data quality in question and answer reports
Energy minimisation techniques for distributed embedded systems
The development of a knowledge-based database transaction design assistant
The generation and use of quasi-equifrequent groups for computer record identification
HyperCourseware: the development of software tools and techniques to enable courseware management
Applied psychology in human-computer interaction : the social impact of a virtual assistant's gender and human-likeness in self-services
The autonomous navigation of an electric vehicle
Foundations and applications of knowledge representation for structured entities
A model for schema evolution in object-oriented database systems
A decision making aid system based on a small microprocessor
Computational methods for multi-omic models of cell metabolism and their importance for theoretical computer science
A study on the effect of Quality of Service (QoS) on enterprise cloud storage service adoption
A novel systematic and proactive approach to limit reflective DDoS attacks
Visual speech synthesis using shape and appearance models
Metric domains for completeness
Conformal and Venn predictors for multi-probabilistic predictions and their applications
The integration of hypermedia based learning applications into undergraduate engineering degree courses
Automatic age progression and estimation from faces
Network media distribution systems: understanding the media ecology of software using an evolutionary framework
Molecular binder : a multimodal virtual environment to assist learning
Using directed graphs for software visualisation
Towards the optimization of software instructional demonstrations
Stable marriage problem based adaptation for clone detection and service selection
Computer vision based interfaces for computer games
Learning to classify from temporal data in the presence of concept drift and noise
Continual resource estimation for evolving software
A proof-of-proximity framework for device pairing in ubiquitous computing environments
A new swarm optimal collective searching behaviour framework using decision-making under risk
An object-oriented query processing subsystem in a heterogeneous distributed database environment
Sparse octree algorithms for scalable dense volumetric tracking and mapping
XML documents schema design
Monitoring individual cells within cell cultures using image processing and pattern recognition techniques
Neural networks, information theory and knowledge representation
Traffic engineering for multiservice IP networks
Semantic net based hypertext for authoring and reuse
An exploratory study of the application of mindsight in virtual communication: the case of email
Type theoretic semantics for semantic networks : an application to natural language engineering
Content based image compression using texture analysis and synthesis
End-to-end deep reinforcement learning in computer systems
Statistical inference for periodic and partially observable Poisson processes
A domain independent adaptive imaging system for visual inspection
Motion estimation and compensation of video sequences using affine transforms
Towards automated discovery of knowledge from Bach's original manuscripts
From calibration to large-scale structure from motion with light fields
Constructing highly-available distributed metainformation systems
Towards automated performance analysis of programs by runtime verification
Design time detection of architectural mismatches in service oriented architectures
An investigation into disorientation when navigating the World-Wide Web
The aggregating algorithm and regression
Mobile computation with functions
Embracing the gesture-driven interface: design and evaluation of a mid-air gestural approach based on manipulation
Access contracts: a dynamic approach to object-oriented access protection
Semantic-constraint modelling for small database management systems
The effectiveness of the web accessibility audit as a motivational and educational tool in inclusive web design
A framework for managing shared accelerators in heterogeneous environments
Synthesis of event-based controllers for software engineering
The role of expert systems in conservation management
Dynamical genetic programming in learning classifier systems
Animate vision in an artificial fly : a study in computational neuroethology
Digital simulation of continuous processes using limited computer resources
Multiplicative latent force models
Effective meta-programming in declarative languages
Machine learning for the analysis of morphologically complex languages
The entangled cyberspace: an integrated approach for predicting cyber-attacks
A model for predicting the performance of IP videoconferencing
Database tools for multi-language program support environments
Cognitive aspects of embodied conversational agents
On the implementation of P-RAM algorithms on feasible SIMD computers
The effects of features and pose on facial expression recognition
Repairing strings and trees
Component level risk assessment modelling for grid resources
A customizable grammar-based framework for user-intent text classification
Computer vision based techniques for fall detection with application towards assisted living
Temporal difference learning for reactive agent control within a non-stationary game environment
Correlation study and control of mechanical vibration and psychoacoustic parameters in hard disk drive
Novel approaches to applied cybersecurity in privacy, encryption, security systems, web credentials, and education
Using 3D visual data to build a semantic map for autonomous localization
Polynomial-time efficient position
Periscopic stereo and large-scale scene reconstruction
Self-explanatory objects : investigation of object-based help
Supporting infrastructure for presence awareness and shared interaction
The evolution of computer-based information systems in specialist activities in the professions
Gaussian processes based transfer learning for online multiple-person tracking and building blocks for deep learning
Study of all-optical FSO relay based systems under the influence of the atmospheric turbulence channel
An empirical study of stream-based techniques for text categorization
Dynamic SLAM, object reconstruction, shape and pose prediction for 3D scene understanding