yusuke1997/dblp-id-title huggingface dataset:
Improving coding and data management for discourse analysis : a case study in face-to-face and computer-mediated classroom interaction
Towards autonomous sample positioning for ultra high vacuum chambers
Single and multiple target tracking via hybrid mean shift/particle filter algorithms
Explorations into interactions between learning and evolution using genetic algorithms
Asynchronous iterative solution for dominant eigenvectors with applications in performance modelling and PageRank
Agents, contexts, and logic
Automatic role recognition
Computer modelling of English grammar
LFTOP : An LF based approach to domain specific reasoning
Bayesian approaches to tracking, sensor fusion and intent prediction
A user centred perspective on structured data discovery
On the theory of generalization and self-structuring in linearly weighted connectionist networks
Evolution transparency for distributed service types
Gait analysis and recognition for automated visual surveillance
Modelling bursty flows with fluid queues
Carrier signal injection based sensorless control of permanent magnet brushless AC machines
Representing logics in type theory
An investigation into a distributed virtual reality environment for real-time collaborative 4D construction planning and simulation
Strategies for optimising DRAM repair
Mobile social networking aided content dissemination in heterogeneous networks
Decentralised coalition formation methods for multi-agent systems
Software restructuring: understanding longitudinal architectural changes and refactoring
The object-oriented composition of DES simulation software from prefabricated components developed within different programming environments
3D hand pose estimation using convolutional neural networks
Per interest-point local descriptors and detecting people in artwork
Muon Ionisation Cooling Experiment: the design and implementation of the Geometry Handling System and characterising of the EMR's scintillating bars
A decomposition-based ecosystem-inspired approach for solving real-world logistics problems
Automated reasoning for reflective programs
Mapping numerical software onto distributed memory parallel systems
Artificial self-awareness for robots
Criminal data analysis based on low rank sparse representation
How can digital educational games be used to improve engagement with mathematics in the classroom?
Automatic identification of genre in Web pages
Reverse-engineering the visual and haptic perceptual algorithms in the brain
Transformation of the university examination timetabling problem space through data pre-processing
Snap-drift neural computing for intelligent diagnostic feedback
Implementation of committed choice logic languages on shared memory multiprocessors
3D hand pose regression with variants of decision forests
System specification: a deontic approach
Autotuning wavefront patterns for heterogeneous architectures
Synthesised speech aids for the vocally handicapped
Robotic manipulators for single access surgery
Automated analysis of cellular signalling parameters based on images and videos of fluorescence microscopy
Behaviour classification for temporal data with limited readings
Cross-lingual automatic speech recognition using tandem features
The application of range imaging for improved local feature representations
A framework for evolving grid computing systems
Logics and reasoning for computational creativity
Edge-based operators for graph characterization
Deep learning for audio effects modeling
Semantic based content search and content summarization
Autopoietic approach to cultural transmission
Investigating connectivity in brain-like networks
Source-to-source compilation of loop programs for manycore processors
Structure, entropy and evolution of systems of cities
Domain-specific and reconfigurable instruction cells based architectures for low-power SoC
Real-time computer animations and the study of visual responses in crabs
Links personalisation with multi-dimensional linkbases
Compilation techniques : An investigation into throw-away compilers
Impromptu : software framework for self-healing middleware services
Image reconstruction under visual disruption caused by rain
Evolutionary algorithms in clustering: challenging problem generation and search space adaptation
PCI express performance and energy optimisation with parallel data compression
Reducing head mounted display VR sickness through dynamic field of view constriction
Energy-efficient and network-aware message scheduling in internet of things environment
Machine learning of projected 3D shape
A framework for self-adaptive networked appliances
Information-theoretic measures of predictability for music content analysis
Slicing statecharts
Enhancing security risk awareness in end-users via affective feedback
Generic model for application driven XML data processing
An expert system for MMIC amplifier design
Trace monitoring with free variables
Parallel algorithms for asynchronous multiprocessors
A scalable architecture for the demand-driven deployment of location-neutral software services
Collaborative sensemaking
An extension to the OSI model of network management for large-scale collaborative performance measurement
Hardware and software for the implementation of generic associative operations in database systems
Investigation of artificial neural networks for forecasting and classification
Interactive computer graphics in multivariate statistical research
Control-theoretic approaches for efficient transmission on IEEE 802.11e wireless networks
Lossless compression with latent variable models
An architectural approach for reasoning about trust properties
Completeness in languages for attribute-based access control
A computational model and knowledge based system for well completion design
A real-time messaging system for distributed computer control systems
Prolog and expert systems
Information fusion for automated question answering
Neural diagrammatic reasoning
How manufacturing can learn from nature : exploration of ecological resilience
Detecting underwater man-made objects in unconstrained video images
Microfluidic electrophysiological device for genetic and chemical biology screening of nematodes
The application of constraint rules to data-driven parsing
Logical methods for property testing in the bounded degree model
Parallel algorithms for fuzzy data processing with application to water systems
Mathematical and computational modelling of tissue engineered bone in a hydrostatic bioreactor
A platform for implementing object-oriented databases based on KBZ
Automatic 3D facial modelling with deformable models
Graph states in large-scale integrated quantum photonics
Authentication and pairing using human body impedance
Evolving Intelligent Systems with a Neuro-Fuzzy Model
Particle swarm optimization aided MIMO transceiver design
Applications of Morphological Operators on Field Programmable Gate Arrays
Measuring perceived gloss of rough surfaces
Computer simulation studies of magnetic nanostructures
New techniques for learning parameters in Bayesian networks
The application of classical conditioning to the machine learning of a commonsense knowledge of visual events
High-resolution finite volume methods for hydraulic flow modelling
Automatic verification of temporal and timed properties of control programs
Virtualized dynamic resource allocation algorithm for the internet DiffServ domains
Code memory compression technologies for embedded arm/thumb processors
Data as infrastructure for smart cities
An algebraic approach to compiler design
A hybrid MIMD/DF compiler for parallel processing
On the application of artificial intelligence and human computation to the automation of agile software task effort estimation
A framework for usable and secure system design
Higher-order central-moment neural architectures
J-model : an open and social ensemble learning architecture for classification
Holoscopic 3D imaging and display technology: camera/processing/display
Mapping unstructured mesh codes onto local memory parallel architectures
Modelling and reasoning with quantitative representations of vague spatial language used in photographic image captions
Statistical properties of large complex systems
Language structures for modular multiplanning
Modelling and verification of embedded systems based on Petri net oriented representations
Anomalous behaviour detection using heterogeneous data
Scalable cross-layer wireless medium access control
Presence and performance of mobile development approaches
Photonic devices for sensing and security applications
A generic feedback mechanism for component-based systems
The formal generation of models for scientific simulations
The role of offline ties in online communities: the case of Wikipedia
Heuristics for computing sparse solutions for ill-posed inverse problems in signal and image recovery
Modelling, analysis and feedback control design for upright standing sways
Observational models of requirements evolution
Investigation of the process and practice of animatronics
An ontology model supporting multiple ontologies for knowledge sharing
Enhancing the Bees Algorithm using the traplining metaphor
Inheritance in systems comprising reactive components : a behaviour perspective
Logic and handling of algebraic effects
Human error analysis for collaborative work
A correspondence between denotational semantics and code generation
The playthrough evaluation framework : reliable usability evaluation for video games
The perception of depth in desktop virtual environments
Open objects: a lightweight and decentralised framework for the Internet of Things
Rate control based video coding
From crash tolerance to Byzantine tolerance : fail signalling dependable distributed systems
Vector microprocessors for cryptography
Time synchronization and its applications in wireless sensor networks
Flexible duplex transceiver: architecture optimisation and performance evaluation
Novel power scaling architectures for fibre and solid-state sources
Chaotic exploration and learning of locomotor behaviours
Probabilistic retrieval models : relationships, context-specific application, selection and implementation
Improvement of High Rate Wireless Personal Area Network Protocol (IEEE 802.15.3)
A QoS framework for modeling and simulation of distributed services within a cloud environment
Towards a theoretical understanding of an international, largely 'virtual', learning community of teachers using ICT in their teaching of environmental studies
A scalable distributed search engine for images : partitioning the image database for optimal retrieval
Secure and robust packet forwarding for next generation IP networks
Consequence-based reasoning for SRIQ ontologies
Investigation of Boolean neural networks on a novel goal-seeking neuron
Automating data management in science and engineering
On the enhancement of data quality in security incident response investigations
Investigating how computational tools can improve the production process of stop-motion animation
Control and communication in developing countries : a cybernetic analysis and a proposed solution, exemplified by a distributed database system for the implementation of a national plan
Mathematical modelling and analysis: adoption of Blockchain-based technologies, and coupled oscillators with distributed delays
Iconic indexing for video search
Computer recognition of three dimensional objects and their visible edges by shadows
Web design : the generic structures of corporate web sites and web pages
A Search-Based Framework for Security Protocol Synthesis
Deep face tracking and parsing in the wild
A new approach for improving system availability
A multiresolution framework for computer vision-based autonomous navigation
Network firewall dynamic performance evaluation and formalisation
Hacking into the emotion-creativity link : two new approaches to interactive systems that influence the relationship between emotion and creativity
Knowledge engineering techniques for automated planning
Hardware/software partitioning and scheduling for reconfigurable systems
The interlocutory tool box: techniques for curtailing coincidental correctness
Engineering the performance of parallel applications
An exploration of digital technology over a number of manipulated textile surfaces
Telecommuting choice modelling using fuzzy rule based networks
Data-driven temporal information extraction with applications in general and clinical domains
Novel view synthesis
An investigation into the blogging practices of academics and researchers
Delving deep into the sketch and photo relation
A framework for Web-based immersive analytics
Analyzing and evaluating the use of visemes in an interpolative synthesizer for visual speech
A classification model for human error in collaborative systems
Statistical issues in oncologic clinical drug development
Interconnection of high-speed LANs
Mechanizing structural induction
A prototype Syntax Driven Language Editor
Parallel domain decomposition preconditioning for the adaptive finite element solution of elliptic problems in three dimensions
Polynomial function approximation and its application to deep generative models
Finding hidden semantics of text tables
Automatic handling in production processes
Automatic Learning Control Using Fuzzy Logic
A distributed processing framework with application to graphics
Quality-aware overload management for stream processing
Enhancing productivity and performance portability of OpenCL applications on heterogeneous systems using runtime optimizations
Investigating stakeholder evaluation within rapid application development
Automatic Image Annotation and Categorization
Semantics and type checking of dependently-typed functional programs
Scalable Internet auctions
Information seeking, gathering and review : journalism as a case study for the design of search and authoring systems
QBF proof complexity
Robust online subspace learning
Scheduling and resource efficiency balancing: discrete species conserving cuckoo search for scheduling in an uncertain execution environment
Methodological support for developing complex information systems
A hierarchically organised genetic algorithm for fuzzy network synthesis
On three use cases of multi-connectivity paradigm in emerging wireless networks
Telecommunications management network : a novel approach for its architecture through software platforms
A lambda-calculus that achieves full laziness with spine duplication
Dynamic service chain composition in virtualised environment
Neural networks and search landscapes for software testing
Computable metamathematics and its application to game theory
The design and implementation of a relational programming system
Event identification in social media using classification-clustering framework
Dynamical systems theory for transparent symbolic computation in neuronal networks
Symmetries of Curves and Surfaces
Riddle posed by computer (6) : the computer generation of cryptic crossword clues
Supporting the development of mobile context-aware systems
Architectural stability of self-adaptive software systems
A method for limited speech recognition on a small computer
The implementation of a portable software platform
Easing the creation and maintenance of software systems through the use of domain machines
Automatic CNN channel selection and effective detection on face and rotated aerial objects
KAT-MeD : a task and model driven knowledge acquisition tool for medical diagnosis
Specification and use of component failure patterns
Computational antibody repertoire analysis and design
Gait recognition based on 2D and 3D imaging features
Probabilistic concurrent game semantics
Investigation into computer modelling, simulation and control of the stirling engine
Learning methods for robust localization
Parallel data processing for semistructured data
An investigation of persistence in temporal reasoning
Parallel methods for systems of nonlinear equations applied to load flow analysis
Knowledge selection for planning in complex domains
Active Learning for drug discovery
MARIAN : a hybrid, metric-driven, agent-based routing protocol for multihop ad-hoc networks
Pattern classification and the analysis of training sets
Formal analysis of security protocols based on web services
Practical measurement-based modeling and rendering of surface diffraction
Resource allocation in energy cooperation enabled 5G cellular networks
Availability, integrity, and confidentiality for content centric network internet architectures
Enhancing word representations for emotional intensity and offensive language detection in Arabic microblog text
Autonomous learning of domain models from probability distribution clusters
Some applications of hierarchical control for dynamics systems
Systematic methods for designing large digital systems
Stereoscopic video coding
Towards more effective testing of communications-critical large scale systems
Three-dimensional imaging and analysis of the morphology of oral structures from co-ordinate data
Exploiting Flickr meta-data for predicting environmental features
From STM to nanomemory : a transfer of technology feasibility study
Open-textured law, expert systems and logic programming
An integrated modeling framework for concept formation : developing number-sense, a partial resolution of the learning paradox
Practical free-space quantum key distribution
Entity-based coherence in statistical machine translation : a modelling and evaluation perspective
Evolution of network computing paradigms : applications of mobile agents in wired and wireless networks
Design and control of microfabricated ion traps for quantum computing
Improving scalability of large-scale distributed Spiking Neural Network simulations on High Performance Computing systems using novel architecture-aware streaming hypergraph partitioning
An analysis of certain storage allocation policies
Reducing animator keyframes
Requirements-driven adaptation of choreographed interactions
Corealisation : a radical respecification of the working division of labour in systems development
Decision-making and action selection in honeybees: a theoretical and experimental study
Cooperatively combining program verifiers: foundations and tool support
A goal directed learning agent for the Semantic Web
Algorithms and models for optimal power management on smartphones
Facilitating the comprehension of human-computer interaction design intent within a software team
Mixed-initiative natural language dialogue with variable communicative modes
Some results on circuit depth
A behavioural study in runtime analysis environments and drive-by download attacks
Flexible photo retrieval (FlexPhoReS) : a prototype for multimodel personal digital photo retrieval
Algebraic models for advanced microprocessors
Inferring information about correspondences between data sources for dataspaces
Fabrication and characterization of biomimetic antireflective surfaces with reduced glare
Illumination for mixed reality of complex-to-model scenes
On the development of a stochastic optimisation algorithm with capabilities for distributed computing
Towards the neurocomputer : an investigation of VHDL neuron models
Feature analysis of hyperspectral images for plant classification
A web-based approach to engineering adaptive collaborative applications
Ensemble learning for spiking neural networks
A decentralised graph-based framework for electrical power markets
Emotional responses in virtual reality environments
Intermediated reality
Compiler-directed energy savings in superscalar processors
The role of space in social groups: analysis and technological applications
Detecting anomalies in multivariate time series from automotive systems
A framework to support developers in the integration and application of linked and open data
Generating vague geographic information through data mining of passive web data
Chromatic monitoring with the use of embedded systems
Bioinformatics approaches for assessing microbial communities in the surface ocean
Instantaneous user identification for personalized interaction on shared surfaces
Holistic approach framework for cloud computing strategic decision-making in the healthcare sector (HAF-CCS)
The automatic design of experiments: some practical algorithms
Security and collaborative groupware tools usage
On the verification of dynamic programming for singular stochastic control systems
Integrated innate and adaptive artificial immune systems applied to process anomaly detection
Stochastic optimization on Riemannian manifolds
The role of intervention in strategic change
Karmarkars' algorithm: extensions and implementation
Increasing robustness, generalisation, and confidence in modular neural networks using a divide-and-conquer strategy
Audio-visual speaker separation
Quantum machine learning for classical data
A Theory of Database Schemata : Studies in Conceptual and Relational Schemata
Scaling kNN queries using statistical learning
A method for the architectural design of distributed control systems for large, civil jet engines : a systems engineering approach
Recursive query processing in deductive databases using graph traversal and rule compilation techniques
Development and evaluation of a holistic framework and maturity assessment tools for data governance in cloud computing environments
Extensible and robust functional reactive programming
Extracting place semantics from geo-folksonomies
A case study of balance and integration in worth-focused research through design
The colour concept generator : a computer tool to propose colour concepts for products
Activity recognition in naturalistic environments using body-worn sensors
Using reinforcement learning in solving exam timetabling problems
Feature selection and casual discovery for ensemble classifiers
Supporting policy-based contextual reconfiguration and adaptation in ubiquitous computing
Network traffic measurement for the next generation Internet
Modular reasoning about combining modular compiler phases
An advanced filestore architecture for a multiple-LAN distributed computing system
The development of a multi-arm mobile robot system for nuclear decommissinging applications
Improved logic optimisation for field programmable gate arrays
On-board and off-board data platforms: innovation report
JACIE: a scripting language for Internet-based multimedia collaborative applications
Exploring the influence of privacy awareness on the Privacy Paradox on smartwatches
Train driver scheduling with windows of relief opportunities
Synthesizing imperative distributed-memory implementations from functional data-parallel programs
Resource control of untrusted code in an open programmable network
Adapting compiler front ends for generalised parsing
Design, fabrication, and characterization of magnetic nanostructures
The design of a portable translator of systems programming languages
Speech-enabled application development for young children
Computational metaphor processing
An investigation into specifying code generators for metaCASE tools via an output grammar approach
A framework for the visualisation and control of ubiquitous devices, services and digital content
Non-Euclidean geometries and transformation optics
Quantifying information flow with constraints
Gaussian processes for hybridisation of analytical and data-driven approaches for design of experiments
Search in weighted constraint satisfaction problems
Speaker normalisation for large vocabulary multiparty conversational speech recognition
Quality-driven multi-user resource allocation and scheduling over LTE for delay sensitive multimedia applications
Recurrent neural network language models for automatic speech recognition
Semiotic term expansion as the basis for thematic models in narrative systems
An interactive talking head
Markowitz minimum variance portfolio optimization using new machine learning methods
Multi criteria decision making methodology for fuzzy rule based systems and networks using TOPSIS
Real-world human re-identification: attributes and beyond
In search of the DomoNovus: speculative designs for the computationally-enhanced domestic environment
Quantitative analysis of plant root system architecture