1670 search results - page 229 / 334 » On Skolemization in constructive theories |
153
click to vote
ICCV
1998
IEEE
16 years 8 months ago
1998
IEEE
Diffuse interreflections cause effects that make current theories of shape from shading unsatisfactory. We show that distant radiating surfaces produce radiosity effects at low sp...
160
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
We consider the problem of image comparison in order to match smooth surfaces under varying illumination. In a smooth surface nearby surface normals are highly correlated. We model...
174
click to vote
ICIP
2001
IEEE
16 years 8 months ago
2001
IEEE
In this paper we use concepts from the lattice-based theory of morphological operators and fuzzy sets to develop generalized lattice image operators that can be expressed as nonli...
113
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
Recently it has been claimed that as early as 1420 some European artists constructed their paintings by optically projecting images onto their supports (canvas, oak panel, etc.) a...
147
click to vote
ICPR
2000
IEEE
16 years 7 months ago
2000
IEEE
The matching of hierarchical relational structures is of significant interest in computer vision and pattern recognition. We have recently introduced a new solution to this proble...