yusuke1997/dblp-id-title huggingface dataset:
Rapid saliency identification for selectively rendering high fidelity graphics
Coordination of FIPA compliant sotfware agents using utility function assignment
Rerum : an expert system for counselling utterances
Quantum computer software
Linear reinforcement learning with options
Safety critical software process improvement by multi-objective optimisation over BBN constraints
An empirical examination of interdisciplinary collaboration within the practice of localisation and development of international software
Logical representations for automated reasoning about spatial relationships
The suffix binary search tree
General 4D dynamic scene reconstruction from multiple view video
Verification of asynchronous concurrency and the shaped stack constraint
Schemes and applications for binding hardware and software in computing devices
An investigation of nonlinear speech synthesis and pitch modification techniques
International portfolio management under uncertainty
A divide and conquer approach to using inductive logic programming for learning user models
Art in the pipeline : artistic rendering in volume graphics
Towards pose invariant visual speech processing
From credible scenario specifications and prototypes to higher-performance systems
Study of the Fly algorithm for 2-D and 3-D image reconstruction
Technologies for enabling versatile information display
Data driven low-level object detection and segmentation
Parallel rule induction
Jeeves: a blocks-based approach to end-user development of experience sampling apps
Advances in stringology and applications : from combinatorics via genomic analysis to computational linguistics
Sequential and distributed algorithmic frameworks for the maximum concurrent flow problem
Evaluation and innovative performance improvement techniques for future wireless IP protocols
Addressing variability in reuse prediction for last-level caches
Investigating opportunities for instruction-level parallelism for stack machine code
Improved risk analysis for large projects : Bayesian networks approach
Adaptation of image visual search strategies to utility given task and perceptual constraints
A framework for research and design of gesture-based human-computer interactions
Timing is everything : a spatio-temporal approach to the analysis of facial actions
Cost-sensitive boosting: a unified approach
Using virtual experiences to facilitate refugees' integration in third countries
Cost-effective radiation hardened techniques for microprocessor pipelines
Mechanical verification of compiler correctness
Image segmentation based on water flow analogy
Control of social reasoning in resource bounded agents
Computer based assessment of diagram based coursework
Weak sharp minima and penalty functions in mathematical programming
Target tracking and image interpretation in natural open world scenes
Perceptual models for high-refresh-rate rendering
Metrics and models to support the development of hybrid information systems
Artificial evolution of fuzzy and temporal rule based systems
Deep learning for the early detection of harmful algal blooms and improving water quality monitoring
How virtual worlds can support collaboration and engagement in healthcare
Path manipulation strategies for rendering dynamic environments
Applications of coherent phonons in quantum optics : prospects for optically controlled ensemble quantum memories in the solid state
Combating state explosion in the detection of dynamic properties of distributed computations
Starling swarms optimisation for static and dynamic environments
Computational modelling of diastole for human ventricle
Design of high-speed SerDes transceiver for chip-to-chip communications in CMOS process
The evaluation of a novel haptic machining VR-based process planning system using an original process planning usability method
Evaluating the appropriateness of visually combining quantitative data representations with 3D desktop virtual environments using mixed methods
Design and Implementation of a Small Operating System
Directional edge and texture representations for image processing
Radio resource management for cognitive radio networks
Application of cortical learning algorithms to movement classification towards automated video forensics
Information handling and pattern discovery
Reconnaissance: a widely applicable approach encouraging well-informed choices in computer-based tasks
Real time fault detection and diagnosis in dynamic engineering systems using constraint analysis
The specification of interactive behaviour patterns in object-oriented discrete-event simulation modelling
In touch with the wild : exploring real-time for learning to play the violin
Design and modelling of decentralised task allocation mechanisms in groups of mobile agents
Musical applications of digital synthesis and processing techniques : realisation using Csound and the Phase Vocoder
Linear control system synthesis: low sensitivity to plant variations
Model construction, evolution, and use in testing of software systems
On backoff mechanisms for wireless Mobile Ad Hoc Networks
Relationships for object-oriented programming languages
The contextual evaluation framework : a prototype evaluation technique for e-Research
HybridLF : a system for reasoning in higher-order abstract syntax
A gene regulatory network model for control
Digital culture industry: a history of digital distribution
Computational models of the morphology of the developing neonatal human brain
Physical activity recognition and monitoring for healthcare in Internet of Things environment
Issues in learning cause and effect relationships from examples : with particular emphasis on casting processes
The generation of concurrent code for declarative languages
A combinational framework for parallel programming using algorithmic skeletons
The genitive ratio and its applications
HI-Risk : a socio-technical method for the identification and monitoring of healthcare information security risks in the information society
Model-based automated analysis for dependable interactive systems
Development of digital computer programmes for control system design
Automatic emotion recognition in English and Arabic text
An investigation into image and video Nottingham segmentation and change detection
The Computer Generation of Images in Real-Time
Introducing corpus-based rules and algorithms in a rule-based machine translation system
On reducing the data sparsity in collaborative filtering recommender systems
Compile-time analysis for the parallel execution of logic programs in Andorra-1
Evolution of living information systems development
Motivational attitudes and norms in a unified agent communication language for open multi-agent systems : a pragmatic approach
Structuring fault-tolerant object-oriented systems using inheritance and delegation
Auto-tooling to bridge the concrete and abstract syntax of complex textual modeling languages
High Performance Simulation in Quasi-continuous Manufacturing Plants
Branching strategies for mixed-integer programs containing logical constraints and decomposable structure
Application of Boolean difference concept to fault diagnosis
Investigations into hardware-based parallel lossless data compression systems
Foreground detection of video through the integration of novel multiple detection algorithims
Railway traffic flow optimisation with differing control systems
Development of improved head-disk spacing measurement methods for magnetic disk drives
The representation of pictorial information for computer assisted teaching systems
Metric learning for incorporating privileged information in prototype-based models
The justificatory structure of OWL ontologies
Evaluating techniques for wireless interconnected 3D processor arrays
Tractable schema mappings under oblivious termination
Neuromodelling, adaptive neurocontrol and the attitude control problem
Quality of Service optimisation framework for Next Generation Networks
A framework to observe execution time variability for embedded systems
The management of dynamically reconfigurable computing systems
Emulation of random output simulators
Multi-agent coordination for dynamic decentralised task allocation
Augmenting ICS cyber security risk assessments: assimilation of socio-technical characteristics and constructs
An ASIC implementation of a multicast message routing switch for interprocessor communications
Persistent object stores
Automatic learning of British Sign Language from signed TV broadcasts
Adaptive aspects of heuristic search
Evolved neural network approximation of discontinuous vector fields in unit quaternion space (S³) for anatomical joint constraint
Logics of domains
Efficient extraction of semantic information from medical images in large datasets using random forests
The generation and management of software
Computational interaction techniques for 3D selection, manipulation and navigation in immersive VR
The identification of cellular automata for spatio-temporal systems
Reducing errors in optical data transmission using trainable machine learning methods
Inconsistency and underdefinedness in Z specifications
Sequential frame synchronization over binary symmetrical channel for unequally distributed data symbols
Application of physics-based image formation models to change detection in the context of indoor workplace video surveillance
Advances in compositional fitting of active appearance models
The effectiveness of argumentative approaches to the design of software
Generating coherent references to multiple entities
Immunohistochemistry image analysis : protein, nuclei and gland
Rigorous measures of confidence for pattern recognition and regression
Dual-phase side-channel evaluations : leakage detection and exploitation
The differential equation-error method of real-time process identification
Contextual image classification
Multi-party communication over packet networks
The application of workflows to digital heritage systems
On the mechanisation of the logic of partial functions
Robust methods in data mining
Affective information design
Imagining the state through digital technologies : a case of state-level computerization in the Indian public distribution system
Modelling of glimpses for speech recognition in noisy environments
Computation applications in archaeology
MML, a modelling language with dynamic selection of methods
A reference computational model to manage the semantics of learning environments using SWRL enabled OWL ontologies
3-D reconstruction of multi-object scenes from multiple images
5G-U (5G on unlicensed band): coexistence Framework for 5GcCellular and IEEE 802.11ad/ay
The use of a blackboard system for story processing by computer
A biologically Inspired Framework for Classification of Visual Information
Randomised load balancing
Robust and secure perceptual image hashing in the transform domain
The design of an interactive computer system for microelectronic mask making
Participation Space Studies : a socio-technical exploration of activist and community groups' use of online and offline spaces to support their work
Object recognition by evolutionary search
Constraint programming, search and symmetry
A reliable and energy efficient cognitive radio multichannel MAC protocol for ad-hoc networks
Temporal resolution for branching time logics : extensions and complexity
Formal semantics for LIPS (Language for Implementing Parallel/distributed Systems)
Performance requirements verification during software systems development, using UML model transformation approach
Uses of complex wavelets in deep convolutional neural networks
Visual recognition of human rights violations
On emotion, learning and uncertainty : a cognitive modelling approach
Latency guidelines for touchscreen virtual button feedback
Re-targetable tools and methodologies for the efficient deployment of high-level source code on coarse-grained dynamically reconfigurable architectures
Nonlinear evolution equations and applications in optimal control theory
Supporting co operative work through ubiquitous awareness filtration mechanisms
Deep neural networks on genetic motif discovery: the interpretability and identifiability issues
An exploration of improvements to semi-supervised fuzzy c-means clustering for real-world biomedical data
Self-organized distributed model predictive control
A distributed adaptive window system
Numerical optimisation problems in finance
Medium-term planning in deregulated energy markets with decision rules
Optimal experiment design and model reduction
Using natural language generation to provide access to semantic metadata
Design and performance analysis of fail-signal based consensus protocols for Byzantine faults
Cooperative artefacts
An empirical investigation into strategies for guiding interactive search
Exploiting AI to understand microtubule orientation in neurons
Investigating a heterogeneous data integration approach for data warehousing
Delay and energy efficiency optimizations in smart grid neighbourhood area networks
Surface discharge dynamics : theory, experiment and simulation
Efficient arbitration and bridging techniques for high-performance conventional multimedia servers
A system for the analysis of musical data
Representation and execution of human know-how on the Web
Online learning on the programmable dataplane
Understanding cycling behaviour through visual analysis of a large-scale observational dataset
Multiobjective selection hyper-heuristics using reinforcement learning
A knowledge based approach to verifying cryptographic protocols
On the performance of markup language compression
Deep learning for time series prediction and decision making over time
Facial feature detection and tracking with a 3D constrained local model
Supporting ambulance crews electronically through the provision of 'on-demand' patient health information
Towards an information formalism in group decision making systems with incomplete information
Understanding serendipity and its application in the context of information science and technology
Watermarking of MPEG2 video streams
Designing and evaluating a contextual mobile learning application to support situated learning
Non-visual data visualisation : towards a better design
Learning definite and normal logic programs by induction on failure
Quality of service of crash-recovery failure detectors
A new model for e-business deployment in Libyan public universities
Classification of Arabic extremist web content through Arabic textual analysis
An algebraic theory of componentised interaction
An object-oriented design environment for software reuse and adaptability
Re-identifying people in the crowd
Classical secure delegation of quantum computations
An interactive graphical program development system
Optimizations in algebraic and differential cryptanalysis
A reliable and energy efficient data collection solution for Wireless Sensor Networks
Testing boundaries : a theory of adaption and framing effects in ongoing tasks
Controlling schedule duration during software project execution
Constraint-based functional virtual prototyping for assembly simulation
Non-neural computing on the SpiNNaker neuromorphic computer
Participant responses to virtual agents in immersive virtual environments
Adoption of Cloud Computing in the SMEs: an exploration of the issues and challenges for adoption of Cloud Computing by SMEs in Bangladesh in the context of 'Digital Bangladesh'
Non-state actors and norms of responsible behaviour in cyberspace
Using estimation of distribution algorithms to detect concurrent faults
Mobile learning evaluation : the development of tools and techniques for the evaluation of learning exploiting mobile devices through the analysis of automatically collected usage logs - an iterative approach
The Role of Basal Ganglia in Decision Making and Reinforcement Learning
Optimising BFWA networks
Constructivist artificial intelligence with genetic programming
Quantum artificial neural networks
Unified development of automatically adapted interactions : the software engineering paradigm and a supporting implementation tool
Combining data integration and information extraction
Example-based water animation
A three dimensional Gaussian beam diffraction approach to analysis of quasi-optical networks
Adaptive fuzzy logic control for solar buildings
Modelling and analysis of resource management schemes in wireless networks : analytical models and performance evaluation of handoff schemes and resource re-allocation in homogeneous and heterogeneous wireless cellular networks
Context-sensitive connectionist representations for nonmonotonic inheritance
Exploration games for UML software design
Model Predictive Control Structures in the Non-Minimal State Space
Stability and performance analysis of polynomial fuzzy-model-based control systems and interval type-2 fuzzy logic systems
Investigating information security culture challenges in a public sector organisation : a Malaysian case
A policy-based security framework for ad-hoc networks
Discrete event calculus using Semantic Web technologies
Integrating QoS management into multimedia middleware
Communication for programmability and performance on multi-core processors
Categorisation of Arabic Twitter text
Brain Ictal State Characterisation through Multimodal Information Integration
Algebraic methods for incremental maintenance and updates of views within XML databases
Self-test and auto calibration in intelligent sensors : design aids for reconfigurable ASICs
Reasoning with !-graphs
Evolutionary personal information filtering combating information overload caused by habitual web surfinng using an evolutionary personal content-based recommender system
The development of a hybrid intelligent maintenance optimisation system
Underspecified quantification
Program transformation using temporal logic specifications
Architectural designs of Echo State Network
Performance visualization of parallel programs
Data security in European healthcare information systems
The strategic use of examples in novice LISP learning
Interaction patterns as composite connectors in component-based software development
Resource management in dynamic IoT environments
Visual operations on generic data structures
A practical hardware implementation of systemic computation
An investigation of feature weighting algorithms and validation techniques using blind analysis for analogy-based estimation
Verifying concurrent systems by approximation
Investigation and development of efficient integer and integer goal programming systems
Design strategies for employing reusable software components
Theory and practice of coordination algorithms exploiting the generalised distributive law
Innovative eavesdropper attacks on quantum cryptographic systems
Process-tolerant VLSI neural networks for applications in optimisation
Object-oriented query language design and processing
Cryptographic schemes based on elliptic curve pairings
Investigate multilingual mobile learning applications
Open semantic hyperwikis
The art of active memory
Cluster-based supervised classification
An automatic test framework for BPEL-based Web Services
Establishing trusted Machine-to-Machine communications in the Internet of Things through the use of behavioural tests
On the classification and evaluation of prefetching schemes
A multi-variable model predictive control algorithm with constraints
On-the-fly visual category search in web-scale image collections
Formative evaluation method for website interface development
The role of culture in usability evaluation: Collective and individualistic users compared
Concise texture editing
Efficient robot navigation with omnidirectional vision
Analogue implementation of motion estimation processors for digital video coding
The role of physics testing in breast cancer screening
SMT goes ABMS : developing strategic management theory using agent-based modelling and simulation
Enhancing network scalability by introducing mechanisms, architectures and protocols
Forecasting of the ship demolition market using artificial neural networks
An investigation into server-side static and dynamic web content survivability using a web content verification and recovery (WVCR) system
Exploring a striped XML world
Towards abstractions for distributed systems
On matrix channels for network coding
Generating arguments in natural language
A web-based collaborative decision making system for construction project teams using fuzzy logic
Children adapt drawing actions to their own motor variability and to the motivational context for action
Design patterns for parallel vision applications
A novel authentication protocol based on biometric and identity-based cryptography
Lifting of operations in modular monadic semantics
A systematic study of offline recognition of Thai printed and handwritten characters
Generating neural trees with topology preserving clustering
Amplifying single-gate MESFET phase shifters at X-band
Dynamic ontology refinement
Critical Infrastructure Automated Immuno-Response System (CIAIRS)
Proof-theoretic investigations into integrated logical and functional programming
Rigorous object-oriented analysis
Link layer protocol performance of indoor infrared wireless communications
Audio augmented objects and the audio augmented reality experience
Inductive confidence machine for pattern recognition
Using distributed agents to create university course timetables addressing essential & desirable constraints and fair allocation of resources
An investigation of web use during programming
Automation bias: exploring causal mechanisms and potential mitigation strategies
Handling data dependent memory accesses in custom hardware applications
The Design of a General Purpose Microprogrammable Emulator
Reliable confidence measures and well-calibrated probabilistic outputs in classification algorithms
The analysis of cyber security: the extended Cartesian method approach with innovative study models
Improved real-time rendering for mixed reality
Cross-spectral face recognition between near-infrared and visible light modalities
Memristor based neural networks : feasibility, theories and approaches
Hardware/Software Partitioning of Embedded Svstems
Parallelizing support vector machines for scalable image annotation
A middleware architecture for pervasive applications development
Requirements elicitation using Framenet frames
Trajectory Solutions for a Game-Playing Robot using Nonprehensile Manipulation Methods and Machine Vision
Data navigation and visualization : navigating coordinated multiple views of data
Evaluation of preprocessors for neural network speaker verification
A mathematical model of fixed-graph estimation of distribution algorithms
Compromising emanations: eavesdropping risks of computer displays
The structure of Internet latency
Measurement-based quantum computation and teleportation groups
Design of multimedia software in relation to user's culture
Combining visual modelling with visual programming for CORBA component development
Economic scheduling in Grid computing using Tender models
Exploring strategies for outsourcing oil and gas functions in the cloud, and analysing the implications for the Oil & Gas industry
Characterisation of human body and environmental effects on the performance of mobile terminal antennas
An integrated security protocol communication scheme for Internet of Things using the Locator/ID Separation Protocol network
Data-independent vs. data-dependent dimension reduction for pattern recognition in high dimensional spaces
Human motion analysis and synthesis in computer graphics
A dynamic access control model using authorising workfow and task role-based access control
Investigation of a novel formal model for mobile user interface design
Clustering methods for requirements selection and optimisation
An artificial intelligence framework for experimental design and analysis in discrete event simulation
Support for an integrated approach to program understanding : an application of software visualisation
Learning preferences for personalisation in a pervasive environment
Interpretation of simulation for model-based design analysis of engineered systems
Low latency audio processing
Helmholtz machines and non-stationary data fusion
Inheritance relationships for disciplined software construction