5216 search results - page 250 / 1044 » Planning as Model Checking |
149
click to vote
IJCAI
1993
15 years 5 months ago
1993
Anytime algorithms, whose quality of results improves gradually as computation time increases, provide useful performance components for timecritical planning and control of robot...
138
click to vote
RTCSA
1999
IEEE
15 years 8 months ago
1999
IEEE
Scheduling in an environment with constraints of many different types is known to be a hard problem. We tackle this problem for an integrated steel plant in Ghent, Belgium, using ...
121
click to vote
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper presents a new LP (Linear Programming) model to solve a tactical wood procurement and harvesting problem. This optimization problem occurs in several wood supply chains...
124
click to vote
ENVSOFT
2008
15 years 4 months ago
2008
Increasing population, diminishing supplies and variable climatic conditions can cause difficulties in meeting water demands; especially in arid regions where water resources are ...
141
click to vote
CVPR
1997
IEEE
15 years 8 months ago
1997
IEEE
We present an incremental system that builds accurate CAD models of objects from multiple range images. Using a hybrid of surface mesh and volumetric representations, the system c...