2440 search results - page 177 / 488 » Explanation-Based Feature Construction |
170
click to vote
ICCV
2003
IEEE
16 years 6 months ago
2003
IEEE
We present an image-based approach to infer 3D structure parameters using a probabilistic "shape+structure" model. The 3D shape of an object class is represented by sets...
273
click to vote
POPL
2006
ACM
16 years 5 months ago
2006
ACM
We offer a solution to the type inference problem for an extension of Hindley and Milner's type system with generalized algebraic data types. Our approach is in two strata. T...
234
click to vote
POPL
2004
ACM
16 years 5 months ago
2004
ACM
We present a formalization of the implementation of generics in the .NET Common Language Runtime (CLR), focusing on two novel aspects of the implementation: mixed specialization a...
144
click to vote
ICFP
2003
ACM
16 years 4 months ago
2003
ACM
We propose a type system for locating the source of type errors in an applied lambda calculus with ML-style polymorphism. The system is based on discriminative sum types--known fr...
140
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
The notion of ThisType has been proposed to promote typesafe reuse of binary methods and recently extended to mutually recursive definitions. It is well-known, however, that This...