1090 search results - page 136 / 218 » Resource-Bounded Partial Evaluation |
76
Voted
CVPR
2010
IEEE
15 years 6 months ago
2010
IEEE
This paper presents a sparse representation of 2D planar shape through the composition of warping functions, termed formlets, localized in scale and space. Each formlet subjects t...
CVPR
2010
IEEE
15 years 5 months ago
2010
IEEE
3D object recognition in scenes with occlusion and clutter is a difficult task. In this paper, we introduce a method that exploits the geometric scale-variability to aid in this ...
ATS
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract—SAT-based ATPG turned out to be a robust alternative to classical structural ATPG algorithms such as FAN. The number of unclassified faults can be significantly reduce...
PERCOM
2009
ACM
15 years 4 months ago
2009
ACM
Abstract—Content-based information dissemination has a potential number of applications in vehicular networking, including advertising, traffic and parking notifications and em...
PPOPP
2009
ACM
15 years 4 months ago
2009
ACM
Abstract. Transactional memory (TM) promises to simplify construction of parallel applications by allowing programmers to reason about interactions between concurrently executing c...