yusuke1997/dblp-id-title huggingface dataset:
An incremental execution environment
Segmentation, super-resolution and fusion for digital mammogram classification
A probabilistic perspective on ensemble diversity
Database query systems for the casual user
Competition processes in visual word recognition
Exploiting domain knowledge for cross-domain text classification in heterogeneous data sources
An open model for hypermedia : abstracting links from documents
Some aspects of adaptive logic for pattern recognition
Recognising activities by jointly modelling actions and their effects
Managing the memory hierarchy in GPUs
A categorical programming language
Quantifying textual similarities across scientific research communities
Distributed systems : architecture-driven specification using extended LOTOS
A service oriented mobile augmented reality architecture for media content visualization in digital heritage experiences
Arabic information retrieval system based on morphological analysis (AIRSMA) : a comparative study of word, stem, root and morpho-semantic methods
Formal modelling and analysis of broadcasting embedded control systems
New techniques for Arabic document classification
Reinforcement learning from self-play in imperfect-information games
Corporate classifier systems
3-D printed microwave and tetrahertz passive components
Knowledge elicitation and formalisation for context and explanation-aware computing with case-based recommender systems
Training biologically plausible neurons for use in engineering tasks
Learning unification-based natural language grammars
A Study of man-computer Interaction
What is the influence of genre during the perception of structured text for retrieval and search?
Component-based security under partial compromise
Heuristics and multi-dimensional physical database design
Human-sensor dialogue in participatory sensing
Structured discussion and early failure prediction in feature requests
Proof search issues in some non-classical logics
Generating textual captions for ultrasound visuals in an automated fashion
Decision-making with imperfect information
From high level architecture descriptions to fast instruction set simulators
User-developer cooperation in software systems development : building common ground and usable systems
Supporting software systems maintenance using data mining techniques
Action learning experiments using spiking neural networks and humanoid robots
Accurate human pose tracking using efficient manifold searching
Cubical models of homotopy type theory: an internal approach
Incorporating duration information in activity recognition
Style analysis for source code plagiarism detection
Generalisation of fuzzy clustering and its combination with diffusion : a formulation based on extreme physical information
Authoring access control policies with controlled natural language
Programming Language Extension for Discrete Event Simulation
Assessing patho-physiological responses to physical activity from body-worn sensors: an application of machine learning
Utilizing output in Web application server-side testing
Visualising network security attacks with multiple 3D visualisation and false alert classification
Overcoming middleware heterogeneity in mobile computing applications
Supplementing frequency domain interpolation methods for character animation
Exploiting parallelism in decomposition methods for constraint satisfaction
Hybrid semantic-document models
Designing with children : reflections on effective involvement of children in the interaction design process
Semi-supervised learning for biomedical information extraction
Immaculate depth perception: recovering 3D scene information via depth completion and prediction
Connectivity-driven parcellation methods for the human cerebral cortex
A comprehensive scheme for reconfigurable energy-aware wireless sensor nodes
INTERPOL : a synthesised model of instruction - learning processes, outcomes and methods
Modelling the transition to complex, culturally transmitted communication
On the selection and implementation of data structure representations
Towards efficient polling strategies for monitoring management information in TCP/IP networks
Database query using menus and natural language fragments
Context-driven methodologies for context-aware and adaptive systems
Inventing intelligence: on the history of complex information processing and artificial intelligence in the United States in the mid-twentieth century
Data to polygon transformation and comparison : a technique for model validation and related applications
Fountain codes for the wireless Internet
An investigation of object-oriented interfaces for human computer interaction
Repairing type errors in functional programs
Enhanced database system for active design modelling
Hierarchies in first-order logic and parameterized complexity
Routing in multi-class queueing networks
A data-driven statistical approach to customer behaviour analysis and modelling in online freemium games
An analysis of the influence of cultural backgrounds of individuals upon their perspective towards privacy within internet activities
Methods for addressing data diversity in automatic speech recognition
Improved Software Project Risk Assessment Using Bayesian Nets
Measurement-based quantum information processing with imperfect operation
A machine independent, device independent graphical output system
Quality aspects of the program development process used by learner programmers
Low complexity capacity-approaching codes for data transmission
The augmented reality framework : an approach to the rapid creation of mixed reality environments and testing scenarios
An applications approach to benchmarking and performance modelling low latency interconnection networks
On computational models of animal movement behaviour
Decision-making and research gaming
Software reclamation : upgrading code for reusability
Context-aware sentence categorisation: word mover's distance and character-level convolutional recurrent neural network
Efficient multivariate statistical techniques for extracting secrets from electronic devices
Secure monitoring system for industrial Internet of Things using searchable encryption, access control and machine learning
A lightweight, graph-theoretic model of class-based similarity to support object-oriented code reuse
Preference elicitation from pairwise comparisons for traceable multi-criteria decision making
A Bayesian system for computer-aided diagnosis without assuming conditional independence
Automated human fall recognition from visual data
Platforms for deployment of scalable on- and off-line data analytics
Unsupervised neural networks for visualisation of data
Design and construction of a distributed crossbar switch hypermesh parallel computer
Improving the practicality of model-based reinforcement learning: an investigation into scaling up model-based methods in online settings
Design and performance analysis of raster graphics systems
Towards designing and measuring interpretable hierarchical fuzzy systems
Photo-realistic image generation techniques
Distributed RBAC for subscription-based remote network services
Automated composition of sequence diagrams
Explaining visible behaviour
Building and evaluating privacy-preserving data processing systems
A transaction cost economics and a Foucauldian approach to the study of IT outsourcing governance
Location intelligence : a decision support system for business site selection
Automatic architecture selection for probability density function estimation in computer vision
Context aware body area networks
Semantic web service generation for text classification
Managing near field communication (NFC) payment applications through cloud computing
Modelling the recognition of band-pass filtered speech
Bayesian learning for parametric and kernel density estimation
The family snapshot: parental representations of family and children on Instagram
Normalisation by evaluation in the compilation of typed functional programming languages
Developing adaptive myoelectric human-machine interface for rehabilitation
Digital Rights Management for Personal Networks
Tcp-XM
Certificate validation in untrusted domains
Decidability boundaries in linear dynamical systems
Middle-out domain-specific aspect languages and their application in agent-based modelling runtime inspection
Defining interaction within immersive virtual environments
The logic of trust
Some aspects of machinability data optimisation
The Eigensolution of symmetric matrices on distributed memory computers
Agent-based recommender systems
On RDL and its application to the performability of communications networks
Dictionary characteristics in cross-language information retrieval
Enabling energy transparency for deeply embedded programs
A physically-based muscle and skin model for facial animation
Evolutionary search for test data in the presence of state behaviour
On the semantics of intensionality and intensional recursion
Synthesis of protocols and discrete controllers
Towards lifelong reasoning with sparse and compressive memory systems
Self-learning based intelligent control of ship manoeuvring in narrow waters
Registration techniques for computer assisted orthopaedic surgery
Locomotor patterns and persistent activity in self-organizing neural models
User modeling for intelligent human-computer interaction
Quantum information processing with integrated photonic materials
Resource allocation for D2D communications based on matching theory
Parallelization of algorithms by explicit partitioning
Bayesian networks for evidence based clinical decision support
Preprocessing and recognition of off-line cursive script
Automated software maintenance using search-based refactoring
Framework for security transparency in cloud computing
People are the network : experimental design and evaluation of social-based forwarding algorithms
Dynamic CPU ISA customizations through FPGA interlays
Tools and techniques for analysing the impact of information security
Text compression for transmission and storage
Remote access to a prototyping laboratory
Some Control Problems with Costly Information
An inheritance-based theory of the lexicon in combinatory categorial grammar
SAFEL: a Situation-Aware Fear Learning model
Digital conditions and post-digital potentials: an exploration of time and matter in hardware and software
Graphical creation of structured programs
Blended learning : an interpretive action research study
Investigation of a teleo-reactive approach for the development of autonomic manager systems
The application of data compression and character recognition to digital transmission of textual and graphical information
Transactions and data management in NoSQL cloud databases
A transfer learning-aided decision support system for multi-cloud brokers
REWARD : relational to object-oriented; a reengineering paradigm
Data independence in the model checking of security protocols
Metadata support for connecting application components asynchronously
Simulated annealing based datapath synthesis
High specificity automatic function assignment for enzyme sequences
Part-based tracking with cascaded regression of neighbours
The development and application of heuristic techniques for the data mining task of nugget discovery
An integrated dataflow processor and network
A heterogeneous approach to Agile tailoring
Adaptive probabilistic models for learning semantic patterns
Free and open hardware: a critical and thematic analysis of free and open hardware communities RepRap and Arduino
On-line measurement of broken rice percentage from image analysis of length and shape
Real-time person re-identification for interactive environments
Efficient simultaneous encryption and compression of digital videos in computationally constrained applications
Faster : A hybrid algorithm for feature selection and record reduction
Bats echolocation-inspired algorithms for global optimisation problems
Managing time budgets shared between planning and execution
Minimally-supervised methods for Arabic Named Entity Recognition
An object oriented expert system for specifying computer data security requirements in an open systems environment
Resource control in network elements
Portable system software for personal computers on a network
Semantic selection of Internet sources through SWRL enabled OWL ontologies
Proving correctness of modular functional programs
A corpus-based method for ontology acquisition
Employees' information security awareness and behavioural intentions in Higher Education Institutions in Oman
Near-capacity co-located and distributed MIMO systems
Parametric synthesis of human animation
Software support for advanced applications on distributed memory multiprocessor systems
Inducing rules in a higher-order framework
Heuristic multicast routing algorithms in WSNs with incomplete network knowledge
Women and computing in higher education: an analysis of the pedagogic discourses of computing
Computer image processing with application to chemical engineering
Integrated application of compositional and behavioural safety analysis
Agent-based sketch recognition
Agency-based Integration of Aesthetic Criteria within an Interactive Evolutionary Design Environment
Towards enhancing unsupervised anomaly detection by improving complexity, dimensionality and class-boundary properties
Secure message transmission and its applications
Fair and large stable matchings in the stable marriage and student-project allocation problems
Learning attention mechanisms and context: an investigation into vision and emotion
A framework for generic computer vision
Utilising a human centered design (HCD) approach for enhancing government systems in Saudi Arabia through usability evaluation from the user's perspective
Direct UV written planar devices for sensing and telecommunication applications
The use of advanced soft computing for machinery condition monitoring
Decomposition methods for multicast network design
Interactive Graphics Software for Network Modelling
Consistency preserving dynamic reconfiguration of distributed systems
Formal methods and tools for systems analysis and design
Exploring mixed reality in distributed collaborative learning environments
MedLAN : compact mobile computing system for wireless information access in emergency hospital wards
Understanding how knowledge is exploited in Ant algorithms
An approach to formal reasoning about programs
Speech Synthesis from concept with applications to Speech Output from Systems
Evaluating technologies and techniques for transitioning hydrodynamics applications to future generations of supercomputers
The efficiency of conformal predictors for anomaly detection
Computer vision and machine learning for in-play tennis analysis: framework, algorithms and implementation
Unsupervised learning of multiword expressions
Performance modelling and resource allocation of the emerging network architectures for future Internet
Cultural models in HCI: Hofstede, affordance and technology acceptance
Testing and learning on distributional and set inputs
Development of a weight-based topological map-matching algorithm and an integrity method for location-based ITS services
Software traceability for multi-agent systems implemented using BDI architecture
Automatic scheduling and parallel code generation for high performance real-time systems
Charging and resource control for open distributed systems
Load-aware traffic control in software-defined enterprise Wireless Local Area Networks
Closing the KDD loop to improve website design
Dynamic frameproof codes
Towards a computer understanding of program design
Reconfigurable predictive systems for event streams
Amortized inference and model learning for probabilistic programming
Structured deep neural networks for speech recognition
Locking atomic sections
Cooperative communication for cognitive radio networks
Image compression using BinDCT for Dynamic Hardware FPGAs
Shapelet transforms for univariate and multivariate time series classification
Anxiety activating virtual environments for investigating social phobias
The remote UI system a high performance remote user interface system for mobile scenarios
Market protocols for computational clusters and grids
Dynamic supporting: an efficient method for replicated file systems
Parallel processing for schema evolution in database systems
Critical computer animation : an examination of "practice as research" and its reflection and review processes
Recognising and localising human actions
Multiple adaptive mechanisms for predictive models on streaming data
A software framework for the microscopic modelling of pedestrian movement
Reverse engineering to an object-oriented representation
Software-orientated system design for field programmable gate arrays
An agent-based architecture to support adaptivity in virtual learning environments based on learners' learning styles
Parallel simulations using recurrence relations and relaxation
Systems Engineering Applied to Operational Planning in the Tunnel Group
Investigating phase synchronisation in EEG signals for brain connectivity analysis
Iterative learning control : algorithm development and experimental benchmarking
A layered security approach for cooperation enforcement in MANETs
Guiding random graphical and natural user interface testing through domain knowledge
On the theoretical foundations of LePUS3 and its application to object-oriented design verification
Fundamental concepts for fault tolerant systems
Building robust real-time game AI: simplifying & automating integral process steps in multi-platform design
Biometric liveness detection using gaze information
Evaluation of decentralized email architecture and social network analysis based on email attachment sharing
Exploiting the memory-communication duality in parallel computation
Active learning : an explicit treatment of unreliable parameters
A complex situation in data recovery
Stability and performance of contention resolution protocols
Moving together : the organisation of non-verbal cues during multiparty conversation
Combined optimization algorithms applied to pattern classification
Meaning from text a sentiment classification framework
Scalable event-driven modelling architectures for neuromimetic hardware
Human annotation and automatic detection of web genres
Reducing human effort in web data extraction
Computational fluid dynamics with embedded cut cells on graphics hardware
Dynamic spectrum allocation algorithms in large wireless ad hoc networks
Topos aspects of the extended Priestley duality
Enclosing the field : from 'mechanisation of thought processes' to 'autonomics'
Digitally enhanced consumer packaged goods: a data-inspired ideation approach
Model switching in intelligent training systems
An approach to pathfinding for real-world situations
Efficient sketch-based 3D character modelling
Policy-based privilege management using X.509 (the PERMIS project)
Applying dynamic trust based access control to improve XML databases' security
Autonomic computing : using adaptive neural network in self-healing systems
Towards user centric regulation: exploring the interface between information technology law and human computer interaction
Supporting design exploration
An evaluation of the use of task analysis in the development of interactive multimedia systems
Detection of packer based obfuscated executables
Knowledge-based advising in the domain of scientific programming
Occupant behaviour pattern modeling and detection in buildings based on environmental sensing
Instructional multimedia : comparison and enhancement of expert evaluation methods
A computational model of task oriented discourse
Sketch-based skeleton-driven 2D animation and motion capture
A method for the design and development of multimedia documents
Inductive logic on an intuitionistic Basic
High-fidelity graphics using unconventional distributed rendering approaches
Assessing the usability of virtual learning environments in higher education
Hypergraph-based optimisations for scalable graph analytics and learning
Dynamic analysis of anthropomorphic manipulators in computer animation
An investigation into the nature and consequences of teachers' implicit philosophies of science
Barriers to successful application of information technology in Botswana
Studies on modal logics of time and space
Characterising graduateness in computing education: a narrative approach
Mobile traffic prediction through machine learning techniques
Success factors for organisational information systems development projects : a Scottish suppliers' perspective
Automatic pre-treatment validation in radiotherapy by computer aided 3D-2D image alignment
Vanishing points detection and camera calibration
Analogy by mapping spreading and abstraction in large multifunctional knowledge bases
An investigation into automatic road network update using trajectory data and performance-guided neural network
Qualitative representation and reasoning for spatial and spatio-temporal systems
A cybernetic methodology to study and design human activities
An investigation of the behaviour of the granular layer of the cerebellum using neuronal and network models
Physics-informed neural networks for data-efficient learning
Dependability of wireless sensor networks
Principled decision-making for tutoring : a rational construction of planning and decision-making from instructional principles
A prototype abstract data store
Interpreting multi-stable behaviour in input-driven recurrent neural networks
Machine learning for improving heuristic optimisation
Bigraphs with sharing and applications in wireless networks
Virtual sculpting using implicit surfaces
Exploiting the architectural characteristics of software components to improve software reuse
Interconnection networks for parallel and distributed computing
Towards semantic interpretation of clinical narratives with ontology-based text mining
Tabletop tangible interfaces for music performance : design and evaluation
Semantic clustering mechanisms for communication in wireless sensor networks
Human protein function prediction : application of machine learning for integration of heterogeneous data sources
Extending the ERS approach for workflow modelling in Event-B
Secure*BPMN : a graphical extension for BPMN 2.0 based on a reference model of information assurance & security
Services for activities in group editing 'sage'
Simplifying large-scale communication networks with weights and cycles
Modelling active bio-inspired object recognition in autonomous mobile agents
Security awareness of computer users : a game based learning approach
Holistic, instance-level scene parsing with deep neural networks
Natural Arabic language text understanding
An investigation of the cultural and organisational context of implementing electronic commerce to support business to business collaborative relationships
Intelligent mobile ad hoc network management system
Computer supported collaborative learning through reflection on practice
Human to computer trust in urban pervasive computing
A methodology for knowledge analysis
OpenCache: a content delivery platform for the modern Internet
Investigating randomised sphere covers in supervised learning
Scalable techniques for analysing and testing asynchronous software systems
Enhanced receiver architectures for processing multi GNSS signals in a single chain : based on partial differential equations mathematical model
Object reconstruction by moments extended to moving object sequences
An investigation into the possibility of using sociological research methodologies for the elicitation of tacit knowledge for building knowledge intensive systems
Crowdsourcing 'just in time' knowledge at workplace: aligned with the development of smart mobile devices
Use of a layered knowledge architecture to support multiple views of system development knowledge
Cryptanalysis of some block ciphers
Strategies for neural networks in ballistocardiography with a view towards hardware implementation
Motion tracking in digital images
Computing surfaces : a platform for scalable interactive displays
Formal investigations of underspecified representations
Mixed radix design flow for security applications
Make Grid systems IPv6-enabled and provide mobility support in Grid systems based on mobile IPv6
Quantified Boolean formulas: proof complexity and models of solving