589 search results - page 46 / 118 » Local Search Algorithms for SAT: An Empirical Evaluation |
107
click to vote
PVLDB
2008
14 years 11 months ago
2008
The number of successful attacks on the Internet shows that it is very difficult to guarantee the security of online search engines. A breached server that is not detected in time...
IJCNN
2007
IEEE
15 years 6 months ago
2007
IEEE
— Efficient Training in a neural network plays a vital role in deciding the network architecture and the accuracy of these classifiers. Most popular local training algorithms t...
SIGIR
2008
ACM
14 years 11 months ago
2008
ACM
We present a novel passage-based approach to re-ranking documents in an initially retrieved list so as to improve precision at top ranks. While most work on passage-based document...
112
click to vote
INFOSCALE
2006
ACM
15 years 5 months ago
2006
ACM
The popularity and bandwidth consumption attributed to current Peer-to-Peer file-sharing applications makes the operation of these distributed systems very important for the Inte...
JMLR
2010
14 years 6 months ago
2010
We study the problem of learning an optimal Bayesian network in a constrained search space; skeletons are compelled to be subgraphs of a given undirected graph called the super-st...