1486 search results - page 14 / 298 » A Logically Saturated Extension of |
ICCV
2011
IEEE
12 years 7 months ago
2011
IEEE
We present a study of radiometric calibration and the incamera imaging process through an extensive analysis of more than 10,000 images from over 30 cameras. The goal is to invest...
JFPLC
1998
13 years 9 months ago
1998
Abstract. This paper presents a feature constraint system that, compared with the well-known systems OSF 1] and CFT 5], incorporates several interesting characteristics. The new sy...
APAL
2006
13 years 7 months ago
2006
By a well-known result of Cook and Reckhow [4, 12], all Frege systems for the Classical Propositional Calculus (CPC) are polynomially equivalent. Mints and Kojevnikov [11] have re...
ISCAS
1993
IEEE
13 years 12 months ago
1993
IEEE
ASP
2001
Springer
13 years 11 months ago
2001
Springer