12774 search results - page 2260 / 2555 » A Framework for Proof Systems |
165
click to vote
ISER
2004
Springer
16 years 4 days 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...
172
click to vote
KDD
2004
ACM
16 years 3 days ago
2004
ACM
Detection of space-time clusters is an important function in various domains (e.g., epidemiology and public health). The pioneering work on the spatial scan statistic is often use...
219
click to vote
KDD
2004
ACM
16 years 3 days ago
2004
ACM
Many real-world graphs have been shown to be scale-free— vertex degrees follow power law distributions, vertices tend to cluster, and the average length of all shortest paths is...
205
click to vote
KES
2004
Springer
16 years 3 days ago
2004
Springer
The goal of the GecGo middleware is to provide all the services required by self-organizing distributed applications running on multihop ad-hoc networks. Because of the frequent as...
214
click to vote
MIDDLEWARE
2004
Springer
16 years 3 days ago
2004
Springer
The terms pervasive and ubiquitous computing are used to describe a smart space populated by hundreds of intelligent devices that are embedded in their surroundings. Characteristi...