2073 search results - page 230 / 415 » Learning for Dynamic Subsumption |
105
click to vote
DATE
2004
IEEE
15 years 6 months ago
2004
IEEE
In this paper, we present a novel all-solutions preimage SAT solver, SOLALL, with the following features: (1) a new success-driven learning algorithm employing smaller cut sets; (...
106
Voted
AAAI
2008
15 years 4 months ago
2008
We study the relative best-case performance of DPLL-based structure-aware SAT solvers in terms of the power of the underlying proof systems. The systems result from (i) varying th...
126
click to vote
ICDM
2007
IEEE
15 years 4 months ago
2007
IEEE
For applications with consecutive incoming training examples, on-line learning has the potential to achieve a likelihood as high as off-line learning without scanning all availabl...
116
Voted
FLAIRS
2004
15 years 3 months ago
2004
In this paper, we propose an agent-centric approach to resource description and selection in a multiagent information retrieval (IR). In the multiagent system, each agent learns f...
152
Voted
ICML
2010
IEEE
15 years 3 months ago
2010
IEEE
Inference in graphical models has emerged as a promising technique for planning. A recent approach to decision-theoretic planning in relational domains uses forward inference in d...