226 search results - page 29 / 46 » IF: A Validation Environment for Timed Asynchronous Systems |
IPPS
2008
IEEE
14 years 3 months ago
2008
IEEE
Resource allocation is a fundamental but challenging problem due to the complexity of cluster computing systems. In enterprise service computing, resource allocation is often asso...
ATAL
2010
Springer
13 years 9 months ago
2010
Springer
We present a formal framework of an autonomous agent as a collection of coordinated control loops, with a recurring sense, plan, act cycle. Our framework manages the information f...
ICRA
2007
IEEE
14 years 2 months ago
2007
IEEE
— Localization for low cost humanoid or animal-like personal robots has to rely on cheap sensors and has to be robust to user manipulations of the robot. We present a visual loca...
TMC
2012
11 years 11 months ago
2012
—This work addresses the fundamental problem of distinguishing between a driver and passenger using a mobile phone, which is the critical input to enable numerous safety and inte...
ATAL
2010
Springer
13 years 9 months ago
2010
Springer
In this paper we study, for the first time explicitly, the implications of endowing an interested party (i.e. a teacher) with the ability to modify the underlying dynamics of the ...