Sciweavers

1152 search results - page 160 / 231
» mobility 2009
Sort
View
101
Voted
TASE
2009
IEEE
15 years 7 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
63
Voted
NOCS
2009
IEEE
15 years 7 months ago
Flow-aware allocation for on-chip networks
Current Virtual-Channel routers disregard potentially useful information about on-chip communication flows. This often leads to inefficient resource utilisation in existing Netwo...
Arnab Banerjee, Simon W. Moore
95
Voted
ICRA
2009
IEEE
133views Robotics» more  ICRA 2009»
15 years 7 months ago
A stochastically stable solution to the problem of robocentric mapping
Abstract— This paper provides a novel solution for robocentric mapping using an autonomous mobile robot. The robot dynamic model is the standard unicycle model and the robot is a...
Adrian N. Bishop, Patric Jensfelt
ICRA
2009
IEEE
110views Robotics» more  ICRA 2009»
15 years 7 months ago
Vertical line matching for omnidirectional stereovision images
We are investigating the mobile robot indoor localization and environment mapping using an omnidirectional stereovision sensor. It uses four parabolic mirrors and an orthographic ...
Guillaume Caron, El Mustapha Mouaddib
97
Voted
ICRA
2009
IEEE
113views Robotics» more  ICRA 2009»
15 years 7 months ago
Visual topological SLAM and global localization
— Visual localization and mapping for mobile robots has been achieved with a large variety of methods. Among them, topological navigation using vision has the advantage of offeri...
Adrien Angeli, Stéphane Doncieux, Jean-Arca...