5216 search results - page 793 / 1044 » Planning as Model Checking |
152
click to vote
NIPS
2004
15 years 8 months ago
2004
We investigate an approach for simultaneously committing to multiple activities, each modeled as a temporally extended action in a semi-Markov decision process (SMDP). For each ac...
169
click to vote
PUK
2001
15 years 8 months ago
2001
Urban design is a creative task that demands the balancing of issues from multiple domains such as architecture, zoning laws, traffic planning, and others. As such, classic design ...
190
click to vote
WSCG
2004
15 years 7 months ago
2004
Determining the position and orientation of a workpiece relative to a manufacturing device is a prerequisite for machining path planning. If the workpiece is freeform and if it co...
199
click to vote
AAAI
2000
15 years 7 months ago
2000
We propose a novel algorithmic framework to solve an integrated planning and scheduling problem in supply chain management. This problem involves the integration of an inventory m...
154
click to vote
WIRTSCHAFTSINFORMATI
2003
15 years 7 months ago
2003
: Data warehouse projects, today, are in an ambivalent situation. On the one hand, data warehouses are critical for a company's success and various methodological and technolo...