842 search results - page 32 / 169 » Search Control Techniques for Planning |
171
click to vote
VLSID
2008
IEEE
16 years 5 months ago
2008
IEEE
This paper demonstrates a formal verificationplanning process and presents associated verification strategy that we believe is an essential (yet often neglected) step in an ASIC o...
132
Voted
AAAI
2007
15 years 7 months ago
2007
For autonomous artificial decision-makers to solve realistic tasks, they need to deal with searching through large state and action spaces under time pressure. We study the probl...
129
Voted
AI
2001
Springer
15 years 9 months ago
2001
Springer
Reinforcement learning techniques are increasingly being used to solve di cult problems in control and combinatorial optimization with promising results. Implicit imitation can acc...
130
Voted
AIPS
2008
15 years 7 months ago
2008
Planning as heuristic search is a powerful approach to solving domain independent planning problems. In recent years, various successful heuristics and planners like FF, LPG, FAST...
154
Voted
CI
2011
15 years 19 hour ago
2011
We investigate the application of modern planning techniques to domains arising from problems in natural language generation (NLG). In particular, we consider two novel NLGinspire...