1912 search results - page 198 / 383 » GOAL as a Planning Formalism |
176
click to vote
JUCS
2006
15 years 6 months ago
2006
: Functional-logic programming amalgamates some of the main features of both functional and logic styles into a single paradigm. Nevertheless, negation is a widely investigated fea...
178
click to vote
ASE
2002
15 years 6 months ago
2002
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
215
click to vote
Publication
Ridership is a key goal in the transit industry. Conventional transit analysis focuses
on two types of users—captive and choice riders—but rarely aims to understand the
prefe...
139
click to vote
WWW
2002
ACM
16 years 7 months ago
2002
ACM
This paper presents an approach to develop bidding agents that participate in multiple alternative auctions, with the goal of obtaining an item at the lowest price. The approach c...
164
click to vote
IROS
2008
IEEE
16 years 27 days ago
2008
IEEE
— Legged robots require accurate models of their environment in order to plan and execute paths. We present a probabilistic technique based on Gaussian processes that allows terr...