3172 search results - page 225 / 635 » On the Random-Self-Reducibility of Complete Sets |
155
click to vote
CSL
2007
Springer
16 years 23 days ago
2007
Springer
We study the complexity of satisfiability for DLP+ dyn , an expressive logic introduced by Demri that allows to reason about dynamic policies. DLP+ dyn extends the logic DLPdyn of...
170
click to vote
EUROCRYPT
2007
Springer
16 years 23 days ago
2007
Springer
We investigate a general class of (black-box) constructions for range extension of weak pseudorandom functions: a construction based on m independent functions F1, . . . , Fm is gi...
181
click to vote
MIRAGE
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We describe an algorithm for fitting a Catmull-Clark subdivision surface model to an unstructured, incomplete and noisy data set. We complete the large missing data regi...
180
click to vote
3DPVT
2006
IEEE
16 years 20 days ago
2006
IEEE
The use of surface harmonics for rigid and nonrigid shape description is well known. In this paper we define a set of complete hemispherical harmonic basis functions on a hemisph...
149
click to vote
DATE
2006
IEEE
16 years 20 days ago
2006
IEEE
Abstract: This paper addresses the problem of equivalence verification of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have di...