5216 search results - page 949 / 1044 » Planning as Model Checking |
173
click to vote
CCE
2008
15 years 3 months ago
2008
Deterministic optimization approaches have been well developed and widely used in the process industry to accomplish off-line and on-line process optimization. The challenging tas...
126
click to vote
COR
2010
15 years 3 months ago
2010
: In this paper, we study a new variant of the vehicle routing problem (VRP) with time windows, multi-shift, and overtime. In this problem, a limited fleet of vehicles is used repe...
122
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
In this paper an improved version of the graded precision localization algorithm GRADELOC, called IGRADELOC is proposed. The performance of GRADELOC is dependent on the regions fo...
112
click to vote
DEBU
2008
15 years 3 months ago
2008
We present the SQL Performance Analyzer, a novel approach in Oracle Database 11g to testing database changes, such as upgrades, parameter changes, schema changes, and gathering op...
128
click to vote
INFORMS
2008
15 years 3 months ago
2008
Cycle time-throughput (CT-TH) percentile curves quantify the relationship between percentiles of cycle time and factory throughput, and they can play an important role in strategi...