4595 search results - page 261 / 919 » Reasoning about Plans |
191
click to vote
ICLP
2010
Springer
15 years 11 months ago
2010
Springer
Interactive Scores is a formalism for the design and performance of interactive scenarios that provides temporal relations (TRs) among the objects of the scenario. We can model TRs...
164
click to vote
FLAIRS
2007
15 years 9 months ago
2007
In this paper we discuss a rigorous foundation of similarity reasoning based on the concept of utility. If utility is formulated in mathematical terms it can serve as a formal spe...
211
click to vote
ICVGIP
2004
15 years 8 months ago
2004
We present a new active active recognition scheme (using an uncalibrated camera) based on a new idea, appearancebased aspect graphs. The scheme is robust to background clutter, an...
174
click to vote
IGPL
2008
15 years 7 months ago
2008
A new version of transition logic is presented. It integrates (dynamic) transitions, which change world states, and classical (static) reasoning, restricted in the paper to Horn l...
201
click to vote
CSL
2002
Springer
15 years 7 months ago
2002
Springer
In this paper, we describe a generation system for spoken dialogue that not only produces coherent, informative and responsive dialogue contributions, but also explicitly models h...