513 search results - page 5 / 103 » Shape Types |
89
Voted
PR
2000
14 years 9 months ago
2000
A novel method based on shape morphing is proposed for 2D shape recognition. In this framework, the shape of objects is described by using their contour. Shape recognition involve...
111
click to vote
CVPR
2012
IEEE
12 years 12 months ago
2012
IEEE
A good model of object shape is essential in applications such as segmentation, object detection, inpainting and graphics. For example, when performing segmentation, local constra...
82
Voted
TLCA
2007
Springer
15 years 3 months ago
2007
Springer
We present a size-aware type system for first-order shapely function definitions. Here, a function definition is called shapely when the size of the result is determined exactly...
ENTCS
2007
14 years 9 months ago
2007
In the constructive setting, membership predicates over recursive types are inhabited by terms indexing the elements that satisfy the criteria for membership. In this paper, we mo...
83
Voted
ECOOP
2008
Springer
14 years 11 months ago
2008
Springer
This paper describes Kilim, a framework that employs a combination of techniques to help create robust, massively concurrent systems in mainstream languages such as Java: (i) ultra...