2 search results - page 1 / 1 » Local Type Reconstruction by Means of Symbolic Fixed Point I... |
125
click to vote
ESOP
1994
Springer
15 years 7 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...
145
click to vote
CVPR
2009
IEEE
15 years 9 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...