Sciweavers

1646 search results - page 242 / 330
» Automatic generation of two-party computations
Sort
View
138
Voted
DLOG
2009
15 years 2 months ago
Testing Provers on a Grid - Framework Description
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...
Carlos Areces, Daniel Gorín, Alejandra Lore...
CVPR
2001
IEEE
16 years 6 months ago
A Weighted Non-Negative Matrix Factorization for Local Representations
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...
David Guillamet, Jordi Vitrià, Marco Bressa...
CVPR
2001
IEEE
16 years 6 months ago
Light Field Rendering for Large-Scale Scenes
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...
Hiroshi Kawasaki, Katsushi Ikeuchi, Masao Sakauchi
134
Voted
CVPR
2003
IEEE
16 years 6 months ago
Multi-view Stereo Beyond Lambert
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. ...
Hailin Jin, Stefano Soatto, Anthony J. Yezzi
CVPR
2007
IEEE
16 years 6 months ago
An Exemplar Model for Learning Object Classes
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...
Ondrej Chum, Andrew Zisserman