5550 search results - page 19 / 1110 » Different Approaches to Proof Systems |
TAMC
2010
Springer
15 years 3 months ago
2010
Springer
We study possible formulations of algebraic propositional proof systems operating with noncommutative formulas. We observe that a simple formulation gives rise to systems at least ...
ADBIS
2006
Springer
15 years 4 months ago
2006
Springer
Computational database technology spans the two research fields data-base technology and scientific computing. It involves development of database capabilities that support compu...
ICIP
2006
IEEE
15 years 11 months ago
2006
IEEE
Resolution improvement from several images is typically restricted to simple planar rotations and translations. In this paper, a super-resolution algorithm that allows 3D ego-moti...
MLDM
1999
Springer
15 years 2 months ago
1999
Springer
In the field of pattern recognition, multiple classifier systems based on the combination of the outputs of a set of different classifiers have been proposed as a method for the de...
SCAM
2006
IEEE
15 years 4 months ago
2006
IEEE
An approach for factoring source-code differences is presented. A single large difference between two versions of a program is decomposed into factors (i.e., smaller changes). The...