605 search results - page 71 / 121 » Normalizers and Split Extensions |
AIPS
2004
15 years 12 days ago
2004
Conformant planning is the task of generating plans given uncertainty about the initial state and action effects, and without any sensing capabilities during plan execution. The p...
DAGSTUHL
1996
15 years 10 days ago
1996
Abstract. Type-directed partial evaluation stems from the residualization of arbitrary static values in dynamic contexts, given their type. Its algorithm coincides with the one for...
ECAI
2010
Springer
14 years 9 months ago
2010
Springer
The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constraints in planning. However, the seman...
103
click to vote
DLOG
2009
14 years 8 months ago
2009
Abstract. Multi-attribute negotiation has been extensively studied from a gametheoretic viewpoint. In negotiation settings, utility functions are used to express agent preferences....
109
click to vote
MIAR
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract. A main focus of statistical shape analysis is the description of variability of a population of geometric objects. In this paper, we present work in progress towards mode...