4276 search results - page 762 / 856 » Techniques for Empirical Validation |
160
click to vote
JAIR
2008
15 years 6 months ago
2008
It has been widely observed that there is no single "dominant" SAT solver; instead, different solvers perform best on different instances. Rather than following the trad...
169
click to vote
ISCA
2006
IEEE
15 years 6 months ago
2006
IEEE
Conventional relaxed memory ordering techniques follow a proactive model: at a synchronization point, a processor makes its own updates to memory available to other processors by ...
161
click to vote
JMLR
2008
15 years 6 months ago
2008
A number of today's state-of-the-art planners are based on forward state-space search. The impressive performance can be attributed to progress in computing domain independen...
197
click to vote
KAIS
2008
15 years 6 months ago
2008
Much work on skewed, stochastic, high dimensional, and biased datasets usually implicitly solve each problem separately. Recently, we have been approached by Texas Commission on En...
159
click to vote
SIGIR
2008
ACM
15 years 6 months ago
2008
ACM
Search personalization has been pursued in many ways, in order to provide better result rankings and better overall search experience to individual users [5]. However, blindly app...