Sciweavers

2765 search results - page 336 / 553
» Works and representation
Sort
View
ICCV
2009
IEEE
15 years 4 months ago
Face alignment through subspace constrained mean-shifts
Deformable model fitting has been actively pursued in the computer vision community for over a decade. As a result, numerous approaches have been proposed with varying degrees of ...
Jason M. Saragih, Simon Lucey, Jeffrey F. Cohn
CCS
2011
ACM
14 years 6 months ago
Policy auditing over incomplete logs: theory, implementation and applications
We present the design, implementation and evaluation of an algorithm that checks audit logs for compliance with privacy and security policies. The algorithm, which we name reduce,...
Deepak Garg, Limin Jia, Anupam Datta
186
Voted
SIGGRAPH
1996
ACM
15 years 10 months ago
A Volumetric Method for Building Complex Models from Range Images
A number of techniques have been developed for reconstructing surfaces by integrating groups of aligned range images. A desirable set of properties for such algorithms includes: i...
Brian Curless, Marc Levoy
ICCV
2009
IEEE
16 years 11 months 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...
TACAS
2010
Springer
191views Algorithms» more  TACAS 2010»
16 years 1 months ago
Blocked Clause Elimination
Boolean satisfiability (SAT) and its extensions are becoming a core technology for the analysis of systems. The SAT-based approach divides into three steps: encoding, preprocessin...
Matti Järvisalo, Armin Biere, Marijn Heule