8828 search results - page 1572 / 1766 » Formal methods in practice |
125
click to vote
NHM
2010
14 years 11 months ago
2010
We present in this paper a review of some recent work dedicated to the numerical interfacial coupling of fluid models. One main motivation of the whole work is to provide some mean...
151
click to vote
TCSV
2010
14 years 11 months ago
2010
We present an efficient and accurate method for duplicate video detection in a large database using video fingerprints. We have empirically chosen the Color Layout Descriptor, a c...
157
click to vote
TIFS
2010
14 years 11 months ago
2010
Biometric fusion consolidates the output of multiple biometric classifiers to render a decision about the identity of an individual. We consider the problem of designing a fusion s...
126
click to vote
TIP
2010
14 years 11 months ago
2010
Abstract--This paper proposes a robust single-image super-resolution method for enlarging low quality web image/video degraded by downsampling and compression. To simultaneously im...
147
click to vote
TSP
2010
14 years 11 months ago
2010
Constant modulus transforms like discrete Fourier transform (DFT), Walsh transform, and Gold codes have been successfully used over several decades in several engineering applicati...