Sciweavers

1532 search results - page 276 / 307
» Embodied mobile agents
Sort
View
TASE
2009
IEEE
14 years 2 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
ICECCS
2008
IEEE
183views Hardware» more  ICECCS 2008»
14 years 2 months ago
Ambient Intelligence Applications: Introducing the Campus Framework
A challenge for pervasive computing is the seamless integration of computer support with users’ activities in a very dynamic setting, with deep human and resource mobility. Port...
Amal El Fallah-Seghrouchni, Karin Breitman, Nicola...
ICRA
2006
IEEE
130views Robotics» more  ICRA 2006»
14 years 1 months ago
Anytime Path Planning and Replanning in Dynamic Environments
— We present an efficient, anytime method for path planning in dynamic environments. Current approaches to planning in such domains either assume that the environment is static ...
Jur P. van den Berg, Dave Ferguson, James Kuffner
CIMCA
2005
IEEE
14 years 1 months ago
Wireless Satellite Network Monitoring using Distributed Multiagent Systems
The trend in today’s modern communication satellites is driving into the direction of spot beam technologies. This allows the illumination of distinct areas of the earth surface...
Frank Zimmer, Juan C. Burguillo-Rial
ICRA
2005
IEEE
134views Robotics» more  ICRA 2005»
14 years 1 months ago
Towards Decentralization of Multi-robot Navigation Functions
—We present a navigation function through which a group of mobile agents can be coordinated to achieve a particular formation, both in terms of shape and orientation, while avoid...
Herbert G. Tanner, Amit Kumar