Sciweavers

509 search results - page 63 / 102
» Policy-directed coordination and cooperation
Sort
View
SEFM
2009
IEEE
14 years 3 months 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»
14 years 3 months 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»
14 years 3 months 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
14 years 2 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
14 years 2 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...