5216 search results - page 778 / 1044 » Planning as Model Checking |
138
click to vote
WSC
1997
15 years 7 months ago
1997
For many companies the scheduling of job shops proves very difficult. Competing priorities (due dates, potential profit) from multiple customers confronts the plant manager with m...
194
click to vote
ANOR
2007
15 years 6 months ago
2007
The quality of multi-stage stochastic optimization models as they appear in asset liability management, energy planning, transportation, supply chain management, and other applicat...
168
click to vote
CTW
2006
15 years 6 months ago
2006
Cognitive task analysis (CTA) approaches are currently needed in many domains to provide explicit guidance on redesigning existing systems. This study used goal-directed task analy...
169
click to vote
CAD
2007
Springer
15 years 6 months ago
2007
Springer
The recent advancement of solid freeform fabrication, design techniques and fundamental understanding of material properties in functionally graded materials has made it possible ...
158
click to vote
SIAMSC
2008
15 years 6 months ago
2008
Abstract. We present a new derivative-free algorithm, ORBIT, for unconstrained local optimization of computationally expensive functions. A trust-region framework using interpolati...