5525 search results - page 899 / 1105 » Verification of Model Transformations |
135
click to vote
CVPR
2001
IEEE
16 years 6 months ago
2001
IEEE
An imaging system with a single effective viewpoint is called a central projection system. The conventional perspective camera is an example of a central projection system. System...
198
click to vote
ECCV
2006
Springer
16 years 6 months ago
2006
Springer
Since it is hard to handcraft the prior knowledge in a shape detection framework, machine learning methods are preferred to exploit the expert annotation of the target shape in a d...
152
click to vote
ICIP
2008
IEEE
16 years 6 months ago
2008
IEEE
This paper presents a distributed and occlusion-robust coding scheme for multi-view omnidirectional images, which relies on the geometry of the 3D scene. The Wyner-Ziv coder uses ...
129
click to vote
ICIP
2001
IEEE
16 years 5 months ago
2001
IEEE
In lossy image compression schemes utilizing the discrete cosine transform (DCT), quantization of the DCT coefficients introduces error in the image representation and a loss of s...
118
click to vote
DAC
1998
ACM
16 years 5 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...