3348 search results - page 588 / 670 » Around and Around |
183
click to vote
CLUSTER
2004
IEEE
15 years 10 months ago
2004
IEEE
We propose a biologically inspired and fully-decentralized approach to the organization of computation that is based on the autonomous scheduling of strongly mobile agents on a pe...
172
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
We address the problem of navigating from an initial node to a goal node by a group of agents in an unknown physical environment. In such environments mobile agents must physicall...
184
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
We investigate the computational complexity of reasoning about multi-agent systems using the cooperation logic ATL of Alur, Henzinger, and Kupferman. It is known that satisfiabili...
213
click to vote
COMPGEOM
2004
ACM
15 years 10 months ago
2004
ACM
We introduce a new approach to the problem of collision detection between a rotating milling-cutter of an NC-machine and a model of a solid workpiece, as the rotating cutter conti...
168
click to vote
CSCW
2004
ACM
15 years 10 months ago
2004
ACM
We present a conceptual framework for location-aware community systems and results from two studies of how sociallydefined places influence people's information sharing and c...