27 search results - page 1 / 6 » An Experimental Evaluation of Ground Decision Procedures |
CAV
2004
Springer
14 years 4 months ago
2004
Springer
DAC
2003
ACM
14 years 12 months ago
2003
ACM
SAT-based decision procedures for quantifier-free fragments of firstorder logic have proved to be useful in formal verification. These decision procedures are either based on enco...
LPAR
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. We describe a novel decision procedure for Quantified Boolean Formulas (QBFs) which aims to unleash the hidden potential of quantified reasoning in applications. The Sk...
AND
2009
13 years 8 months ago
2009
In this paper, we propose a new comprehensive methodology in order to evaluate the performance of noisy historical document recognition techniques. We aim to evaluate not only the...
SAC
2010
ACM
14 years 5 months ago
2010
ACM
A concept learning framework for terminological representations is introduced. It is grounded on a method for inducing logic decision trees as an adaptation of the classic tree in...