1809 search results - page 12 / 362 » Weakly Computable Real Numbers |
CIE
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We prove various results on effective numberings and Friedberg numberings of families related to algorithmic randomness. The family of all Martin-L¨of random left-compu...
CVPR
1996
IEEE
14 years 9 months ago
1996
IEEE
This paper addresses the problem of estimating the epipolar geometry from point correspondences between two images taken by uncalibrated perspective cameras. It is shown that Jeps...
VLSID
2000
IEEE
14 years 2 hour ago
2000
IEEE
Digital images are convenient media for describing and storing spatial, temporal, spectral, and physical components of information contained in a variety of domains(e.g. aerial/sa...
CVPR
2007
IEEE
14 years 9 months ago
2007
IEEE
Recent results on stereo indicate that an accurate segmentation is crucial for obtaining faithful depth maps. Variational methods have successfully been applied to both image segm...
ENTCS
2007
13 years 7 months ago
2007
Escard´o, Hofmann and Streicher showed that real-number computations in the interval-domain environment are inherently parallel, in the sense that they imply the presence of weak...