Sciweavers

1231 search results - page 178 / 247
» A Framework for Belief Update
Sort
View
160
Voted
EPIA
2005
Springer
15 years 11 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
15 years 11 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
15 years 11 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
15 years 11 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
15 years 11 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