136 search results - page 2 / 28 » Extending the Resolution Method with Sorts |
CADE
2008
Springer
14 years 5 months ago
2008
Springer
We consider proof systems for effectively propositional logic. First, we show that propositional resolution for effectively propositional logic may have exponentially longer refuta...
TABLETOP
2006
IEEE
13 years 11 months ago
2006
IEEE
Tabletops have been used to support a range of colocated activities, from games to image sorting. However, their limited display space and resolution can restrict the kinds of col...
CSR
2006
Springer
13 years 9 months ago
2006
Springer
We present a method to convert the construction of binary decision diagrams (BDDs) into extended resolution proofs. Besides in proof checking, proofs are fundamental to many applic...
LPAR
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Experiments show that many inequalities involving exponentials and logarithms can be proved automatically by combining a resolution theorem prover with a decision procedu...
TIP
2008
13 years 5 months ago
2008
This paper proposes a face hallucination method for the reconstruction of high-resolution facial images from single-frame, low-resolution facial images. The proposed method has bee...