3228 search results - page 176 / 646 » Computationally Sound Proofs |
197
click to vote
TVCG
2012
13 years 9 months ago
2012
—We present an efficient algorithm for simulating diffuse reflections of sound in a static scene. Our approach is built on recent advances in precomputed light transport techni...
169
click to vote
CIE
2005
Springer
16 years 2 days ago
2005
Springer
L APPROACH TO ABSTRACT ALGEBRA THIERRY COQUAND AND HENRI LOMBARDI Recent work in constructive mathematics show that Hilbert’s program works rge part of abstract algebra. Using in...
144
click to vote
FCT
2007
Springer
16 years 21 days ago
2007
Springer
We give a classification of block-wise symmetric signatures in the theory of matchgate computations. The main proof technique is matchgate identities, a.k.a. useful Grassmann-Pl¨...
190
click to vote
RTA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we present some new refinements of the dependency pair method for automatically proving the termination of term rewrite systems. These refinements are ver...
161
click to vote
FOCS
2003
IEEE
15 years 11 months ago
2003
IEEE
We show new lower bounds and impossibility results for general (possibly non-black-box) zero-knowledge proofs and arguments. Our main results are that, under reasonable complexity...