Sciweavers

1231 search results - page 178 / 247
» A Framework for Belief Update
Sort
View
EPIA
2005
Springer
14 years 3 months ago
Acquiring Observation Models Through Reverse Plan Monitoring
We present a general-purpose framework for updating a robot’s observation model within the context of planning and execution. Traditional plan execution relies on monitoring plan...
Sonia Chernova, Elisabeth Crawford, Manuela M. Vel...
EWSA
2005
Springer
14 years 3 months ago
Towards Context-Sensitive Intelligence
Even modern component architectures do not provide for easily manageable context-sensitive adaptability, a key requirement for ambient intelligence. The reason is that components a...
Holger Mügge, Tobias Rho, Marcel Winandy, Mar...
SEKE
2005
Springer
14 years 3 months ago
Formal Reasoning about Emergent Behaviours of Multi-Agent Systems
Abstract. Emergent behaviour (EB) is a common phenomenon in multi-agent systems (MAS) where autonomous agents perform certain actions with only limited access to local information ...
Hong Zhu
CD
2004
Springer
14 years 3 months ago
Keeping Control of Reusable Components
Development and deployment via components offers the possibility of prolific software reuse. However, to achieve this potential in a component-rich environment, it is necessary to...
Susan Eisenbach, Dilek Kayhan, Chris Sadler
ICFEM
2004
Springer
14 years 3 months ago
Guiding Spin Simulation
Abstract. In this paper we present a technique for the Spin tool, inspired by practical experiences with Spin and a FireWire protocol. We show how to guide simulations with Spin, b...
Nicolae Goga, Judi Romijn