4276 search results - page 282 / 856 » Techniques for Empirical Validation |
167
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
We propose in this paper a robust multi-resolution technique to estimate dense velocity field from image sequences. It couples a Gaussian pyramidal down-sampling decomposition to...
184
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Missing data techniques have been recently applied to speaker recognition to increase performance in noisy environments. The drawback of these techniques is the vulnerability of t...
160
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
We propose a novel technique for estimating the number of people in a video sequence; it has the advantages of being stable even in crowded situations and needing no ground-truth ...
176
Voted
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
We are designing scalable dynamic information flow tracking techniques and employing them to carry out tasks related to debugging (bug location and fault avoidance), security (so...
175
click to vote
CSFW
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...