Sciweavers

144 search results - page 19 / 29
» New approaches to covering and packing problems
Sort
View
PIMRC
2008
IEEE
15 years 4 months ago
A hierarchical structure based coverage repair in wireless sensor networks
—In this paper, we propose a new control method to cover “holes” in wireless sensor networks. Many applications often face the problem of holes when some sensor nodes are dis...
Jie Wu, Zhen Jiang
DSN
2009
IEEE
15 years 4 months ago
Fitness-guided path exploration in dynamic symbolic execution
Dynamic symbolic execution is a structural testing technique that systematically explores feasible paths of the program under test by running the program with different test input...
Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wo...
75
Voted
CORR
2006
Springer
94views Education» more  CORR 2006»
14 years 9 months ago
Fitness Uniform Optimization
Abstract-- In evolutionary algorithms, the fitness of a population increases with time by mutating and recombining individuals and by a biased selection of more fit individuals. Th...
Marcus Hutter, Shane Legg
CORR
2008
Springer
86views Education» more  CORR 2008»
14 years 9 months ago
Design by Measure and Conquer, A Faster Exact Algorithm for Dominating Set
The measure and conquer approach has proven to be a powerful tool to analyse exact algorithms for combinatorial problems, like Dominating Set and Independent Set. In this paper, we...
Johan M. M. van Rooij, Hans L. Bodlaender
CONSTRAINTS
2007
46views more  CONSTRAINTS 2007»
14 years 9 months ago
Local-search Extraction of MUSes
SAT is probably one of the most-studied constraint satisfaction problems. In this paper, a new hybrid technique based on local search is introduced in order to approximate and ext...
Éric Grégoire, Bertrand Mazure, C&ea...