589 search results - page 68 / 118 » Local Search Algorithms for SAT: An Empirical Evaluation |
123
click to vote
SIGIR
2012
ACM
13 years 2 months ago
2012
ACM
The intent-oriented search diversification methods developed in the field so far tend to build on generative views of the retrieval system to be diversified. Core algorithm compon...
WWW
2007
ACM
16 years 14 days ago
2007
ACM
This paper explores the use of social annotations to improve web search. Nowadays, many services, e.g. del.icio.us, have been developed for web users to organize and share their f...
GECCO
2008
Springer
15 years 27 days ago
2008
Springer
In recent years, the development of multi-objective evolutionary algorithms (MOEAs) hybridized with mathematical programming techniques has significantly increased. However, most...
119
click to vote
CIKM
2006
Springer
15 years 1 months ago
2006
Springer
Due to the resource limitation in the data stream environment, it has been reported that answering user queries according to the wavelet synopsis of a stream is an essential abili...
109
click to vote
DIS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. One of the main goals of Discovery Science is the development and analysis of methods for automatic knowledge discovery in the natural sciences. A central area of natural...