5216 search results - page 451 / 1044 » Planning as Model Checking |
199
click to vote
FIRBPERF
2005
IEEE
16 years 12 days ago
2005
IEEE
The main motivation for applying capacity planning techniques to the design of Internet-based video services is that very often these systems incur significant delays that decrea...
183
click to vote
KR
2004
Springer
16 years 4 days ago
2004
Springer
We continue to advocate a methodology that we used earlier for pattern discovery through exhaustive search in selected small domains. This time we apply it to the problem of disco...
190
click to vote
EXACT
2007
15 years 9 months ago
2007
In order to assist a power plant operator to face unusual situations, we have developed an intelligent assistant that explains the suggested commands generated by an MDP-based pla...
161
click to vote
AIPS
1998
15 years 8 months ago
1998
Planning by forward chaining through the world space has long been dismissed as being "obviously" infeasible. Nevertheless, this approach to planning has many advantages...
194
click to vote
AAI
2005
15 years 6 months ago
2005
The application of AI planning techniques to manufacturing systems is being widely deployed for all the tasks involved in the process, from product design to production planning an...