Sciweavers

895 search results - page 79 / 179
» An Indirect Genetic Algorithm for Set Covering Problems
Sort
View
ENTCS
2007
115views more  ENTCS 2007»
14 years 11 months ago
A Global Algorithm for Model-Based Test Suite Generation
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...
Anders Hessel, Paul Pettersson
77
Voted
ICALP
2005
Springer
15 years 4 months ago
How Well Can Primal-Dual and Local-Ratio Algorithms Perform?
We define an algorithmic paradigm, the stack model, that captures many primal-dual and local-ratio algorithms for approximating covering and packing problems. The stack model is ...
Allan Borodin, David Cashman, Avner Magen
BMCBI
2007
153views more  BMCBI 2007»
14 years 11 months ago
A new pairwise kernel for biological network inference with support vector machines
Background: Much recent work in bioinformatics has focused on the inference of various types of biological networks, representing gene regulation, metabolic processes, protein-pro...
Jean-Philippe Vert, Jian Qiu, William Stafford Nob...
ESA
2003
Springer
189views Algorithms» more  ESA 2003»
15 years 4 months ago
On the Complexity of Approximating TSP with Neighborhoods and Related Problems
We prove that various geometric covering problems, related to the Travelling Salesman Problem cannot be efficiently approximated to within any constant factor unless P = NP. This ...
Shmuel Safra, Oded Schwartz
116
Voted
GECCO
2005
Springer
131views Optimization» more  GECCO 2005»
15 years 4 months ago
Multipopulation cooperative coevolutionary programming (MCCP) to enhance design innovation
This paper describes the development of an evolutionary algorithm called Multipopulation Cooperative Coevolutionary Programming (MCCP) that extends Genetic Programming (GP) to sea...
Emily M. Zechman, S. Ranji Ranjithan