882 search results - page 89 / 177 » Local Search for Very Large SAT Problems |
145
click to vote
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
— Robot search and rescue is a time critical task, i.e. a large terrain has to be explored by multiple robots within a short amount of time. The efficiency of exploration depend...
155
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
Classical Evolutionary Programming (CEP) and Fast Evolutionary Programming (FEP) have been applied to realvalued function optimisation. Both of these techniques directly evolve th...
139
click to vote
IJCAI
2007
15 years 5 months ago
2007
We introduce a new technique for counting models of Boolean satisfiability problems. Our approach incorporates information obtained from sampling the solution space. Unlike previ...
150
click to vote
JMLR
2010
14 years 11 months ago
2010
This paper aims to tackle the very interesting and important problem of user personalized ranking of search results. The focus is on news retrieval and the data from which the ran...
158
click to vote
BMCBI
2004
15 years 4 months ago
2004
Background: In population-based studies, it is generally recognized that single nucleotide polymorphism (SNP) markers are not independent. Rather, they are carried by haplotypes, ...