8469 search results - page 1465 / 1694 » An Agent-Environment Interaction Model |
175
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
It is often the case that agents within a system have distinct types of knowledge. Furthermore, whilst common goals may be agreed upon, the particular representations of the indiv...
172
click to vote
CSL
2009
Springer
16 years 1 months ago
2009
Springer
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...
198
click to vote
DAGM
2009
Springer
16 years 1 months ago
2009
Springer
We present a novel algorithm for the markerless tracking of deforming surfaces such as faces. We acquire a sequence of 3D scans along with color images at 40Hz. The data is then re...
175
click to vote
ESTIMEDIA
2009
Springer
16 years 1 months ago
2009
Springer
— The complexity of today’s embedded systems forces designers to model and simulate systems and their components to explore the wide range of design choices. Such design space ...
168
click to vote
ICIDS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. AI planning has featured in a number of Interactive Storytelling prototypes: since narratives can be naturally modelled as a sequence of actions it has been possible to e...