Sciweavers

4078 search results - page 6 / 816
» The COMPASS Location System
Sort
View
73
Voted
STACS
2001
Springer
15 years 1 months ago
Gathering of Asynchronous Oblivious Robots with Limited Visibility
Abstract. We consider a collection of robots which are identical (anonymous), have limited visibility of the environment, and no memory of the past (oblivious); furthermore, they a...
Paola Flocchini, Giuseppe Prencipe, Nicola Santoro...
INFOCOM
2010
IEEE
14 years 8 months ago
Towards Mobile Phone Localization without War-Driving
Abstract—This paper identifies the possibility of using electronic compasses and accelerometers in mobile phones, as a simple and scalable method of localization without war-dri...
Ionut Constandache, Romit Roy Choudhury, Injong Rh...
108
Voted
COMPASS
1994
15 years 1 months ago
Equations for Describing Dynamic Nets of Communicating Systems
We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical sys...
Manfred Broy
COMPASS
1994
15 years 1 months ago
Types, Subtypes, and ASL+
ASL+ is a formalism for speci cation and programming in-the-large, based on an arbitrary institution. It has rules for proving the satisfaction and re nement of speci cations, whic...
David Aspinall
ICRA
2010
IEEE
101views Robotics» more  ICRA 2010»
14 years 8 months ago
Guaranteed navigation with an unreliable blind robot
— We consider a navigation problem for a robot equipped with only a map, compass, and contact sensor. In addition to the limitations placed on sensing, we assume that there exist...
Jeremy S. Lewis, Jason M. O'Kane