yusuke1997/dblp-id-title huggingface dataset:
The construction of a virtual multicomputer based on heterogeneous processors by use of a lightweight multicast protocol
Reference object choice in spatial language : machine and human models
A new model for the development of information systems
Computing degree-1 L-functions rigorously
Higher-order model checking with traversals
Action systems, determinism and the development of secure systems
Hierarchical wireless framework for real-time collaborative generation and distribution of telemetry data
Face recognition and face detection based on wavelets and neural networks
The enhancement of Arabic information retrieval using Arabic text summarization
Evaluation of using Web 2.0 technologies in diabetes education for adolescent and young patients
A portable natural language interface from Arabic to SQL
Visual search and task-irrelevant shape information in autism spectrum disorder
A machine learning framework for securing patient records
An information flow frame work of representation and its application to semantic integration
WikiSensing : a collaborative sensor management system with trust assessment for big data
Adaptive performance control for scientific coupled models in heterogeneous and dynamic distributed environments
A practicable consistency scheme for file replication
Abstraction discovery and refinement for model checking by symbolic trajectory evaluation
Polynomial approximations for infinite-dimensional optimization problems
Aspects of qualitative consciousness : a computer science perspective
Real-time pricing algorithms with uncertainty consideration for smart grid
Metastability : an emergent phenomenon in networks of spiking neurons
Nonparametric pixel-wise background modelling and segmentation to detect moving object with RGB-D camera
A flexible multiprocessor resource sharing framework for Ada
Fast variational methods for non-Gaussian likelihoods
General and automatic visualizations
Applications of signal detection theory to the performance of imaging systems, human observers and artificial intelligence in radiography
The contestation of code : a political economy of free software and open source
The design of a control system for the mitigation of vibration in variable speed screw compressor systems
Deep multi-view learning for visual understanding
Comparative approaches to building expert systems for health care
A modular hierarchy of logical frameworks
Interactive feedforward in high intensity VR exergaming
Motion design, control and implementation in robot manipulators
The effectiveness of the social network in higher education in Saudi Arabia : action research to develop an e-learning conceptual model based on blog tools
A process and storage management scheme as a level within an operating system
Exploration of scaling properties in cloud data centres
Accuracy estimation for sensor networks
Anonymous authenticated announcement schemes in vehicular ad hoc networks
Framework for scaffolded adaptive life-long humanoid learning: humanoid robot learning from human action skills
An empirical investigation into software effort estimation by analogy
A quantitative approach to the analysis of memory requirements for autonomous agent behaviours using evolutionary computation
First-order logic applied to the description and derivation of programs
Evolving intelligent systems for ubiquitous computing technologies
Power Efficient Signal Processing in Reconf0igurable Computing
New methods for the tractability of constraint satisfaction problems
The construction and evaluation of statistical models of melody and harmony
The minimum description length method with an application to the visual estimation of vehicle trajectories
Time-parallelisation techniques with applications to plasma simulation
BERyL: unified approach to web block classification
Managing cybersecurity and privacy risks of cyber threat intelliegence
Hand gesture discrimination with passive infrared sensor arrays
Reachability relations in selective regression testing
Homogeneous to heterogeneous Face Recognition
A trust framework for peer-to-peer interaction in ad hoc networks
Theory and application of the finite element method
Functional relevance of inhibitory and disinhibitory circuits in signal propagation in recurrent neuronal networks
Bio-inspired approaches to the control and modelling of an anthropomimetic robot
Intraoperative imaging and tool tracking for robotic surgery
Improving fault coverage and minimising the cost of fault identification when testing from finite state machines
Database access control by logic planning
Holoscopic 3D perception for autonomous vehicles
Machine learning methods for vector-based compositional semantics
Multi layered radial basis function networks and the application of state space control theory to feedforward neural networks
Collision detection in distributed interactive simulation
Game-theoretical approaches to decentralised optimisation
The usefulness of case in plastic user interfaces
3D-simulation of packing of aggregates with realistic morphology and size distribution, by using a real-time physics' engine
Regulating the technological actor : how governments tried to transform the technology and the market for cryptography and cryptographic services and the implications for the regulation of information and communications technologies
Cold-start collaborative filtering
Data re-engineering using formal transformations
An active router architecture using programmable hardware
Analysis of some algorithms for use on paged virtual memory computers
Formalising cryptography using CryptHOL
Layered AI architecture for team based first person shooter video games
Abstraction-level functional programming
The information/guarantees balance: protecting informational privacy interests within the European data protection framework
Component-based simulation
Process-Oriented Patterns for Concurrent Software Engineering
A computational logic approach for Web site synthesis and management
Formal verification of privacy in pervasive systems
Feature-based affine-invariant detection and localization of faces
Shakespeare and the idea of the book
Compositional specification and reachability checking of net systems
Biologically plausible attractor networks
An exploration of the application of software architecture evaluation techniques to the domain of service design
Planning multisentential English text using communicative acts
Standard cell and full custom power-balanced logic : ASIC implementation
Semantic indexing via knowledge organization systems : applying the CIDOC-CRM to archaeological grey literature
The implementation of dynamic assignment of rights, responsibilities and sanctions to external agents in normative multiagent systems
On hereditary Harrop formulae as a basis for logic programming
Exploiting development to enhance the scalability of hardware evolution
High-fidelity rendering on shared computational resources
Automatic detection of human skin in two-dimensional and complex imagery
Deep ensemble learning-based quality control for automatic segmentation in cardiovascular magnetic resonance imaging
An ontology-driven approach for developing learning object repository for construction using semantic web
Optimising runtime reconfigurable designs for high performance applications
A textual transmission model of readership and hypertext
Records, variants and qualified types
Familiarity effects in visual word recognition
The rôle of metaphor in the teaching of computing : towards a taxonomy of pedagogic content knowledge
How is an ant navigation algorithm affected by visual parameters and ego-motion?
Exploring a semiotics of new media
Computer simulations of exchange bias : the Role of the antiferromagnet
A distributed real-time operating system for a multi-processor StrongARM network
An algorithmic investigation of conviction narrative theory: applications in business, finance and economics
Text extraction and Web searching in a non-Latin language
Quantifying the stability of feature selection
Qos-enabled streaming of animated 3-D wireframe models
Microcontroller-based transient signal analysis and distributed system for intelligent process monitoring
Negative correlation in neural systems
Representations in constraint programming
A study of techniques for handling Pascal on a Prolog-like machine
Digital control of systems with time delay elements
An agent-based framework to support adaptive hypermedia
Motivated inductive discovery
Understanding mobile network quality and infrastructure with user-side measurements
Modularity and code generation in an extended programming language
Solution of time domain integral equations on distributed memory parallel processing systems
Hyper-heuristics and fairness in examination timetabling problems
Face recognition in low resolution using a 3D morphable model
An evaluation of the multimedia personal computer as an assessment tool
Vector offset operators for deformable organic objects
Evolving hierarchical visually guided neural network agents to investigate complex interactions
An investigation into cooperative behaviour : altruism and evolutionary computing
Pervasive interactive programming: empowering end users to customise digital homes
Analysis and inference for English
Smart card security
Objective assessment of speech intelligibility
Knowledge-based conceptual design of robot grippers
Scheduling security model for a cloud environment
Featured anomaly detection methods and applications
An investigation of apertures in dual mode rectangular waveguide for variable polarisation arrays
Three essays on growth and innovation of digital platforms
Surface interaction : separating direct manipulation interfaces from their applications
Factors affecting electronic commerce acceptance and usage in Libyan ICT organizations
Minimum Bayes risk acoustic model estimation and adaptation
An entagled Bayesian gestalt : Mean-field, Monte- Carlo and Quantum Inference in Hierarchical Perception
Asymmetric traffic load modelling for local area networks
Geometric control for analysing the quantum speed limit and the physical limitations of computers
Probabilistic non-determinism
Direct integration of electronic digital data processing systems
Argumentation-based dialogues over cooperative plans
Mutual illumination photometric stereo
Designing for cyber security risk-based decision making
Inheritance reasoning : psychological plausibility, proof theory and semantics
A credit-based approach to scalable video transmission over a peer-to-peer social network
An ontology-based approach to web site design and development
Random neural networks and optimisation
Investigating the link between ICT intervention and human development using the capability approach : a case study of the computerised electricity management system
Acquiring syntactic and semantic transformations in question answering
Probabilistic relational data mining with aggregates and hierarchies
Modelling and image processing of microtubule dynamics and organisation
Inference and learning in state-space point process models : algorithms and applications
Exploiting OR-parallelism in Prolog using multiple sequential machines
Speech features and their significance in speaker recognition
A framework for implicit communication in information access
Real-time three dimensional coordinate measurement and analysis : system design, implementation and testing
Policy-driven adaptive protection systems
Performance characterization of computational resources for time-constrained job execution in P2P environments
Strategies and tools for the exploitation of massively parallel computer systems
Optimised cloud-based 6LoWPAN network using SDN/NFV concepts for energy-aware IoT applications
Integration of social sustainability in software requirements using requirements pattern: a case of equality
Asymptotic Modal Control of Singularly-Perturbed Dynamical Systems
ASSOCIATE : the interpretation of ICU data using ASSOCIAtional and TEmporal knowledge
Interpretation and mining of statistical machine learning (Q)SAR models for toxicity prediction
Opportunities for olfactory interaction in an automotive context
Fault tolerance in industrial microprocessor based real time controllers
A formal approach to modelling and verification of context-aware systems
Towards efficient texture classification and abnormality detection
Plasma enhanced chemical vapor deposition of nanocrystalline graphene and device fabrication development
Improving object detection performance by lightweight approaches
Smart identification of MANET nodes using AODV routeing protocol
Towards a hybrid methodology for domain ontology development
Query-driven learning for automating exploratory analytics in large-scale data management systems
Object-based video : integrated segmentation framework and coding quality control
Machine-learning approaches for modelling fish population dynamics
Investigation of a computer-aided detection solution for breast focal asymmetry
Phenotyping cellular motion
Fault injection testing method of software implemented fault tolerance mechanisms of web service systems
Probabilistic verification of satellite systems for mission critical applications
A declarative and fine-grained policy language for the Web application domain
Multimodal feedback for mid-air gestures when driving
Design for outdoor mobile multimedia : representation, content and interactivity for mobile tourist guides
Reasoning with uncertainty using Nilsson's probabilistic logic and the maximum entropy formalism
Neural approaches to discourse coherence : modeling, evaluation and application
Prediction in polyphony: modelling musical auditory scene analysis
Semantic description and matching of services for pervasive environments
An efficient bandwidth reservation scheme for VBR video streaming over the Internet
Advances in generative modelling : from component analysis to generative adversarial networks
Estimating the effort in the early stages of software development
High performance latent dirichlet allocation for text mining
On the automatic recognition of facial non-verbal communication meaning in informal, spontaneous conversation
The Web of community trust : amateur fiction online : a case study in community focused design for the Semantic Web
On the intrinsic control properties of muscle and relexes : exploring the interaction between neural and musculoskeletal dynamics in the framework of the equilbrium-point hypothesis
Influence activities & Big Data: data-intensive transformations or the politics of a practice?
The role of metaphor in user interface design
Quantum coins and quantum sampling
Audiovisual scene synthesis
Combining search strategies for distributed constraint satisfaction
Computer representation of graphical information with applications
The impact of architecture on the performance of artificial neural networks
Fuzzy and random set based induction algorithms
Towards cross media document annotation
The application of systems of orthogonal signals to the solution of optimization problems
Optimum Heating and Optimum Shape Problems in Distributed Parameter Control Theory
Learning with biased data: invariant representations and target labels
Entity coherence for descriptive text structuring
Towards better medication adherence apps: preventing forgetfulness by facilitating the formation of routine-based remembering strategies
Deep learning-based person re-identification
An exploratory study on information system development methodologies adoption: utilizing delphi technique and analytical hierarchy process
Providing concurrent implementations for Event-B developments
The baby project : processing character patterns in textual representations of language
Real-time 3D graphic augmentation of therapeutic music sessions for people on the autism spectrum
Text-independent speaker verification with limited resources
Narratives of ocular experience in interactive 360° environments
Load balancing of irregular parallel applications on heterogeneous computing environments
The Introduction of Self-Doubt into Computer Design
Covert channel vulnerabilities in anonymity systems
Business organisation knowledge management integrated social ontology (BOKMISO) framework for the telecommunication industry in Saudi Arabia and the Gulf States
Advanced design and traffic management methods for multi-service networks
Cheap deforestation for non-strict functional languages
An investigation into defect and fault tolerant interconnect techniques for WASP devices
Constructing 3D faces from natural language interface
An Approach to Incremental Compilation
A computational approach to gestural interactions of the upper limb on planar surfaces
Vortex characteristics of sharp and round step cylinders at high Reynolds numbers
Neural net algorithms for dynamical systems
A transdisciplinary study of embodiment in HCI, AI and New Media
Web engineering for the evaluation of large complex web systems: methodologies in web metrics
Schema mapping generation for autonomous data sources
Polytypic functional programming and data abstraction
A study of grammar-based compression in application to music analysis
Modelling and programming support for parallel discrete event simulation with time warp
Populating virtual urban environments with crowds of pedestrians in real-time
Integration of classical and model-based technologies for the automated synthesis of plans
Performance engineering of hybrid message passing + shared memory programming on multi-core clusters
An exploration of traditional and data driven predictors of programming performance
Next generation analytics for open pervasive display networks
The associative evaluation of logic programs and heuristic search techniques
Simultaneous all-optical processing of wavelength division multiplexing channels
Supply side optimisation in online display advertising
The design of computer instruction sets
A formal approach to analysis and refinement of policies
Improvement of transfer learning techniques in activity recognition
A novel learning algorithm for feedforward neural network
Verification of concurrent safety-critical systems : the compliance-notation approach
Diagnostic and predictive modelling in osteoarthritis using statistical and machine learning tools
Syntactic analysis of LR(k) languages
Machine learning applications for the topology prediction of transmembrane beta-barrel proteins
Strategy and methodology for enterprise data warehouse development : integrating data mining and social networking techniques for identifying different communities within the data warehouse
Dynamic analysis for concurrent modern C/C++ applications
Ray tracing on multiprocessor systems
Visual augmentation for virtual environments in surgical training
Mining and tracking in evolving software
Real-time 3D morphable shape model fitting to monocular in-the-wild videos
Quotient types in type theory
Digital control of synchronous machine drives
Exploring the situated literacy practices involving email in a Further Education college
Language-independent pre-processing of large document bases for text classification
Executive attention, action selection and attention-based learning in neurally controlled autonomous agents
A framework to extend configuration management
Approximate inference in graphical models
Performance management of event processing systems
Single to multiple target, multiple type visual tracking
Virtual environment usability and user competence : the Nottingham Assessment of Interaction within Virtual Environments (NAIVE) tool
Process modelling to support software development under the capability maturity model
Learning with play behaviour in artificial agents
Artful systems : investigating everyday practices of family life to inform the design of information technology for the home
Re-thinking smartness: designing more ethical connected devices for the home
Systematising glyph design for visualization
Efficient magnetic resonance wireless power transfer systems
An ontological approach to model software quality assurance knowledge domain
Digital Control of Electrohydraulic Servos for Interactive Investigations of Objects
Distributed protocols for digital signatures and public key encryption
QoS-aware radio resource management for spectrum sharing radio networks
Ensemble machine learning for individual stock investment
A formal model for personalities, adaptive hyperlink-based systems
Graph-spectral methods for computer vision
A natural language processing framework for automated assessment
Identifying and exploiting structures for reliable deep learning
Identifying success factors in a public sector project : an empirical study of the Malaysian School Computer Laboratory Project
Datalog as a pointcut language
Hydra: a hybrid framework that improves collaborative filtering recommendation quality
Handwritten character recognition using a multi-classifier neuro-fuzzy framework
Estimation of three dimensional structure from passport-style photographic images for enhanced face recognition performance in humans
Integrating text-mining approaches to identify entities and extract events from the biomedical literature
Content based video database retrieval using shape features
An orthogonal framework for fault tolerance composition in software systems
Optimising data centre operation by removing the transport bottleneck
Machine learning ensemble method for discovering knowledge from big data
An investigation into transport protocols and data transport applications over high performance networks
Cross-layer operation aided wireless networks
Pay-as-you-go instance-level integration
Towards automated formal analysis of model transformation specifications
Automatic generation of VHDL-AMS from UML representations of mixed signal systems
Intelligent explanation from expert systems
A middleware approach to building content-centric applications
Low-bit-rate joint source-channel decoding aided wireless video communications
Enhancements for the Bees Algorithm
A mechanism to facilitate the accessibility of data within a manufacturing company
Functional programs as reconfigurable networks of communicating processes
Updating RDF in the semantic web
Online adaptation for autonomous agents in interactive environments
Exploring emergent phenomena : towards analysis and synthesis of emergent formations in complex systems
QoE-driven LTE downlink scheduling for multimedia services
Rational approximation of discrete data with asymptotic behaviour
Types for quantum computing
Contributions to numerical solutions of optimal control problems
Basic algorithms in computational geometry with imprecise input
The design and implementation of distributed information systems based on heterogeneous data bases
On the foundation of artificial intelligence and human cognition
From VDM to ABC : a pragmatic approach to formal software development
Exploiting similarities between secret and cover images for improved embedding efficiency and security in digital steganography
Realistic, strong and provable key exchange security
Evolution of the social contract
Co-located and distributed multicarrier space-time shift keying for wideband channels
Learning from interaction : models and applications
Immersion and players' time perception in digital games
Implementation of parallel branch-and-bound on a network of transputers
Audio speech enhancement using masks derived from visual speech
Process modelling for information system description
An analysis of software defect prediction studies through reproducibility and replication
Automated service discovery and composition in dynamic environments
Identification and self-adaptive control
Entanglement distillation : a discourse on bound entanglement in quantum information theory
Flexible and efficient Gaussian process models for machine learning
System design of a real time data collection facility
Diagnosing brain tumours through functional imaging and machine learning
Structural usability techniques for dependable HCI
Hardware architecture for a bi-directional protein processor associative memory
An investigation into alternative human-computer interaction in relation to ergonomics for gesture interface design
Logical-linguistic model and experiments in document retrieval