Sciweavers

509 search results - page 63 / 102
» Policy-directed coordination and cooperation
Sort
View
SEFM
2009
IEEE
16 years 24 days ago
An Automated Approach to Verifying Diagnosability in Multi-agent Systems
—This paper addresses the issue of guaranteeing the correctness of fault diagnosis mechanisms in multi-agent systems. We propose an automated approach to verifying the property o...
Jonathan Ezekiel, Alessio Lomuscio
HICSS
2006
IEEE
122views Biometrics» more  HICSS 2006»
16 years 3 days ago
Reorganizing Government: Bhutan Visa Online
Centralized government document infrastructure and a policy commitment to transform the tourism sector to a more vivid and efficient business sector works as drivers for implement...
Kim Viborg Andersen, Helle Zinner Henriksen
ICRA
2006
IEEE
129views Robotics» more  ICRA 2006»
16 years 2 days ago
Towards the Deployment of a Mobile Robot Network with End-to-end Performance Guarantees
— Communication is essential for coordination in most cooperative control and sensing paradigms. In this paper, we present an experimental study of strategies for maintaining end...
Mong-ying A. Hsieh, Anthony Cowley, Vijay Kumar, C...
ACOM
2004
Springer
15 years 11 months ago
Conversational Semantics with Social Commitments
Abstract. Message semantics are traditionally defined in terms of mental states, which is a trend that is criticized for assuming the sincerity and cooperativeness of agents. To c...
Roberto A. Flores, Philippe Pasquier, Brahim Chaib...
IAT
2003
IEEE
15 years 11 months ago
Discrete Bee Dance Algorithms for Pattern Formation on a Grid
This paper presents a solution to the problem of pattern formation on a grid, for a group of identical autonomous robotic agents, that have very limited communication capabilities...
Noam Gordon, Israel A. Wagner, Alfred M. Bruckstei...