740 search results - page 22 / 148 » Tabu search algorithm for chemical process optimization |
EOR
2006
13 years 8 months ago
2006
Artificial neural networks (ANN) have been widely used for both classification and prediction. This paper is focused on the prediction problem in which an unknown function is appr...
EDBT
2012
ACM
11 years 11 months ago
2012
ACM
Increased availability of large repositories of chemical compounds has created new challenges and opportunities for the application of data-mining and indexing techniques to probl...
EUROCAST
2007
Springer
14 years 11 days ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...
COMPSAC
2004
IEEE
14 years 6 days ago
2004
IEEE
While meta-heuristics are effective for solving large-scale combinatorial optimization problems, they result from time-consuming trial-and-error algorithm design tailored to speci...
IPPS
2006
IEEE
14 years 2 months ago
2006
IEEE
The paper presents a new distributed metaheuristic algorithm in an optimal control problem related to the cooling process in the continuous casting of steel. The optimization task...