2233 search results - page 83 / 447 » Modular type classes |
102
click to vote
PVLDB
2008
14 years 11 months ago
2008
Trajectory classification, i.e., model construction for predicting the class labels of moving objects based on their trajectories and other features, has many important, real-worl...
BMCBI
2007
15 years 9 hour ago
2007
Background: With the popularisation of high-throughput techniques, the need for procedures that help in the biological interpretation of results has increased enormously. Recently...
PODS
1994
ACM
15 years 4 months ago
1994
ACM
We present a typed polymorphic calculus that supports a general mechanism for view definition and object sharing among classes. In this calculus, a class can contain inclusion spe...
114
click to vote
BMVC
2010
14 years 10 months ago
2010
This paper presents a learning-based method for combining the shape and appearance feature types for 3D human pose estimation from single-view images. Our method is based on clust...
ICFP
2005
ACM
15 years 12 months ago
2005
ACM
MLF is a type system that extends a functional language with impredicative rank-n polymorphism. Type inference remains possible and only in some clearly defined situations, a loca...