605 search results - page 71 / 121 » Normalizers and Split Extensions |
129
click to vote
AIPS
2004
15 years 4 months 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...
135
Voted
DAGSTUHL
1996
15 years 4 months 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...
137
Voted
ECAI
2010
Springer
15 years 22 days 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...
136
Voted
DLOG
2009
15 years 16 days 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....
140
Voted
MIAR
2006
IEEE
15 years 8 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...