1087 search results - page 168 / 218 » Achieving Distributed Control through Model Checking |
AROBOTS
2007
13 years 9 months ago
2007
We describe a novel method whereby a particle filter is used to create a potential field for robot control without prior clustering. We show an application of this technique to ...
HPCC
2005
Springer
14 years 3 months ago
2005
Springer
In this study, we defined requirements of ubiquitous environment, which users can monitor and control situations of home anytime, anywhere. In addition we developed and built a mod...
HPDC
2000
IEEE
14 years 2 months ago
2000
IEEE
The dQUOB system satis es client need for speci c information from high-volume data streams. The data streams we speak of are the ow of data existing during large-scale visualizat...
MIDDLEWARE
2007
Springer
14 years 3 months ago
2007
Springer
In this paper we consider the problem of maximising utility in linked market-driven distributed and Grid systems. In such systems, users submit jobs through brokers who can virtua...
CORR
2006
Springer
13 years 9 months ago
2006
Springer
This paper presents a coordination algorithm for mobile autonomous robots. Relying upon distributed sensing, the robots achieve rendezvous, that is, they move to a common location....