yusuke1997/dblp-id-title huggingface dataset:
Mobile interaction trajectories: a design focused approach for generative mobile interaction design research
Design, development and implementation of a blended learning strategy for a computer science course at the Faculty of Sciences, Omer Al-Mukhtar University, Libya
A language for configuring systems
Decoding linguistic information from EEG signals
Online generation and use of macro-actions in forward-chaining planning
BOR2G: Building Optimal Regularised Reconstructions with GPUs (in cubes)
Enhanced collision resolution for the IEEE 802.11 Distributed Coordination Function
Testing equivalences and fully abstract models for communicating systems
Automating the development of Metabolic Network Models using Abductive Logic Programming
Cavity mode entanglement in relativistic quantum information
Performance improvement for mobile ad hoc cognitive packets network
Global inference for sentence compression : an integer linear programming approach
The parallel solution of elliptic equations on transputer network
Wave function calculations on small molecules
Exploring new factors and the question of 'which' in user acceptance studies of healthcare software
Configurable logic : a dynamically programmable cellular architecture and its VLSI implementation
Development of a database system for the evaluation of land resources for planning and development in Somalia
Acoustic modelling in automatic speech recognition using self organised map and mixture of experts
Unsupervised training of deep neural networks for motion estimation
Towards a standardised attack graph visual syntax
An investigation into formal models of change in artificial intelligence
Practical mobile ad hoc networks for large scale cattle monitoring
Maturity models in the context of integrating agile development processes and user centred design
Optimising information security decision making
Parallel program synthesis through domain and range transformers
Development tools for context aware and secure pervasive computing in embedded systems middleware
Modelling compositionality of vague concepts
Evaluating conjunctive and graph queries over the EL profile of OWL 2
A syntax directed imperative language microprocessor for reduced power consumption and improved performance
Inference Rules in some temporal multi-epistemic propositional logics
Improving motion segmentation with combined classifiers
Exploiting multimodality and structure in world representations
Advancement in content based retrieval applicatons : from features to users
Organisational politics and information systems implementation : the case of the Indian public administration
Temporal sequence learning from a neocortical perspective
Forecasting user roles in online communities
An analysis framework for CSCW systems
An efficient visualisation mechanism for communication network monitoring information
The use of EM-based neural network schemes for modelling and classification
Contextual analysis of videos capturing multiple moving targets
Designing, implementing, and testing hardware for cybersecurity
Rules for mapping a conceptual model onto various data base management systems
Targeted feedback collection for data source selection with uncertainty
Enabling independent communication for FPGAs in High Performance Computing
Towards a novel biologically-inspired cloud elasticity framework
Bayesian multisensory perception
End-user documentation
Reconfigurable wavelength-switched optical networks for the internet core
Coercion in class-based software environments
Theory of X-machines with applications in specification and testing
On the elastic optimisation of cloud IaaS environments
The emergence of the mobile internet in Japan and the UK : platforms, exchange models, and innovation 1999-2011
High Level Machines and the INTELL Programming System
Internet congestion control for variable-rate TCP traffic
Computer modelling of compact photonics devices for optical communications
An evaluation of the power consumption and carbon footprint of a cloud infrastructure
Noninteracting Controllers for Linear Multivariable Systems
Computers to help people think
Solving dynamic economic dispatch problems using pattern search based methods with particular focus on the West Doha Power Station in Kuwait
Automatic deployment and reproducibility of workflow on the Cloud using container virtualization
A method for graph drawing utilising patterns
Statistical data mining for Sina Weibo, a Chinese micro-blog: sentiment modelling and randomness reduction for topic modelling
Feature learning for RGB-D data
Functional partitioning of multi-processor architectures
Macroscopic principles for the self-organisation of complex ecoystems
Looking deep at people: towards understanding and generating humans in images with deep learning
An automated marking system for graphical user interfaces
Strategies for intelligent interaction management and usability of biometric systems
The development and testing of SURVE : a technique for validating and explicating specifications of user requirements
Service-oriented grid computing in engineering optimisation and design search
A design method for object-oriented programming
Unsupervised detection of anomalous text
Anchor free mobility
Example-based methods for natural language processing with applications to machine translation and preposition correction
Speeding up HEVC encoding algorithms using graphics processing units
Cost sensitive meta-learning
An environment for non-functional oriented development of distributed configurable architectures
Micro-facial movement detection using spatio-temporal features
Safety cases for the formal verification of automatically generated code
Text classification with deep neural networks
The use of automated search in deriving software testing strategies
A new approach to securing passwords using a probabilistic neural network based on biometric keystroke dynamics
GQuery - a natural language query system for geological databases
The implementation and use of a logic based approach to assist retrieval from a relational database
Database query optimisation based on measures of regret
Fast pose and automatic matching using hybrid method for the three dimensional face recognition
Machine learning of changing concepts
Expression refinement
Anonymous: a social movement
An agent-based co-operative preference model
Computer systems for interactive design of three-dimensional shapes
Neural network learning and knowledge representation in a multi-agent system
Evidence-based accountability audits for cloud computing
Analysing timed properties of ad hoc network protocols via model checking
Novel XML data model and query engine
Inferring the global financial network from high-dimensional time-series of stock returns
On the efficiency of meta-level inference
A network model of financial markets
Top-down fabrication and characterization of zinc oxide nanowire field effect transistors
A database system architecture supporting coexisting query languages and data models
Pixel-level scene understanding with deep structured models
Requirement artefacts: finding the missing link : framework to support requirement traceability for software developers
Towards a multimedia communication service for people with disabilities
Viable computing systems : A set theory decomposition of Anthony Stafford Beer's viable system model; Aspirant of surpassing autonomic computing
An intelligent robust mouldable scheduler for HPC & elastic environments
Enhancing the performance of decoupled software pipeline through backward slicing
Voice biometric system security: design and analysis of countermeasures for replay attacks
A compositional model for the formal specification of user interface software
An information systems study on the generation, communication, and utilisation of information on agricultural technology and innovations for small-scale farmers in Kenya
Collaborative brain-computer interfaces in rapid image presentation and motion pictures
Efficient analysis of data streams
Stochastic geometry in cellular networks
Object oriented motion aided segmentation
Crossmodal displays : coordinated crossmodal cues for information provision in public spaces
A framework for local terrain deformation based on diffusion theory
Optimizing performance of workflow executions under authorization control
Automatic goal distribution strategies for the execution of committed choice logic languages on distributed memory parallel computers
An interoperability architecture for wireless networked appliances
High-dimensional-output surrogate models for uncertainty and sensitivity analyses
Hybrid architecture for high performance lookup
On algorithm selection, with an application to combinatorial search problems
Structures and processes for managing model-metamodel co-evolution
Investigating Android permissions and intents for malware detection
Automatic signature verification optimisation tools
Synthesis of embedded supervisory controllers for discrete event systems
Extracting and exploiting interaction information in constraint-based local search
Coupling ontology with reference architectures to facilitate the instantiation process of software system architectures
Meta-argumentation frameworks for modelling dialogues with information from sources of varying trustworthiness
Multi-resource approach to asynchronous SoC : design and tool support
Practical reasoning models for situated autonomic and deliberative regulation systems
Application of machine learning and deep learning in drone imaging for desert ecology
Rate-distortion optimised video transmission using pyramid vector quantisation
The application of genetic and evolutionary algorithms to spanning tree problems
Deception-detection and machine intelligence in practical Turing tests
Adjustable speed drive integration via Fieldbus
On the construction of decentralised service-oriented orchestration systems
Hardware Acceleration of Network Intrusion Detection System Using FPGA
Training machine translation for human acceptability
Soft error analysis and mitigation in circuits involving C-elements
Anytime algorithms for ROBDD symmetry detection and approximation
The emergence and utility of social behaviour and social learning in artficial evolutionary systems
Optimizing GAN for generating high quality samples
A language and toolkit for the specification, execution and monitoring of dependable distributed applications
Behaviour based anomaly detection system for smartphones using machine learning algorithm
Data Processing for Real - Time Computer Graphics
Algorithms for compression of high dynamic range images and video
Operation decomposition proof obligations for blocks and procedures
Identity management architecture and implementation : evaluation and improvement
Continuous trust management frameworks: concept, design and characteristics
Sentiment analysis on students' real-time feedback
An analysis of hand gestures for implementation in a user interface
Detecting and tracking humans in crowded scenes based on 2D image understanding
Restricting information flow in security APIs via typing
Models of modularity : a study of object-oriented programming
Temporal labelling for action recognition in videos
Real-time event detection using Twitter
An empirical investigation of the factors contributing to spreadsheets usage and end-user computing satisfaction
A graphics driven approach to discrete event simulation
Sequent calculi with context restrictions and applications to conditional logic
The use of capability approach framework and design-reality gap model to investigate information and communication technologies for development (ICT4D): a case study of Jigawa State Government ICT4D interventions
Deployable filtering architectures against large denial-of-service attacks
Deep learning-based implicit feedback recommendation
Improving localisation in indoor wireless networks using refinement algorithms and Kalman filtering
Optimization-centric generalizations of Bayesian inference
Exploitation of modern heuristic techniques within a commercial data mining environment
Peer to peer information retrieval in a small world
Pattern-based reuse of organisational design knowledge : conceptual framework and hypermedia library
Improving end-system recommender systems using cross-platform personal information
Integer performance evaluation of the dynamically trace scheduled VLIW
Digital Simulation of Electronic Components, and Simulation of Production Line Flows by Mini-Computer
Novel algorithms for modern power systems
Runtime monitoring of service based systems
Automatic recognition of ancient Syriac handwriting
An intensional implementation technique for functional languages
Enforcing Honesty in E-Commerce Fair Exchange Protocols
Information fusion for autonomous Internet of Things
Verification of LOTOS specifications using term rewriting techniques
Registration of non-rigidly deforming objects
Publish/subscribe scientific workflow interoperability framework (PS-SWIF)
Understanding and exploiting user intent in community question answering
An investigation of supervised learning in genetic programming
Security and privacy in app ecosystems
Evolution of modular neural networks
Efficient hand orientation and pose estimation for uncalibrated cameras
Automated reasoning for modal logics: a natural deduction based approach
Performance optimizations for compiler-based error detection
Identification of correlation between 3D surfaces using data mining techniques : a case study of predicting springback in sheet metal forming
Techniques for the development of time-constraint telemetric data processing system
Distributed and deterministically maintained transmission alignment in csma protocols
Distributed object-oriented method (DOOM)
A data dependency recovery system for a heterogeneous multicore processor
Computational modelling and analysis of seasonal influenza transmission and evolution
Providing a formal linkage between MDG and HOL based on a verified MDG system
New fault tolerant routing algorithms for k ary n cube networks
Closure algorithms and the star-height problem of regular languages
The scheduling of manufacturing systems using Artificial Intelligence (AI) techniques in order to find optimal/near-optimal solutions
Data quality concepts and techniques applied to taxonomic databases
Cosynthesis of embedded systems using coloured interpreted petri nets
Adaptive privacy management for distributed applications
Gender differences in spatial ability within virtual reality
Semi-automatic segmentation of the hippocampus using magnetic resonance images
Perceptual quality assessment of communications-grade video with temporal artefacts
A CORBA-based mediation system for the integration of wrapped molecular biology data sources
Procedure - Calling Mechanisms
Towards on-line domain-independent big data learning: novel theories and applications
An investigation of network countermeasure against fast self-propagating malware
Guidelines for composing locative soundtracks
An adaptive security framework for evaluating and assessing security implementations in PaaS cloud models
SCANTRAX - an associative string processor for relational database management and text retrieval
Making navigation easier in object-oriented programming systems
A parallel windowing approach to the Hough transform for line segment detection
Inducing succinct rules in machine learning problems
A pascal based design tool for digital systems
Person-centred design of assistive technology systems
Combining unsupervised classifiers : a multimodal case study
LinkIt : design, development and testing of a semi-quantitative computer modelling tool
Semantic modelling for discrete event simulation
A study into the design of digital systems
Managing surface ambiguity in the generation of referring expressions
The impact of e-commerce on the development of entrepreneurship in Saudi Arabia
Young people online : emerging meanings in the production and consumption of web based content
Inflatable variable stiffness soft robots
Re-evaluation of illuminant estimation algorithms in terms of reproduction results and failure cases
Similarity measures for object matching in computer vision
Modal logics of partial observability
Investigations into controllers for adaptive autonomous agents based on artificial neural networks
Interactive multi-level debugging for extensible programming languages
Build framework and runtime abstraction for partial reconfiguration on FPGA SoCs
Foundations for a trustworthy data security level agreement capability framework
A system for the simulation of hardware to software allocation and performance evaluation
Approximation algorithms for packing and buffering problems
Learning meaning representations for text generation with deep generative models
Advances in multiple viewpoint systems and applications in modelling higher order musical structure
Convolutional neural network for inverse problems in image processing
Real-time clock synchronisation over a CAN-based fieldbus
Multi-objective optimisation of safety-critical hierarchical systems
Reasoning scene geometry from single images
A framework for efficient management of fault tolerance in cloud data centres and high-performance computing systems: an investigation and performance analysis of a cloud based virtual machine success and failure rate in a typical cloud computing environment and prediction methods
Identity as a service: an adaptive security infrastructure and privacy-preserving user identity for the cloud environment
A proof checker
Empatchi: a phatic technology to support emotion regulation
Architectural support for compilation
Exploratory environments for functional programming
Exploratory discovery : a content theory of self-questioning and experimentation
Proof theory and computer programming: the logical foundations of computing
Wizard : learning macro-actions comprehensively for planning
Model reuse in diverse problem solvers
On routing wide-area network traffic with high utilization and low latency
Gaze contingent robotic control in minimally invasive surgery
Data intensive and network aware (DIANA) grid scheduling
Network routing optimisation and effective multimedia transmission to enhance QoS in communication networks
The impact of social mood on stock markets
Tracking, analysis and measurement of pedestrian trajectories
Robust Face Recognition Using Directional and Tuneable Filters
The formal description of musical perception
Chord sequence patterns in OWL
An engineering approach to knowledge acquisition by the interactive analysis of dictionary definitions
Resource management for Edge computing systems
Methods for increased energy and flux in high harmonic generation
Automated interactive software verification and synthesis
The mobile information access experience : a user perspective
Analytics of human presence and movement behaviour within specific environments
An examination of the utility of Microsoft.net in intergrating ERP with external systems
Model driven software modernisation
Abstract Machines for Programming Languages
Parallel scheduling of concurrent VLSI simulation modules onto a multiprocessor
Operating system design for large personal workstations
Abstract interpretation of functional languages: from theory to practice
An investigation into the use of a findings base as a component of an expert system
Judgmental forecasting from graphs and from experience
Variable selection in neural networks for the classification of tumour tissue from '1H NMR spectra
Verification of real-time systems : improving tool support
Evolutionary synthesis of lossless compression algorithms : the GP-zip family
New approaches to operating system security extensibility
Personal Construct Theory : a computational perspective
Trade mark similarity assessment support system
A model-driven approach to scientific law discovery
Enabling energy awareness of ICT users to improve energy efficiency during use of systems
Use and examination of convolutional neural networks for scene understanding
Adaptive heterogeneous parallelism for semi-empirical lattice dynamics in computational materials science
Distributed resource discovery using a content-sensitive infrastructure
Investigating classification for natural language processing tasks
Performance analysis of wormhole-routed interconnection networks in the presence of broadcast traffic
Logical and topological contextuality in quantum mechanics and beyond
Self Testing Asynchronous Processors for Fixed Point and Logarithmic Number Systems
Generating high-quality 3D assets from easy-to-access 2D content
Programming language design with polymorphism
Control designs and reinforcement learning-based management for software defined networks
Uncertainty modelling for scarce and imprecise data in engineering applications
The derivation of principled algorithms for systematic trading using generalisation bounds
Statistical mechanics for network structure and evolution
High speed simulation of microprocessor systems using LTU dynamic binary translation
Effectiveness of explanation facilities for intelligent systems
Intelligent agents for electronic commerce in tourism
Generation of referring expressions for an unknown audience
The contour tree image encoding technique and file format
Designing search user interfaces for visually impaired searchers : a user-centred approach
A methodology for interprocess communication using typed channels
Cognitive modelling of complex problem solving behaviour
Effective graph representation learning for ranking-based recommendation
Towards developing and improving effective interaction design tools
Understanding object-oriented frameworks
Establishing a standard scientific guideline for the evaluation and adoption of multi-tenant database
Continuous uncertain interaction
Pairwise preferences learning for recommender systems
Programming languages and dimensions
Early design space exploration of hard real-time embedded networks-on-chip
NURBS-compatible subdivision surfaces
On the application of coding to adaptive steganography : robustness, efficiency, and coding loss
A neural network and rule based system application in water demand forecasting
Security and usability in password authentication
ATL-QoS: an adaptive trust-aware location-based framework for achieving QoS in MANETs
Designing domain specific languages for verification and applications to the railway domain
Where are you talking about?: advances and challenges of geographic analysis of text with application to disease monitoring
A time-based model for OCCAM
A practical vision system for the detection of moving objects
Semantic component selection
Sensing physiological arousal and visual attention during user interaction
Mathematical techniques for shape modelling in computer graphics : a distance-based approach
Visual simultaneous localization and mapping: from geometry to deep learning
Meaning and duality : from categorical logic to quantum physics
Shape-based person re-identification
System modelling and systematic testing
A cluster classification method for the extraction of knowledge from text documents
Closed-loop multiple antenna aided wireless communications using limited feedback
Semantic service description framework for efficient service discovery and composition
Modular neural networks for analysis of flow cytometry data
Detecting Prolog programming techniques using abstract interpretation
Boosting image annotation
Trusted cloud computing modelling with distributed end-user attestable multilayer security
Executable formal specification of programming languages with reusable components
Sparse image representation with encryption
Use of synchronous concurrent algorithms in the development of safety related software
An intelligent system for the classification and selection of novel and efficient lossless image compression algorithms
Program debugging in high level languages
Language Design for Structured Programming
Partial functions and recursion in univalent type theory
3D surface texture analysis of high resolution normal fields for facial skin condition assessment
The ostensive model of developing information needs
Design of external interfaces for the integration of a generic logistics and distribution centre with associated systems