153 search results - page 19 / 31 » Warrant without truth |
114
Voted
ECCV
2004
Springer
16 years 2 months ago
2004
Springer
We present a novel variational approach to top-down image segmentation, which accounts for significant projective transformations between a single prior image and the image to be s...
143
Voted
CADE
2005
Springer
16 years 1 months ago
2005
Springer
Two kinds of orderings are widely used in term rewriting and theorem proving, namely recursive path ordering (RPO) and Knuth-Bendix ordering (KBO). They provide powerful tools to p...
89
Voted
CHI
2010
ACM
15 years 7 months ago
2010
ACM
Electronic documents such as PDFs are becoming increasingly popular as we move further towards the notion of the paperless office. The harsh truth however is that e-documents diff...
129
click to vote
CVPR
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper we revisit the process of constructing a high resolution 3D morphable model of face shape variation. We demonstrate how the statistical tools of thin-plate splines a...
104
Voted
IAT
2008
IEEE
15 years 7 months ago
2008
IEEE
We develop strategy/false-name-proof multi-unit auction protocols for non-quasi-linear utilities. One almost universal assumption in auction theory literature is that each bidder ...