Sciweavers

1605 search results - page 265 / 321
» Using directionality in mobile routing
Sort
View
TASE
2009
IEEE
15 years 4 months ago
Verifying Self-stabilizing Population Protocols with Coq
Population protocols are an elegant model recently introduced for distributed algorithms running in large and unreliable networks of tiny mobile agents. Correctness proofs of such...
Yuxin Deng, Jean-François Monin
ICRA
2007
IEEE
129views Robotics» more  ICRA 2007»
15 years 4 months ago
Multi-Robot Area Patrol under Frequency Constraints
— This paper discusses the problem of generating patrol paths for a team of mobile robots inside a designated target area. Patrolling requires an area to be visited repeatedly by...
Yehuda Elmaliach, Noa Agmon, Gal A. Kaminka
ICRA
2007
IEEE
140views Robotics» more  ICRA 2007»
15 years 4 months 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...
SRDS
2006
IEEE
15 years 3 months ago
Improvements and Reconsideration of Distributed Snapshot Protocols
Distributed snapshots are an important building block for distributed systems, and, among other applications, are useful for constructing efficient checkpointing protocols. In ad...
Adnan Agbaria
VTC
2006
IEEE
15 years 3 months ago
Capacity Enhancement for Integrated HAPS-Terrestrial CDMA System
— In this paper, we consider the uplink capacity of an integrated high altitude platform station (HAPS)-terrestrial code division multiple access (CDMA) system in which sharing b...
Jeng-Ji Huang, Wei-Ting Wang, Huei-Wen Ferng