489 search results - page 3 / 98 » Type classes as objects and implicits |
HASKELL
2006
ACM
13 years 11 months ago
2006
ACM
In this paper we address the lack of extensibility of the exception type in Haskell. We propose a lightweight solution involving the use of existential types and the Typeable clas...
POPL
2007
ACM
14 years 5 months ago
2007
ACM
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...
ICCV
2009
IEEE
13 years 3 months ago
2009
IEEE
We present a system that constructs "implicit shape models" for classes of rigid 3D objects and utilizes these models to estimating the pose of class instances in single...
CLOR
2006
13 years 7 months ago
2006
We present a method for object categorization in real-world scenes. Following a common consensus in the field, we do not assume that a figure-ground segmentation is available prior...
DICTA
2003
13 years 7 months ago
2003
This paper describes a new technique for free-form object segmentation from a single arbitrary-viewed range image. The aim is to derive a surface description of objects that may va...