Sciweavers

960 search results - page 109 / 192
» The disaster of central control
Sort
View
ATAL
2010
Springer
15 years 3 months ago
A general, fully distributed multi-agent planning algorithm
We present a fully distributed multi-agent planning algorithm. Our methodology uses distributed constraint satisfaction to coordinate between agents, and local planning to ensure ...
Raz Nissim, Ronen I. Brafman, Carmel Domshlak
ACMDIS
2010
ACM
15 years 2 months ago
LumiBots: making emergence graspable in a swarm of robots
Emergence is a concept that is not easy to grasp, since it contradicts our idea of central control and planning. In this work, we use a swarm of robots as a tangible tool to visua...
Mey Lean Kronemann, Verena Vanessa Hafner
FAC
2008
117views more  FAC 2008»
15 years 1 months ago
Model checking Duration Calculus: a practical approach
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...
Roland Meyer, Johannes Faber, Jochen Hoenicke, And...
132
Voted
CORR
2007
Springer
117views Education» more  CORR 2007»
15 years 1 months ago
Dependable k-coverage algorithms for sensor networks
– Redundant sensing capabilities are often required in sensor network applications due to various reasons, e.g. robustness, fault tolerance, or increased accuracy. At the same ti...
Simon Gyula, Miklós Molnár, Lá...
128
Voted
SIGMETRICS
2008
ACM
15 years 1 months ago
Synchronized network emulation: matching prototypes with complex simulations
Network emulation, in which real systems interact with a network simulation, is a common evaluation method in computer networking research. Until now, the simulation in charge of ...
Elias Weingärtner, Florian Schmidt, Tobias He...