1646 search results - page 242 / 330 » Automatic generation of two-party computations |
108
click to vote
DLOG
2009
14 years 11 months ago
2009
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...
124
Voted
CVPR
2001
IEEE
16 years 3 months ago
2001
IEEE
This paper presents an improvement of the classical Non-negative Matrix Factorization (NMF) approach, for dealing with local representations of image objects. NMF, when applied to...
118
click to vote
CVPR
2001
IEEE
16 years 3 months ago
2001
IEEE
In this paper, we present an efficient method to synthesize large-scale scenes, such as broad city landscapes. To date, model based approaches have mainly been adopted for this pu...
101
click to vote
CVPR
2003
IEEE
16 years 3 months ago
2003
IEEE
We consider the problem of estimating the shape and radiance of an object from a calibrated set of views under the assumption that the reflectance of the object is nonLambertian. ...
111
click to vote
CVPR
2007
IEEE
16 years 3 months ago
2007
IEEE
We introduce an exemplar model that can learn and generate a region of interest around class instances in a training set, given only a set of images containing the visual class. T...