Sciweavers

42738 search results - page 168 / 8548
» Search Computing Systems
Sort
View
TAMC
2010
Springer
15 years 8 months ago
Optimal Acceptors and Optimal Proof Systems
Unless we resolve the P vs NP question, we are unable to say whether there is an algorithm (acceptor) that accepts Boolean tautologies in polynomial time and does not accept non-ta...
Edward A. Hirsch
AUTOMATICA
2008
75views more  AUTOMATICA 2008»
15 years 3 months ago
Optimal complexity reduction of polyhedral piecewise affine systems
This paper focuses on the NP-hard problem of reducing the complexity of piecewise polyhedral systems (e.g. polyhedral piecewise affine (PWA) systems). The results are fourfold. Fi...
Tobias Geyer, Fabio Danilo Torrisi, Manfred Morari
GECCO
2007
Springer
181views Optimization» more  GECCO 2007»
15 years 9 months ago
A study on metamodeling techniques, ensembles, and multi-surrogates in evolutionary computation
Surrogate-Assisted Memetic Algorithm(SAMA) is a hybrid evolutionary algorithm, particularly a memetic algorithm that employs surrogate models in the optimization search. Since mos...
Dudy Lim, Yew-Soon Ong, Yaochu Jin, Bernhard Sendh...
ICDIM
2007
IEEE
15 years 9 months ago
Exploration of multiple roots for a polynomial system
Several problems from engineering, chemistry, medicine, etc. can be formulated as a system of equations. Finding a solution for such a system sometimes requires high computational...
Crina Grosan, Ajith Abraham
GECCO
2006
Springer
332views Optimization» more  GECCO 2006»
15 years 7 months ago
Multi-objective PID-controller tuning for a magnetic levitation system using NSGA-II
This paper investigates the issue of PID-controller parameter tuning for a magnetic levitation system using the nondominated sorting genetic algorithm (NSGA-II). The magnetic levi...
Gerulf K. M. Pedersen, Zhenyu Yang