yusuke1997/dblp-id-title huggingface dataset:
Autonomous architectural assembly and adaptation
Structuring the world's knowledge: socio-technical processes and data quality in Wikidata
Query execution and temporal support in a distributed database system
An artificial intelligence framework for investigative reasoning
Write errors in exchange coupled Bit Patterned Media
Preprocessing for content-based image retrieval
Norm based service selection
ASKNet : automatically creating semantic knowledge networks from natural language text
Feature selection with harmony search and its applications
Methods for integer programming
Resilient and efficient delivery over message oriented middleware
Self-aware software architecture style and patterns for cloud-based applications
Complexity results and integer programming models for hospitals/residents problem variants
Unifying theories of logics with undefinedness
Investigation and validation of a cubic turbulence model in isothermal and combusting flows
Functional metaprogramming
Retinal image analysis for eye disease detection and classification
The mat sat on the cat: investigating structure in the evaluation of order in machine translation
Representation and knowledge acquisition : the problem of language
Addressing concerns in performance prediction : the impact of data dependencies and denormal arithmetic in scientific codes
Financial forecasting using time series and news
Scalable operators for adaptive processing of digital images
Speech scrambling & synchronization
Ocean sensors, for marine environmental monitoring
Portfolio management using computational intelligence approaches : forecasting and optimising the stock returns and stock volatilities with fuzzy logic, neural network and evolutionary algorithms
Improving capabilities of recommender systems using swarm intelligence
Fibred computational effects
The Use of Product Measures In Planning Monitoring and Controlling Software Maintenance Releases
The impact of usability : integrating usability engineering into the computing curriculum
Critical investigation of virtual universities : applying the UK structure to Saudi Arabia
Extending quality and covariate analyses for gait biometrics
Programming rational agents
Design of a hyper-environment for tracing object-oriented requirements
Linear type theories, semantics and action calculi
Visualisation of invisible substances using unicellular swarm intelligence
Interactive evolutionary computing in early lifecycle software engineering design
Asynchronous queue machines with explicit forwarding
Video summarisation techniques on user-generated videos and character-oriented TV series
Design of energy efficient protocols-based optimisation algorithms for IoT networks
Computer systems for 3-D image generation
Information systems framework to conceptualise the role of awareness in e-commerce success in developing countries: Jordanian context
Investigating visitors' behavioural response to Virtual Reality (VR) retail environments
Modelling chromosome missegregation in tumour evolution
An ensemble self-structuring neural network approach to solving classification problems with virtual concept drift and its application to phishing websites
A new Concept in the design of finite Automata
A cluster storage system for modern virtual machines
Bridging the age-based digital divide through inclusive design: an action research on the adoption of inclusive design in small e-government context
Machine learning for acoustic mosquito detection
Asynchronous VLSI design
Wireless access network optimization for 5G
Machine learning for network based intrusion detection : an investigation into discrepancies in findings with the KDD cup '99 data set and multi-objective evolution of neural network classifier ensembles from imbalanced data
A pattern-based foundation for language-driven software engineering
Code mobility and Java RMI
Learning in behavioural robotics
Website quality and culture: an integrative theoretical model with empirical validation
Computational analysis of eukaryotic metatranscriptomes from diverse marine environments
Authentication by gesture recognition: a dynamic biometric application
Enhancing information awareness through speech-induced anthropomorphism
Delivery of 360° videos in edge caching assisted wireless cellular networks
The potential and actual effectiveness of interactive query expansion
Computing multi-scale organizations built through assembly
Modelling and developing virtual collaboration for healthcare
Implementing fault tolerance in a 64-bit distributed operating system
Improved haptic interaction for large workspace, multi-sensory, dynamic virtual environments
Temporal representations in human computer interaction: designing for the lived experience of time
A connectionist representation of first-order formulae with dynamic variable binding
SNOOPIE : development of a learning support tool for novice programmers within a conceptual framework
Context classification for improved semantic understanding of mathematical formulae
Task scheduling and merging in space and time
Modelling and control of coupled infinite-dimensional systems
Neural network approach to the classification of urban images
Improved texture feature extraction and selection methods for image classification applications
The implementation of functional languages using custom hardware
Natural language generation as neural sequence learning and beyond
A belief system model for software development : a framework by analogy
Communication protocols for distributed monitoring and control systems
Expressive and modular rule-based classifier for data streams
Projection-based program analysis
Deterministic SpaceWire networks
Content based image retrieval : analogies with text
Natural language processing for aerospace documentation
Developing graph-based co-scheduling algorithms with GPU acceleration
Intelligent methods for locomotion optimisation
Enhancing learning through opening the group model in a synchronous computer-based environment
A domain-extensible compiler with controllable automation of optimisations
A structured approach to identification techniques for the analysis of industrial processes
Global optimal feedback control of nonlinear systems and viscosity solutions of Hamilton-Jacobi-Bellman equations
Hybrid FPGA : architecture and interface
Time persistent feature detection via phase congruency
A network aware adaptable application using a novel content scheduling and delivery scheme
Inferring user needs and tasks from user interactions
Handling imbalanced classes: feature based variance ranking techniques for classification
The theory of explanation applied to medical expert systems
A routing calculas towards formalising the cost of computation in a distributed computer network
Social agency : a formal computational model
Abstractions and formal verification of Max-Plus Linear systems
Is game immersion just another form of selective attention? : an empirical investigation of real world dissociation in computer game immersion
Computer vision for the structured representation and stylisation of visual medial collections
Exploring the use of wearables in the management of mild traumatic brain injury
Genus zero systems for primitive groups of affine type
Protection and security in a technologically advanced society : children and young people's perspectives
Category theory for quantum natural language processing
Adaptive frameworks for robust myoelectric hand gesture prediction using machine learning and deep learning
Application of machine learning to financial time series analysis
Artificial intelligence for optimisation and demand side response in built environment
Multimodal word sense translation
Face recognition in uncontrolled environments
Synthesis of stochastic learning automata
Practical issues of ontology design, evaluation and reuse: a case study in chemical and process engineering
Coordination and concurrency in workflow management systems
A genetic algorithm for reservoir characterisation using production data
Visual rhetoric and the design of animated help
Deep learning based approaches for imitation learning
Supporting long-running applications in shared compute clusters
Enhancing usability using automated security interface adaptation (ASIA)
Adaptive network traffic management for multi user virtual environments
Biometric presentation attack detection for mobile devices using gaze information
A resource aware distributed LSI algorithm for scalable information retrieval
Learning to hash for large scale image retrieval
Self-concatenated coding for wireless communication systems
Noisy language modeling framework using neural network techniques
Self-beliefs in the introductory programming lab and game-based fantasy role-play
Real-time and interactive computer graphics in grid environments
Data-driven techniques for animating virtual characters
Peer agency
Abstract interpretation and optimising transformations for applicative programs
Real-time emotion recognition, adaptation and interaction using physiological signals
A closer look at adaptation mechanisms in simulated environment-driven evolutionary swarm robotics
Use of the concept of situation room analysis and the relevant enabling technologies to support collaboration in the IT product development
Dot.com versus dot.gov : states, international businesses and an international regime for information assurance
The development and application of a language for describing engine management strategies
An architecture for the notification, storage and retrieval of events
A series of case studies to enhance the social utility of RSS
Continuous latent variable models for dimensionality reduction and sequential data reconstruction
Discrete-event simulation on the bulk-synchronous parallel model
Intelligent side information generation in distributed video coding
Pupils' views and experience of ICT in secondary schools
Automated anomaly recognition in real time data streams for oil and gas industry
Integrable systems, random matrices and applications
Type-Checking Systems with Particular Applications to Functional Languages
Performance modelling and optimization for video-analytic algorithms in a cloud-like environment using machine learning
Probabilistic modeling of rumour stance and popularity in social media
A framework for immersion in virtual reality
Evolutionary optimisation approach for the single and multiple-port berth allocations and Quay Crane Assignment Problem
Model predictive control applications in continuous and batch processes
The influence of leadership on the adoption of agile practices and principles in software development teams
Integer programming: theory and practice
Learning behaviours in multi-agent systems
Investigating human-perceptual properties of "shapes" using 3D shapes and 2D fonts
Formal method for the retrospective specification of the functionality of existing software systems
Biometric face image representation and recognition
Developing error handling software for object-oriented geographical information
Molecular graphics: protein visualization
Device-type profiling using packet inter-arrival time for Network Access Control
A framework for machine intelligence based on the pragmatic approach
Service composition based on SIP peer-to-peer networks
Studies on customisation-driven digital music instruments
A hybrid technique for tracking network structured multiple deformable objects
Application of software engineering methodologies to the development of mathematical biological models
An investigation into the effects of multipath interference and their significance in the design of radio frequency identification systems
SNAP : a distributed authentication protocol
Compressing labels of dynamic XML data using Base-9 scheme and Fibonacci encoding
Partitioning object-oriented source code for inspections
An investigation into expanding the capabilities of peer-to-peer networks: combining centralized network infrastructure into decentralized peer-to-peer network topology
Audio equalisation using natural language
Formal methods and reuse in software engineering
Image coding employing vector quantisation
Aspects of implementation of a functional programming language using combinators
Protection performance study for secondary systems with IEC61850 process bus architecture
Elastic network control
Learning for text mining : tackling the cost of feature and knowledge engineering
Hidden Markov models with variational inference in marketing science
Phase-based adaptive dynamic load balancing for parallel tree computation
Reducing the cost of heuristic generation with machine learning
Immersive ideals/critical distances: a study of the affinity between artistic ideologies based in virtual reality and previous immersive idioms
A GPU parallel approach improving the density of patch based multi-view stereo reconstruction
Types, categories, actions
The architecture of discovery net : towards grid-based discovery services
A Display System for Computer Generation of Images
On the dynamics and control of nonlinear diagonal systems by the linear time-varying approximation technique
Adaptive 3D web-based environment for heterogeneous volume objects
Representations and completions for ordered algebraic structures
Documentation use in component-based software composition
A novel model for word sense disambiguation
Improvement of movement function using bespoke virtual reality based computer games
Contextual modulation of visual variability: perceptual biases over time and across the visual field
The development and application of online modelling methods
Evolutionary approaches for network coding based multicast routing problems
Animating character locomotion using biomechanics based figure models
A graph theoretic approach to transputer network design for computer vision
Improving the quality and security of probabilistic search in peer-to-peer information retrieval systems
Zero-shot visual recognition via latent embedding learning
The limits of a decoupled out-of-order superscalar architecture
An image-based approach to the rendering of crowds in real time
Exploiting distributed software transactional memory
A computer aid for management
A predictive fault-tolerance framework for IoT systems
Expertise, motivation and teaching in learning companion systems
MP : an application specific language
Intelligibility model optimisation approaches for speech pre-enhancement
A database query language for operations on historical data
Portable implementations of nested data-parallel programming languages
Parameter optimisation for search heuristics via a barrier tree Markov model
Near real-time threat assessment using intrusion detection system's data
Heuristics for AI planning in hybrid systems
Optimising subdomain aspect ratios for parallel load balancing
Cognitive error analysis in accident and incident investigation in safety-critical domains
Machine learning techniques for high dimensional data
Adaptive pattern recognition in a real-world environment
Fault detection and rectification algorithms in a question-answering system
A study on the effects of variability on performance of CNFET based digital circuits
A framework for the development of generic virtual reality systems
Necessary Conditions in Optimal Control
Extensible metadata management framework for personal data lake
A probabilistic neural network for associative learning
An event model for content-based video interaction
GRUE : an architecture for agents in games and other real-time environments
Inline and sideline approaches for low-cost memory safety in C
Non-orthogonal random waveform based multiuser communications
Foci and centres in the design and use of pattern languages
The design and implementation of a multicomputer numerical control system
Enhancing the usability of rely-guarantee conditions for atomicity refinement
Expert systems for fault analysis
Communications software for use with an X-25 base local area data network
Hardware and algorithm architectures for real-time additive synthesis
Data structure for knowledge bases
An investigation of neural networks for image processing techniques
Soft shadow removal and image evaluation methods
A constructive paradigm of hierarchical planning
The design and implementation of RRCGS (Retargetable RISC Code Generator for the SUIF)
Novel algorithms for the soft-systolic paradigm
A biodiversity approach to cyber security
Probabilistic epistemic reasoning about actions
Learning techniques for expert systems : an investigation, using simulation techniques, into the possibilities and requirements for reliable un-supervised learning for industrial expert systems
Performance modelling of applications in a smart environment
Point processes and time series analysis : theory and applications to complex physiological problems
Scalable, data-driven brain decoding using functional MRI
Logic programming : operational semantics and proof theory
Decentralised multi-robot systems towards coordination in real world settings
Explorations in anaphora resolution in artificial neural networks : implications for nativism
A mixed methods approach to understanding cyber-security vulnerability in the baby boomer population
Bandwidth-aware distributed ad-hoc grids in deployed wireless sensor networks
Accounting for software in the United States
Visual analysis of large, time-dependent, multi-dimensional smart sensor tracking data
Discrete-time queueing model for responsive network traffic and bottleneck queues
Automatic analysis of malaria infected red blood cell digitized microscope images
The covering radius of long primitive ternary BCH codes
Refactoring proofs
Benchmarking purely functional data structures
Improving classification through co-training approaches
Data on manifolds : Reliable representations and visual computing application
Linking Arabic social media based on similarity and sentiment
Capacity planning in virtualised environments using model driven engineering
Biometric identification using user interaction with virtual worlds
Information-theoretic models of communication in biological systems
Optimal feature selection and machine learning for high-level audio classification: a random forests approach
Applications of Network Synthesis Techniques To Linear Mechanical Vibrating Systems
Higher-order proof translation
Requested resource reallocation with retiming : an algorithm for finding non-dominated solutions with minimal changes
Competitive analysis of k-server variants and metrical task systems
Detecting deceptive behaviour in the wild: text mining for online child protection in the presence of noisy and adversarial social media communications
On-the-fly dense 3D surface reconstruction for geometry-aware augmented reality
Data mining for heart failure : an investigation into the challenges in real life clinical datasets
Lagrangean heuristics for vehicle routing
3D panoramic imaging for virtual environment construction
Towards efficient big data processing in data centres
On-line adaptive control of a multivariable fermentation process
Machine learning ensemble methods for classifying multi-media data
Video quality and QoS-driven downlink scheduling for 2D and 3D video over LTE networks
Automatic handwriter identification using advanced machine learning
A planning approach to migrating domain-specific legacy systems into service oriented architecture
The acquisition of a unification-based generalised categorial grammar
An investigation into the use, application and evaluation of intelligent agents
The design of a monitor for a multi-microprocessor
Optimality and iterative learning control : duality and input prediction
Distributed proximity query processing
Portfolio liquidity risk management with expected shortfall constraints
Putting the user at the centre of the grid : simplifying usability and resource selection for high performance computing
Hellenic Local Government Management System using IDEFO methodology
Developing scaffolded virtual learning environments for people with autism
The development of a multi-layer architecture for image processing
Description and application of the correlation between gaze and hand for the different hand events occurring during interaction with tablets
Human recognition based on palm patterns
Effect of cognitive biases on human understanding of rule-based machine learning models
Integration of technical trading behaviour in asset pricing
Classifiers for machine intelligence
Modelling large scale enterprises : a distributed simulation approach
Parameterised algorithms for counting subgraphs, matchings, and monochromatic partitions
From components to compositions: (de-)construction of computer-controlled behaviour with the robot operating system
Verification of floating point programs
The development of processing schedules when successful service completion is unobservable and/or uncertain
Quantum-classical generative models for machine learning
A language for the expression of parallel structure
Computational intelligence for analysis concerning financial modelling and the adaptive market hypothesis
A fuzzy probabilistic inference methodology for constrained 3D human motion classification
Quantified evaluation of the significance of higher order effective moments and dielectrophoretic forces
A scalable demonstrator for trapped-ion quantum computing using modules connected by electric fields
Assessing the impact of processor design decisions on simulation based verification complexity using formal modeling with experiments at instruction set architecture level
Data sampling strategies in stochastic algorithms for empirical risk minimization
Extensions and applications of dynamic epistemic logic
An object-centred interpretation of the blackboard architecture for knowledge-based programming
The optimization of control systems by the hill-climbing technique
Probabilistic fuzzy logic framework in reinforcement learning for decision making
Bandit algorithms for searching large spaces
QoS charging for Internet access networks : the wireless QoS gateway
Aggregating and analysing opinions for argument-based relations
A specification method for the scalable self-governance of complex autonomic systems
Investigating into cloud resource management mechanisms
Meta-data to enhance case-based prediction
Compressive sensing for microwave and millimeter-wave array imaging
Normative organisational modelling using intelligent multi-agent systems
Mobile learning security in Nigeria
Task-oriented joint design of communication and computing for Internet of Skills
Consistency and composition of process specifications
Strategic planning for information systems : a sociotechnical view of boundary and stakeholder insufficiencies
Visual speech synthesis by learning joint probabilistic models of audio and video
Phenomenal regression as a potential metric of veridical perception in virtual environments
A microprocessor based system for education and training
Urban visualisation: the role of situated technology interventions in facilitating engagement with local topics
Restarted Lanczos algorithms for model reduction
Large scale estimation of distribution algorithms for continuous optimisation
Prioritisation in digital forensics: a case study of Abu Dhabi Police
On the identification of security vulnerabilities
Geographical veracity of indicators from mobile phone data: a study of call detail records data in France
Nonlinear statistical approach for 2.5D human face reconstruction
Improving automated protocol verification: real world cryptography
Requirements specification using concrete scenarios
Constraint based event recognition for information extraction
Adaptive evaluation of non-strict programs
Types, modularisation and abstraction in logic programming
Logical aspects of probability and quantum computation
The serial solution of partial differntial equations on a hybrid computer
Uncertainty in neural networks: Bayesian ensembles, priors & prediction intervals
Predicting the cost of software development based on a formal specification
Automated theorem proving in higher-order logic
Enhancing the accuracy and efficiency of network performance measurement
Some Aspects of Character Recognition in Context
Probabilistic independence and its impact on the use of maximum entropy in casual networks