6800 search results - page 890 / 1360 » Testing with Functions as Specifications |
379
Voted
ICDAR
2011
IEEE
14 years 6 months ago
2011
IEEE
This paper presents a fully automatic framework for the restoration of double-sided historical manuscripts which are impaired by ink bleed-through distortions. First, the recto si...
199
Voted
PAMI
2012
13 years 9 months ago
2012
—We describe an approach for segmenting a moving image into regions that correspond to surfaces in the scene that are partially surrounded by the medium. It integrates both appea...
231
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
This paper introduces simultaneous globally optimal hand-eye self-calibration in both its rotational and translational components. The main contributions are new feasibility tests...
222
Voted
IJCV
2012
13 years 9 months ago
2012
Abstract We tackle the problem of detecting occluded regions in a video stream. Under assumptions of Lambertian reflection and static illumination, the task can be posed as a vari...
179
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: A JavaTM application is presented, which compares large numbers (n > 100) of raw FTICR mass spectra from patients and controls. Two peptide profile matrices can be ...