460 search results - page 43 / 92 » A New Approach to Conformant Planning Using CNF* |
IROS
2006
IEEE
15 years 3 months ago
2006
IEEE
- Interactive avatar control means a control mechanism using AI techniques to improve user navigation efficiency as well as visual realism in a 3D virtual environment. This paper r...
GAMEON
2003
14 years 11 months ago
2003
In this paper, we discuss another approach based on mimicry for interactive comedy, a relatively new genre in interactive drama. An interactive comedy system is proposed in which ...
187
click to vote
SIGIR
2012
ACM
13 years 5 days ago
2012
ACM
People are seldom aware that their search queries frequently mismatch a majority of the relevant documents. This may not be a big problem for topics with a large and diverse set o...
ECTEL
2007
Springer
15 years 3 months ago
2007
Springer
Most currently used e-Learning Systems do not often offer search functionality. Even if methods are provided to search for Learning Objects (LOs), they don’t usually utilize info...
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...