5275 search results - page 794 / 1055 » Computing by observing |
170
click to vote
ARCS
2004
Springer
16 years 2 days ago
2004
Springer
In a pervasive computing environment, one is facing the problem of handling heterogeneous data from different sources, transmitted over heterogeneous channels and presented on het...
177
click to vote
ARGMAS
2004
Springer
16 years 2 days ago
2004
Springer
Argumentation-based negotiation (ABN) is an effective means of resolving conflicts in a multi-agent society. However, it consumes both time and computational resources for agents ...
166
click to vote
ATAL
2004
Springer
16 years 2 days ago
2004
Springer
— An Autonomous Science Agent is currently flying onboard the Earth Observing One Spacecraft. This software enables the spacecraft to autonomously detect and respond to science e...
236
click to vote
CAV
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
164
click to vote
CIKM
2004
Springer
16 years 2 days ago
2004
Springer
We examine the problem of retrieving the top-m ranked items from a large collection, randomly distributed across an n-node system. In order to retrieve the top m overall, we must ...