292 search results - page 53 / 59 » Model-checking agent refinement |
91
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
This paper describes a proposal to build an intelligent feedback selection system for Virtual Reality-based training simulators. The system is aimed at generating multimodal feedb...
117
Voted
AAAI
2004
15 years 2 months ago
2004
We present a probabilistic method for path planning that considers trajectories constrained by both the environment and an ensemble of restrictions or preferences on preferred mot...
82
Voted
FLAIRS
2004
15 years 2 months ago
2004
TURING Test technologies are promising ways to validate AI systems which may have no alternative way to indicate validity. Human experts (validators) are often too expensive to in...
86
Voted
AAAI
1998
15 years 1 months ago
1998
One difficulty with existing theoretical work on HTN planning is that it does not address some of the planning constructs that are commonly used in HTN planners for practical appl...
AAAI
1993
15 years 1 months ago
1993
In [Dague, 1993], a formal system ROM(K) involving four relations has been defined to reason with relative orders of magnitude. In this paper, problems of introducing quantitative...