5216 search results - page 319 / 1044 » Planning as Model Checking |
172
click to vote
UAI
2007
15 years 6 months ago
2007
This paper introduces decision-theoretic planning techniques into automatic music generation. Markov decision processes (MDPs) are a mathematical model of planning under uncertain...
133
click to vote
AIPS
2007
15 years 7 months ago
2007
A great effort has been made today in the area of Artificial Intelligence for defining reliable automated planning systems that can be applied in real life applications. That le...
115
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Asbru is a complex formal language developed to represent clinical guidelines and protocols which are time- and processoriented. To facilitate and support the modeling in...
122
click to vote
DATE
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper proposes a comprehensive model for test planning in a core-based environment. The main contribution of this work is the use of several types of TAMs and the considerati...
135
click to vote
SIGGRAPH
2010
ACM
15 years 9 months ago
2010
ACM
This paper presents a physics-based locomotion controller based on online planning. At each time-step, a planner optimizes locomotion over multiple phases of gait. Stance dynamics...