Sciweavers

359 search results - page 61 / 72
» A Hybrid Genetic Algorithm for the Quadratic Assignment Prob...
Sort
View
IWQOS
2004
Springer
14 years 1 months ago
Topology design for service overlay networks with bandwidth guarantees
— The Internet still lacks adequate support for QoS applications with real-time requirements. In great part, this is due to the fact that provisioning of end-to-end QoS to traf...
S. L. Vieira, Jörg Liebeherr
SAT
2005
Springer
104views Hardware» more  SAT 2005»
14 years 2 months ago
Observed Lower Bounds for Random 3-SAT Phase Transition Density Using Linear Programming
We introduce two incomplete polynomial time algorithms to solve satisfiability problems which both use Linear Programming (LP) techniques. First, the FlipFlop LP attempts to simul...
Marijn Heule, Hans van Maaren
CEC
2005
IEEE
14 years 2 months ago
Evolving hidden Markov models for protein secondary structure prediction
New results are presented for the prediction of secondary structure information for protein sequences using Hidden Markov Models (HMMs) evolved using a Genetic Algorithm (GA). We a...
Kyoung-Jae Won, Thomas Hamelryck, Adam Prügel...
EC
2008
146views ECommerce» more  EC 2008»
13 years 8 months ago
Automated Discovery of Local Search Heuristics for Satisfiability Testing
The development of successful metaheuristic algorithms such as local search for a difficult problems such as satisfiability testing (SAT) is a challenging task. We investigate an ...
Alex S. Fukunaga
ISSTA
2004
ACM
14 years 2 months ago
Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach
Evolutionary testing is an effective technique for automatically generating good quality test data. However, for structural testing, the technique degenerates to random testing i...
André Baresel, David Binkley, Mark Harman, ...