8828 search results - page 1254 / 1766 » Formal methods in practice |
211
click to vote
CVPR
2008
IEEE
16 years 9 months ago
2008
IEEE
Linear inverse problems in computer vision, including motion estimation, shape fitting and image reconstruction, give rise to parameter estimation problems with highly correlated ...
222
click to vote
ICCV
2007
IEEE
16 years 9 months ago
2007
IEEE
Linear Discriminant Analysis (LDA) has been a popular method for extracting features which preserve class separability. The projection vectors are commonly obtained by maximizing ...
196
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
Early approaches to building mosaics by composing photographic images, assume the input images have similar exposures. Since this is unlikely to happen in practice, it became comm...
190
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
The autofocus problem in synthetic aperture radar (SAR) is considered, where phase errors in the acquired signal data result in imagery that is improperly focused. We present a ne...
301
click to vote
ICDE
2007
IEEE
16 years 8 months ago
2007
IEEE
We propose a class of constraints, referred to as conditional functional dependencies (CFDs), and study their applications in data cleaning. In contrast to traditional functional ...