Sciweavers

422 search results - page 49 / 85
» Coordinating Autonomous Planners
Sort
View
ICPR
2008
IEEE
14 years 10 months ago
Information-based gaze control adaptation to scene context for mobile robots
Goal-directed guidance of gaze control based on coordinated task and stimulus parameters is essential for steering a mobile cognitive system efficiently and autonomously through t...
Kolja Kühnlenz, Martin Buss, Tingting Xu
ICTAI
2008
IEEE
14 years 3 months ago
A Model for Multiple Outcomes Games
We introduce and study qualitative multiple outcomes games. These games are noncooperative games with qualitative utilities (i.e., values over an ordinal scale), strictly qualitat...
Ramzi Ben Larbi, Sébastien Konieczny, Pierr...
COORDINATION
2007
Springer
14 years 3 months ago
A Calculus for Mobile Ad Hoc Networks
We suggest a Calculus for Mobile Ad Hoc Networks, CMAN. A node in a network is a processes equipped with a location, it may communicate with other nodes using synchronous local bro...
Jens Chr. Godskesen
PRIMA
2004
Springer
14 years 2 months ago
Handling Emergent Resource Use Oscillations
— Distributed computing systems are increasingly being created as self-organizing collections of many autonomous (human or software) agents cooperating as peers. Peer-to-peer coo...
Mark Klein, Richard Metzler, Yaneer Bar-Yam
CAV
2010
Springer
185views Hardware» more  CAV 2010»
13 years 9 months ago
Achieving Distributed Control through Model Checking
Abstract. We apply model checking of knowledge properties to the design of distributed controllers that enforce global constraints on concurrent systems. We calculate when processe...
Susanne Graf, Doron Peled, Sophie Quinton