2646 search results - page 60 / 530 » Local Type Inference |
113
Voted
JFP
2000
15 years 10 days ago
2000
In this paper we present two type inference systems for detecting useless-code in higher-order typed functional programs. Type inference can be performed in an efficient and compl...
103
Voted
ICSM
2005
IEEE
15 years 6 months ago
2005
IEEE
In order to support the maintenance of object-oriented software systems, the quality of their design must be evaluated using adequate quantification means. In spite of the curren...
110
Voted
MVA
2010
14 years 7 months ago
2010
3D vision guided manipulation of components is a key problem of industrial machine vision. In this paper, we focus on the localization and pose estimation of known industrial objec...
102
Voted
MICCAI
2010
Springer
14 years 11 months ago
2010
Springer
In this paper we introduce a novel approach for inferring articulated spine models from images. A low-dimensional manifold embedding is created from a training set of prior mesh mo...
118
Voted
TLDI
2010
ACM
15 years 9 months ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...