6059 search results - page 52 / 1212 » A Technique for Verifying Measurements |
ICIAP
2001
Springer
15 years 2 months ago
2001
Springer
The paper proposes a temporal filtering technique for the disparity measurements generated by area-based stereomatching algorithms. The technique improves temporal consistency of...
151
click to vote
Publication
Still and multi-media images are subject to transformations for compression, steganographic embedding and digital watermarking. In a major program of activities we are engaged in t...
APLAS
2004
ACM
15 years 1 months ago
2004
ACM
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher-order programs. The ...
IWPC
2000
IEEE
15 years 2 months ago
2000
IEEE
Experimental evaluation of clustering techniques for component recovery is necessary in order to analyze their strengths and weaknesses in comparison to other techniques. For comp...
DATE
2004
IEEE
15 years 1 months ago
2004
IEEE
In this paper, we propose a simple technique for estimating the standard deviation of a Gaussian random jitter component in a multi-gigahertz signal. This method may utilize exist...