1064 search results - page 172 / 213 » Disjoint Systems (Extended Abstract) |
122
Voted
ISER
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper describes the implementation of a decentralized architecture for autonomous teams of aerial and ground vehicles engaged in active perception. We provide a theo...
176
Voted
SPIN
2004
Springer
15 years 9 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
117
Voted
EDOC
2003
IEEE
15 years 8 months ago
2003
IEEE
The Meta-Object Facility (MOF) provides a standardised framework for object-oriented models. An instance of a MOF model contains objects and links whose interfaces are entirely de...
103
Voted
ICRA
2003
IEEE
15 years 8 months ago
2003
IEEE
Abstract— In this paper we describe the use of automatic exploration for autonomous mapping of outdoor scenes. We describe a real-time SLAM implementation along with an autonomou...
120
Voted
IPPS
2003
IEEE
15 years 8 months ago
2003
IEEE
We try to close the gap between theoretical investigations of wireless network topologies and realistic wireless environments. For point-to-point communication, we examine theoret...