5216 search results - page 251 / 1044 » Planning as Model Checking |
163
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
In this paper, we describe the development of an Embodied Conversational Agent (ECA) implementing the concept of a companion, i.e. an agent supporting the persistent representatio...
127
click to vote
DAGSTUHL
2010
15 years 6 months ago
2010
Computer support for intervention planning is a two-stage process: In a first stage, the relevant segmentation target structures are identified and delineated. In a second stage, ...
129
click to vote
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we present an overview of recent developments in the plan-based control of autonomous robots. We identify computational principles that enable autonomous robots to a...
122
click to vote
IWINAC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The brain representations of words and their referent actions and objects appear to be strongly coupled neuronal assemblies distributed over several cortical areas. In th...
162
click to vote
IANDC
2011
14 years 11 months ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...