589 search results - page 72 / 118 » Local Search Algorithms for SAT: An Empirical Evaluation |
KDD
2009
ACM
16 years 10 days ago
2009
ACM
Classification of time series has been attracting great interest over the past decade. Recent empirical evidence has strongly suggested that the simple nearest neighbor algorithm ...
RECOMB
1999
Springer
15 years 4 months ago
1999
Springer
An important goal in bioinformatics is determining the homology and function of proteins from their sequences. Pairwise sequence similarity algorithms are often employed for this ...
HM
2007
Springer
15 years 3 months ago
2007
Springer
Optimization in sports is a field of increasing interest. A novel problem in sports management is the Referee Assignment Problem, in which a limited number of referees with differe...
WWW
2007
ACM
16 years 14 days ago
2007
ACM
In this paper, we show that most multiple term queries include more than one topic and users usually reformulate their queries by topics instead of terms. In order to provide empi...
CP
2008
Springer
15 years 1 months ago
2008
Springer
Decomposition is a powerful technique for reducing the size of a backtracking search tree. However, when solving constraint optimization problems (COP's) the standard techniqu...