834 search results - page 89 / 167 » A Decomposition Technique for Max-CSP |
ICIP
2003
IEEE
14 years 11 months ago
2003
IEEE
This paper is focused on algorithmic issues for biometric face verification (i.e., given an image of the face and an identity claim, decide whether they correspond to each other o...
ICIP
2000
IEEE
14 years 11 months ago
2000
IEEE
New rotationally invariant texture feature extraction methods are introduced that utilise the dual tree complex wavelet transform (DT-CWT). The complex wavelet transform is a new ...
ICPR
2004
IEEE
14 years 11 months ago
2004
IEEE
We propose a novel energy minimisation framework for the dense reconstruction of stereo image sequences that incorporates data fidelity as well as spatial and temporal regularity....
ICPR
2004
IEEE
14 years 11 months ago
2004
IEEE
Global and local adaptive thresholding techniques have been shown effective on particular types of documents. None produces consistently good results on all types of documents. In...
CADE
2008
Springer
14 years 10 months ago
2008
Springer
We present a novel proof of Toyama's famous modularity of confluence result for term rewriting systems. Apart from being short and intuitive, the proof is modular itself in th...