Sciweavers

1144 search results - page 169 / 229
» Feasibility Studies
Sort
View
CORR
2010
Springer
152views Education» more  CORR 2010»
13 years 9 months ago
A Faster Algorithm for Quasi-convex Integer Polynomial Optimization
We present a faster exponential-time algorithm for integer optimization over quasi-convex polynomials. We study the minimization of a quasiconvex polynomial subject to s quasi-con...
Robert Hildebrand, Matthias Köppe
EOR
2008
75views more  EOR 2008»
13 years 9 months ago
Soft car sequencing with colors: Lower bounds and optimality proofs
This paper is a study of the car sequencing problem, when feature spacing constraints are soft and colors of vehicles are taken into account. Both pseudo-polynomial algorithms and ...
Thierry Benoist
IANDC
2008
120views more  IANDC 2008»
13 years 9 months ago
A framework for compositional verification of security protocols
Automatic security protocol analysis is currently feasible only for small protocols. Since larger protocols quite often are composed of many small protocols, compositional analysi...
Suzana Andova, Cas J. F. Cremers, Kristian Gj&osla...
CCE
2006
13 years 9 months ago
A global view of graduate process control education
This paper reviews the status of graduate level process control education and surveys graduate process control offerings for more than 50 chemical engineering and control engineer...
Thomas F. Edgar, Babatunde A. Ogunnaike, Kenneth R...
COR
2006
122views more  COR 2006»
13 years 8 months ago
Experimental Analysis of Approximation Algorithms for the Vertex Cover and Set Covering Problems
Several approximation algorithms with proven performance guarantees have been proposed to find approximate solutions to classical combinatorial optimization problems. However, the...
Fernando C. Gomes, Cláudio Nogueira de Mene...