5216 search results - page 466 / 1044 » Planning as Model Checking |
209
click to vote
ISBI
2006
IEEE
16 years 25 days ago
2006
IEEE
We describe the goals and proposed design for SimTK, part of the NIH-supported Simbios National Center for Biomedical Computing. SimTK (Simulation ToolKit) will enable biomedical ...
178
click to vote
IUI
2004
ACM
16 years 7 days ago
2004
ACM
In this paper, we describe a method for pedagogical agents to choose when to interact with learners in interactive learning environments. This method is based on observations of h...
333
click to vote
NPC
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Location estimation and user behavior recognition are research issues that go hand in hand. In the past, these two issues have been investigated separately. In this paper...
153
click to vote
SAC
2003
ACM
16 years 1 days ago
2003
ACM
Many information systems are used in a problem solving context. Examples are travel planning systems, catalogs in electronic commerce, or agenda planning systems. They can be made...
184
click to vote
AAAI
2006
15 years 8 months ago
2006
Planning in partially-observable dynamical systems is a challenging problem, and recent developments in point-based techniques such as Perseus significantly improve performance as...