2333 search results - page 32 / 467 » Recursive Computational Depth |
85
Voted
STACS
2012
Springer
13 years 8 months ago
2012
Springer
97
Voted
POPL
2010
ACM
15 years 9 months ago
2010
ACM
This paper introduces a new recursion principle for inductive data modulo -equivalence of bound names. It makes use of Oderskystyle local names when recursing over bound names. It...
105
Voted
APLAS
2004
ACM
15 years 5 months ago
2004
ACM
Abstract. More than being just a tool for expressing algorithms, a welldesigned programming language allows the user to express her ideas efficiently. The design choices however eï...
102
click to vote
ICCV
2009
IEEE
16 years 5 months ago
2009
IEEE
The classical approach to depth from defocus uses two
images taken with circular apertures of different sizes. We
show in this paper that the use of a circular aperture
severely...
88
Voted
CVPR
2005
IEEE
16 years 2 months ago
2005
IEEE
This paper addresses the problem of reconstructing the geometry and color of a Lambertian scene, given some fully calibrated images acquired with wide baselines. In order to compl...