Sciweavers

241 search results - page 4 / 49
» Generic Patch Inference
Sort
View
ECOOP
2011
Springer
12 years 7 months ago
Tunable Static Inference for Generic Universe Types
Object ownership is useful for many applications, including program verification, thread synchronization, and memory management. However, the annotation overhead of ownership type...
Werner Dietl, Michael D. Ernst, Peter Müller
MPC
2004
Springer
155views Mathematics» more  MPC 2004»
14 years 21 days ago
Inferring Type Isomorphisms Generically
Abstract. Datatypes which differ inessentially in their names and structure are said to be isomorphic; for example, a ternary product is isomorphic to a nested pair of binary prod...
Frank Atanassow, Johan Jeuring
ICCV
2009
IEEE
15 years 9 days ago
Patch based Within-Object Classification
Advances in object detection have made it possible to collect large databases of certain objects. In this paper we exploit these datasets for within-object classification. For e...
Jania Aghajanian, Jonathan Warrell, Simon J.D. Pri...
CVPR
2012
IEEE
11 years 9 months ago
Augmenting deformable part models with irregular-shaped object patches
The performance of part-based object detectors generally degrades for highly flexible objects. The limited topological structure of models and pre-specified part shapes are two ...
Roozbeh Mottaghi
TPHOL
2000
IEEE
13 years 11 months ago
TAS - A Generic Window Inference System
Christoph Lüth, Burkhart Wolff