1912 search results - page 76 / 383 » GOAL as a Planning Formalism |
142
click to vote
ALGORITHMICA
2000
15 years 6 months ago
2000
Abstract. We consider the problem of planning sensor control strategies that enable a sensor to be automatically configured for robot tasks. In this paper we present robust and eff...
191
click to vote
BTW
2005
Springer
15 years 11 months ago
2005
Springer
: Access control is an important aspect in guaranteeing data privacy within XML data sources which are accessed by users with different access rights. The goal of predicative acces...
134
click to vote
ICRA
1998
IEEE
15 years 10 months ago
1998
IEEE
Dextrous manipulation planning is a problem of paramount importance in the study of multi ngered robotic hands. In this paper, we show in general, that all system variables the ng...
165
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...
178
click to vote
AAAI
2011
14 years 6 months ago
2011
We consider a new class of planning problems involving a set of non-negative real variables, and a set of non-deterministic actions that increase or decrease the values of these v...