7992 search results - page 1491 / 1599 » Communication Abstractions for Distributed Systems |
122
click to vote
WETICE
2000
IEEE
15 years 7 months ago
2000
IEEE
Staying aware of each other in cooperative team work is something we take for granted in the everyday world, even if collaboration is not continuously face-to-face, and team membe...
117
click to vote
ACIVS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We present and evaluate in this paper a multi-agent approach for range image segmentation. The approach consists in using autonomous agents for the segmentation of a rang...
159
Voted
ATVA
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Model-checking alternating-time properties has recently attracted much interest in the verification of distributed protocols. While checking the validity of a specificati...
92
Voted
ECAI
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. In human-like reasoning it often happens that different conditions, partially alternative and hierarchically structured, are mentally grouped in order to derive some conc...
116
Voted
ECML
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Designs of micro electro-mechanical devices need to be robust against fluctuations in mass production. Computer experiments with tens of parameters are used to explore th...