Sciweavers

2211 search results - page 235 / 443
» The state of peer-to-peer simulators and simulations
Sort
View
ICRA
2007
IEEE
140views Robotics» more  ICRA 2007»
16 years 25 days ago
On the Observability of Bearing-only SLAM
— In this paper we present an observability analysis for a mobile robot performing SLAM with a single monocular camera. The aim is to get a better understanding of the well known...
Teresa Vidal-Calleja, Mitch Bryson, Salah Sukkarie...
INFOCOM
2007
IEEE
16 years 25 days ago
Cost and Collision Minimizing Forwarding Schemes for Wireless Sensor Networks
—The paper presents a novel integrated MAC/routing scheme for wireless sensor networking. Our design objective is to elect the next hop for data forwarding by minimizing the numb...
Michele Rossi, Nicola Bui, Michele Zorzi
QEST
2007
IEEE
16 years 24 days 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
QEST
2007
IEEE
16 years 24 days ago
Symbolic Bisimulations for Probabilistic Systems
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...
Peng Wu 0002, Catuscia Palamidessi, Huimin Lin
VR
2007
IEEE
115views Virtual Reality» more  VR 2007»
16 years 24 days ago
Sensor Enhanced Virtual Reality Teleoperation in Dynamic Environment
A novel teleoperation interface is introduced featuring an integrated virtual reality based simulation augmented by sensors and image processing capabilities on-board the remotely...
Muthukkumar S. Kadavasal, James H. Oliver