1646 search results - page 242 / 330 » Automatic generation of two-party computations |
DLOG
2009
13 years 8 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...
CVPR
2001
IEEE
15 years 5 days 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...
CVPR
2001
IEEE
15 years 5 days 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...
CVPR
2003
IEEE
15 years 5 days 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. ...
CVPR
2007
IEEE
15 years 5 days 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...