310 search results - page 49 / 62 » On Sketching Quadratic Forms |
CAV
2004
Springer
14 years 1 months ago
2004
Springer
Model checking algorithms can report a property as being true for reasons that may be considered vacuous. Current algorithms for detecting vacuity require either checking a quadrat...
EUROCRYPT
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Lattice-based signature schemes following the GoldreichGoldwasser-Halevi (GGH) design have the unusual property that each signature leaks information on the signer's...
CCCG
2004
13 years 11 months ago
2004
We study the problem of computing the set of all distant horizons of a terrain, represented as either: the set of all edges that appear in the set of all distant horizons; the con...
BMVC
1997
13 years 11 months ago
1997
This article describes how robust error-kernels can be used as smoothness priors in recovering shape-from-shading (SFS). Conventionally, the smoothness error is added to the data-...
CGF
2008
13 years 9 months ago
2008
Various methods have been proposed for fitting subdivision surfaces to different forms of shape data (e.g., dense meshes or point clouds), but none of these methods effectively de...