844 search results - page 86 / 169 » Safraless Decision Procedures |
NIPS
2004
13 years 10 months ago
2004
We propose to selectively remove examples from the training set using probabilistic estimates related to editing algorithms (Devijver and Kittler, 1982). This heuristic procedure ...
TREC
2004
13 years 10 months ago
2004
: In this paper, we report our experiments in the mixed query task of the Web track for TREC 2004. We deal with the problem of ranking Web documents within a multicriteria framewor...
WSC
1997
13 years 10 months ago
1997
An important problem often faced by simulation analysts is that of choosing (or selecting) one of several potential system designs. This can be accomplished by comparing output fr...
AIPS
2009
13 years 10 months ago
2009
Planning based on propositional SAT(isfiability) is a powerful approach to computing step-optimal plans given a parallel execution semantics. In this setting: (i) a solution plan ...
AMAI
2007
Springer
13 years 9 months ago
2007
Springer
This paper is an overview of a variety of results, all centered around a common theme, namely embedding of non-classical logics into first order logic and resolution theorem prov...