Sciweavers

2061 search results - page 294 / 413
» The continuous knapsack set
Sort
View
CDC
2008
IEEE
120views Control Systems» more  CDC 2008»
14 years 12 months ago
Left invertibility of discrete systems with finite inputs and quantized output
Abstract-- The aim of this paper is to address left invertibility for dynamical systems with inputs and outputs in discrete sets. We study systems that evolve in discrete time with...
Nevio Dubbini, Benedetto Piccoli, Antonio Bicchi
ICSE
2010
IEEE-ACM
14 years 12 months ago
Requirements reflection: requirements as runtime entities
Computational reflection is a well-established technique that gives a program the ability to dynamically observe and possibly modify its behaviour. To date, however, reflection is...
Nelly Bencomo, Jon Whittle, Peter Sawyer, Anthony ...
CIVR
2008
Springer
127views Image Analysis» more  CIVR 2008»
14 years 11 months ago
Investigating keyframe selection methods in the novel domain of passively captured visual lifelogs
The SenseCam is a passive capture wearable camera, worn around the neck, and when worn continuously it takes an average of 1,900 images per day. It can be used to create a persona...
Aiden R. Doherty, Daragh Byrne, Alan F. Smeaton, G...
DATE
2008
IEEE
121views Hardware» more  DATE 2008»
14 years 11 months ago
Constraint Refinement for Online Verifiable Cross-Layer System Adaptation
Adaptive resource management is critical to ensuring the quality of real-time distributed applications, particularly for energy-constrained mobile handheld devices. In this contex...
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcot...
ATMOS
2007
152views Optimization» more  ATMOS 2007»
14 years 11 months ago
Solution of the Train Platforming Problem
In this paper we study a general formulation of the train platforming problem, which contains as special cases all the versions previously considered in the literature as well as a...
Alberto Caprara, Laura Galli, Paolo Toth