5216 search results - page 352 / 1044 » Planning as Model Checking |
181
click to vote
EOR
2007
15 years 5 months ago
2007
Crew scheduling problems at the planning level are typically solved in two steps: first, creating working patterns, and then assigning these to individual crew. The first step is ...
144
click to vote
IJRR
2002
15 years 4 months ago
2002
This paper presents two object manipulation planning methods based on fitted stratified and semi-stratified approaches using finger relocations. The problem is discussed in the fr...
142
click to vote
ICCAD
2005
IEEE
16 years 1 months ago
2005
IEEE
Heat dissipation is one of the most serious challenges in 3D IC designs. One effective way of reducing circuit temperature is to introduce thermal through-the-silicon (TTS) vias....
147
click to vote
AGENTS
1997
Springer
15 years 9 months ago
1997
Springer
We have been developing Rogue, an architecture that integrates high-level planning with a low-level executing robotic agent. Rogue is designed as the oce gofer task planner for X...
139
Voted
AIPS
2008
15 years 7 months ago
2008
Flexible general purpose robots need to tailor their visual processing to their task, on the fly. We propose a new approach to this within a planning framework, where the goal is ...