882 search results - page 131 / 177 » Local Search for Very Large SAT Problems |
140
click to vote
ICARIS
2010
Springer
15 years 1 months ago
2010
Springer
In this research work a large set of the classical numerical functions were taken into account in order to understand both the search capability and the ability to escape from a lo...
138
click to vote
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
Genetic Programming uses trees to represent chromosomes. The user defines the representation space by defining the set of functions and terminals to label the nodes in the trees....
145
click to vote
SIGIR
2009
ACM
15 years 10 months ago
2009
ACM
With the continuing advances in data storage and communication technology, there has been an explosive growth of music information from different application domains. As an effe...
131
click to vote
BMCBI
2006
15 years 3 months ago
2006
Background: High throughput technologies often require the retrieval of large data sets of sequences. Retrieval of EMBL or GenBank entries using keywords is easy using tools such ...
108
click to vote
ICIAP
2007
ACM
16 years 4 months ago
2007
ACM
In this paper, we address the relatively unexplored problem of classifying texture surfaces undergoing significant levels of non-rigid deformation. State-of-the-art texture classi...