2596 search results - page 126 / 520 » Gradual Typing for Objects |
123
Voted
ENTCS
2008
15 years 3 months ago
2008
We present a type system extending the dependent type theory LF, whose terms are more amenable to compact representation. This is achieved by carefully omitting certain subterms w...
153
Voted
ECCV
2004
Springer
16 years 5 months ago
2004
Springer
In this paper we describe the first stage of a new learning system for object detection and recognition. For our system we propose Boosting [5] as the underlying learning technique...
123
Voted
ECOOP
2008
Springer
15 years 5 months ago
2008
Springer
Verification of object-oriented programs relies on object invariants which express consistency criteria of objects. The semantics of object invariants is subtle, mainly because of...
132
Voted
ESOP
2009
Springer
15 years 7 months ago
2009
Springer
Ownership types characterize the topology of objects in the heap, through a characterization of the context to which an object belongs. They have been used to support reasoning, me...
135
Voted
CVPR
2005
IEEE
16 years 5 months ago
2005
IEEE
We combine local texture features (PCA-SIFT), global features (shape context), and spatial features within a single multi-layer AdaBoost model of object class recognition. The fir...