Sciweavers

2213 search results - page 254 / 443
» On the Scalability of Centralized Control
Sort
View
IASSE
2003
15 years 3 months ago
Stratified Programming Integrated Development Environment (SPIDER)
This paper describes the functionality required for a development environment that supports stratified programming (SP), a novel software development method that we have proposed ...
Sergiu M. Dascalu, Adrian Pasculescu, Josh Wooleve...
109
Voted
VMV
2004
157views Visualization» more  VMV 2004»
15 years 3 months ago
Interactive Hierarchical Space Carving with Projector-based Calibrations
We present an interactive reconstruction system based on space carving. The user controls the camera and object positions and their impact on the reconstruction is immediately dis...
Martin Granger-Piché, Emric Epstein, Pierre...
94
Voted
AIPS
1998
15 years 3 months ago
A Multiagent Planning Architecture
The Multiagent Planning Architecture (MPA) is a framework for integrating diverse technologies into a system capable of solving complex planning problems. Agents within MPA share ...
David E. Wilkins, Karen L. Myers
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...