1255 search results - page 107 / 251 » A Proof Environment for the Development of Group Communicati... |
CORR
2010
Springer
13 years 9 months ago
2010
Springer
We propose distributed algorithms to automatically deploy a group of mobile robots to partition and provide coverage of a non-convex environment. To handle arbitrary nonconvex envi...
ASE
2002
13 years 8 months ago
2002
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
This is an overview of the robust resource allocation research efforts that have been and continue to be conducted by the CSU Robustness in Computer Systems Group. Parallel and di...
WOWMOM
1998
ACM
14 years 1 months ago
1998
ACM
This paper addresses how the new promising paradigm of Agent Technology can be applied to the provisioning of service ubiquity based on the concepts of the Virtual Home Environmen...
SWARM
2008
SPRINGER
13 years 9 months ago
2008
SPRINGER
In this paper, we study self-organized flocking in a swarm of mobile robots. We present Kobot, a mobile robot platform developed specifically for swarm robotic studies. We describe...