7167 search results - page 45 / 1434 » A Technique for Invariant Generation |
134
click to vote
CVPR
2009
IEEE
16 years 9 months ago
2009
IEEE
This paper investigates ordinal image description for
invariant feature correspondence. Ordinal description is
a meta-technique which considers image measurements in
terms of th...
119
click to vote
DAC
2006
ACM
16 years 2 months ago
2006
ACM
In this paper, we present a method that helps improve the performance of Bounded Model Checking by automatically strengthening invariants so that the termination proof may be obta...
111
click to vote
ICIP
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper introduces a novel approach to the problem of active contour-based segmentation through the use of complexvalued wavelets. In traditional active contour-based segmentat...
124
click to vote
ICPR
2002
IEEE
16 years 3 months ago
2002
IEEE
Although human action recognition has been the subject of much research in the past, the issue of viewpoint invariance has received scarce attention. In this paper, we present an ...
113
click to vote
IMAGING
2003
15 years 3 months ago
2003
In this paper we propose a new device and illumination invariant image representation based on an existing greyscale image enhancement technique: histogram equalisation. Our metho...