4433 search results - page 339 / 887 » Distributed Multi-Robot Localization |
313
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
181
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— Outdoor camera networks are becoming ubiquitous in critical urban areas of large cities around the world. Although current applications of camera networks are mostly li...
162
click to vote
ICDE
2006
IEEE
16 years 16 days ago
2006
IEEE
We consider the problem of wide-area large-scale text search over a peer-to-peer infrastructure. A wide-area search infrastructure with billions of documents and millions of searc...
197
click to vote
IWCMC
2006
ACM
16 years 13 days ago
2006
ACM
This paper presents a load-based transmission scheduling (LoBaTS) protocol for wireless ad hoc networks. Since terminals in these networks may be required to forward unequal amoun...
165
click to vote
SAC
2006
ACM
16 years 13 days ago
2006
ACM
Model Driven Architecture (MDA) is a software development approach that focuses on models. In order to support MDA, a lot of CASE tools have emerged; each of them provides a diffe...