138 search results - page 28 / 28 » Ensuring Area Coverage in Hybrid Wireless Sensor Networks |
ENTCS
2007
13 years 4 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...
AAAI
2006
13 years 6 months ago
2006
This paper proposes a design for our entry into the 2006 AAAI Scavenger Hunt Competition and Robot Exhibition. We will be entering a scalable two agent system consisting of off-th...
ATAL
2005
Springer
13 years 10 months ago
2005
Springer
We describe a very large scale distributed robotic system, involving a team of over 100 robots, that has been successfully deployed in large, unknown indoor environments, over ext...