7393 search results - page 266 / 1479 » Synthesis-for-testability using transformations |
115
click to vote
JMIV
2010
15 years 2 months ago
2010
In this paper, we present a novel algorithm that combines the power of expression of Geometric Algebra with the robustness of Tensor Voting to find the correspondences between two...
143
click to vote
ICIP
2010
IEEE
15 years 2 months ago
2010
IEEE
Optical scanning holography is a form of digital holographic system, which allows us to capture a three-dimensional (3D) object in the two-dimensional (2D) hologram. A postprocess...
133
click to vote
MPC
1995
Springer
15 years 7 months ago
1995
Springer
PVS is a highly automated framework for speci cation and veri cation. We show how the language and deduction features of PVS can be used to formalize, mechanize, and apply some us...
137
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
In this paper we present a comparative study on fusion of visual and thermal images using different wavelet transformations. Here, coefficients of discrete wavelet transforms from...
184
click to vote
MEDIAFORENSICS
2010
15 years 2 months ago
2010
One of the critical steps in designing a secure biometric system is protecting the templates of the users that are stored either in a central database or on smart cards. If a biom...