1879 search results - page 112 / 376 » Integrating motivations with planning |
179
click to vote
CADE
2003
Springer
16 years 7 months ago
2003
Springer
We describe the integration of permutation group algorithms with proof planning. We consider eight basic questions arising in computational permutation group theory, for which our ...
182
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— We present a novel approach to compute collisionfree paths for multiple robots subject to local coordination constraints. More specifically, given a set of robots, the...
177
click to vote
ICTAI
2006
IEEE
16 years 23 days ago
2006
IEEE
Precedence constraints play a crucial role in planning and scheduling problems. Many real-life problems also include dependency constraints expressing logical relations between the...
151
click to vote
CAISE
2003
Springer
15 years 12 months ago
2003
Springer
The integration of telecommunications and data networks enables Internet Service Providers (ISPs) to develop increasingly services to attract customers. Designing rational pricing ...
196
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
We propose HyDICE, Hybrid DIscrete Continuous Exploration, a multi-layered approach for hybrid-system testing that integrates continuous sampling-based robot motion planning with d...