1486 search results - page 14 / 298 » A Logically Saturated Extension of |
109
click to vote
ICCV
2011
IEEE
14 years 1 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...
122
Voted
JFPLC
1998
15 years 3 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...
120
click to vote
APAL
2006
15 years 1 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...
87
Voted
ISCAS
1993
IEEE
15 years 6 months ago
1993
IEEE
ASP
2001
Springer
15 years 5 months ago
2001
Springer