5216 search results - page 255 / 1044 » Planning as Model Checking |
131
click to vote
WSC
2007
15 years 6 months ago
2007
Agility, speed and flexibility in production networks are required in today's global competition in the flat world. The accuracy of order date delivery promises is a key elem...
113
click to vote
SWAT
1998
Springer
15 years 8 months ago
1998
Springer
We study the complexity of the motion planning problem for a bounded-reach robot in the situation where the n obstacles in its workspace satisfy two of the realistic models propos...
148
click to vote
CAISE
2006
Springer
15 years 8 months ago
2006
Springer
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...
175
click to vote
IJACTAICIT
2010
15 years 1 months ago
2010
In this work, a Modified Vector Field Histogram (MVFH) has been developed to improve path planning and obstacle avoidance for a wheeled driven mobile robot. It permits the detecti...
115
click to vote
QUACON
2009
Springer
15 years 11 months ago
2009
Springer
Open architectures demand for a federation of data from different context providers, which nearly always will be inconsistent to a certain degree. We present an approach for the ev...