238 search results - page 23 / 48 » Planning as Satisfiability |
SYNASC
2006
IEEE
14 years 5 months ago
2006
IEEE
We present a new planning algorithm that formulates the planning problem as a counting satisfiability problem in which the number of available solutions guides the planner determ...
ATAL
2011
Springer
12 years 11 months ago
2011
Springer
In multi-agent planning environments, action models for each agent must be given as input. However, creating such action models by hand is difficult and time-consuming, because i...
ICC
2007
IEEE
14 years 5 months ago
2007
IEEE
Multigranular optical WDM network aims to reduce network cost by grouping multiple wavelengths and then switching those wavelengths together at waveband or fiber levels. To configu...
ICRA
2003
IEEE
14 years 4 months ago
2003
IEEE
- This paper presents a third-order spline interpolation based trajectory planning method which is aiming to achieve smooth biped swing leg trajectory by reducing the instant veloc...
ICRA
2000
IEEE
14 years 3 months ago
2000
IEEE
Structured light is one of the well-known methods in part dimensional inspection that have been successfully employed in various applications in the past decades. In this method, ...