Sciweavers

8780 search results - page 399 / 1756
» On the Feasibility of Consistent Computations
Sort
View
IROS
2008
IEEE
113views Robotics» more  IROS 2008»
16 years 2 months ago
Navigating dynamic environments using trajectory deformation
Abstract— Path deformation is a technique that was introduced to generate robot motion wherein a path, that has been computed beforehand, is continuously deformed on-line in resp...
Vivien Delsart, Thierry Fraichard
PIMRC
2008
IEEE
16 years 2 months ago
Distributed network utility optimization in wireless sensor networks using power control
—We extend the existing network utility maximization (NUM) framework for wired networks to wireless sensor networks by formulating it in order to take into account interference a...
George Tichogiorgos, Kin K. Leung, Archan Misra, T...
ICRA
2007
IEEE
139views Robotics» more  ICRA 2007»
16 years 2 months ago
Evaluating the Roomba: A low-cost, ubiquitous platform for robotics research and education
— This paper presents the iRobot corporation’s Roomba vacuum as a low-cost resource for robotics research and education. Sensor and actuation models for unmodified Roombas are...
Ben Tribelhorn, Zachary Dodds
QEST
2007
IEEE
16 years 2 months ago
Probabilistic Model Checking Modulo Theories
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
Björn Wachter, Lijun Zhang, Holger Hermanns
RTAS
2007
IEEE
16 years 2 months ago
Resource-Locking Durations in EDF-Scheduled Systems
The duration of time for which each application locks each shared resource is critically important in composing multiple independently-developed applications upon a shared “open...
Nathan Fisher, Marko Bertogna, Sanjoy K. Baruah