5216 search results - page 370 / 1044 » Planning as Model Checking |
139
click to vote
IBERAMIA
2004
Springer
15 years 11 months ago
2004
Springer
This paper describes a Case Base Seeding system (CBS) that can be used to seed a case base with some random cases in order to provide minimal conditions for the empirical tests of ...
172
click to vote
ICRA
2000
IEEE
15 years 10 months ago
2000
IEEE
Vision feedback control loop techniques are efficient for a great class of applications but they come up against difficulties when the initial and desired positions of the camer...
150
click to vote
FGR
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper we describe a prototype system for directing a computer generated scene for film planning. The system is based upon the concepts of the Intuitive Interface, an envir...
143
click to vote
EWRL
2008
15 years 8 months ago
2008
We consider planning in a Markovian decision problem, i.e., the problem of finding a good policy given access to a generative model of the environment. We propose to use fitted Q-i...
148
Voted
HCI
2001
15 years 7 months ago
2001
The great variety of users of the services available on the internet raised the problem of finding flexible forms of presentation and interaction, which depend on the specific user...