882 search results - page 156 / 177 » Local Search for Very Large SAT Problems |
142
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: It has become increasingly apparent that a comprehensive database of RNA motifs is essential in order to achieve new goals in genomic and proteomic research. Secondary...
338
Voted
EC
2012
13 years 11 months ago
2012
In a multimodal optimization task, the main purpose is to find multiple optimal solutions (global and local), so that the user can have a better knowledge about different optima...
115
Voted
SDM
2009
SIAM
16 years 26 days ago
2009
SIAM
Most pattern discovery algorithms easily generate very large numbers of patterns, making the results impossible to understand and hard to use. Recently, the problem of instead sel...
163
Voted
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
— Scalable and efficient routing is a main challenge in the deployment of large ad hoc wireless networks. An essential element of practical routing protocols is their accommodat...
137
Voted
ICARCV
2002
IEEE
15 years 8 months ago
2002
IEEE
The focus of this work is on the problem of feature selection and classification for on-road vehicle detection. In particular, we propose using quantized Haar wavelet features an...