Search
Now showing items 11-20 of 1952
A framework for dynamic validation of context-aware applications
(2012)
The development of context-aware applications is a complex process that involves the tasks of analysis, design, validation and implementation. This process is typically performed using context modelling approaches that ...
Temporal representation and reasoning in medicine: Research directions and challenges
(2006)
Summary: Objective: The main aim of this paper is to propose and discuss promising directions of research in the field of temporal representation and reasoning in medicine, taking into account the recent scientific literature ...
A distributed algorithm for gathering many fat mobile robots in the plane
(2013)
We revisit the problem of gathering autonomous robots in the plane. In particular, we consider non-transparent unit-disc robots (i.e., fat) in an asynchronous setting with vision as the only means of coordination and robots ...
Risk modeling and analysis of interdependencies of critical infrastructures using colored timed petri nets
(2015)
Petri Nets (PNs) and their variations are a graphical, mathematical language that can be used for the specification, analysis and verification of discrete event systems, including Critical Infrastructures (CIs). Colored ...
Protein secondary structure prediction with bidirectional recurrent neural nets: Can weight updating for each residue enhance performance?
(2010)
Successful protein secondary structure prediction is an important step towards modelling protein 3D structure, with several practical applications. Even though in the last four decades several PSSP algorithms have been ...
Training bidirectional recurrent neural network architectures with the scaled conjugate gradient algorithm
(2016)
Predictions on sequential data, when both the upstream and downstream information is important, is a difficult and challenging task. The Bidirectional Recurrent Neural Network (BRNN) architecture has been designed to deal ...
Supporting increment and decrement operations in balancing networks
(1999)
Counting networks are a class of distributed data structures that support highly concurrent implementations of shared Fetch&Increment counters. Applications of these counters include shared pools and stacks, load balancing, ...
Enhancing virtual reality systems with smart wearable devices
(Institute of Electrical and Electronics Engineers Inc., 2016)
The proliferation of wearable and smartphone devices with embedded sensors has enabled researchers and engineers to study and understand user behavior at an extremely high fidelity, particularly for use in industries such ...
A utility-based adaptivity model for mobile applications
(2007)
Mobile environments are characterized by resource fluctuations and limitations, and variations in user preferences. Therefore mobile applications need to be adaptive to retain usability, usefulness and reliability. In our ...
Video SIMDBench: Benchmarking the Compiler Vectorization for Multimedia Applications
(Institute of Electrical and Electronics Engineers Inc., 2016)
Single Instruction Multiple Data (SIMD) Extensions become popular in computer architectures as a simple and efficient way to exploit the data parallelism hidden in applications. The compiler research community has proposed ...