2 search results - page 1 / 1 » Local Type Reconstruction by Means of Symbolic Fixed Point I... |
ESOP
1994
Springer
13 years 9 months ago
1994
Springer
Abstract. We convert, via a version that uses constraints, a type inference system for strictness analysis into an algorithm which given an expression finds the set of possible typ...
CVPR
2009
IEEE
13 years 11 months ago
2009
IEEE
We present a new shape-from-distortion framework for recovering specular (reflective/refractive) surfaces. While most existing approaches rely on accurate correspondences between 2...