3228 search results - page 316 / 646 » Computationally Sound Proofs |
141
click to vote
ECOOP
2008
Springer
15 years 6 months ago
2008
Springer
Inheritance is a standard means for reuse and for interfacing with external libraries. In a multi-language software product, extending a class written in a statically-typed languag...
153
click to vote
JAIR
2007
15 years 4 months ago
2007
Exact Max-SAT solvers, compared with SAT solvers, apply little inference at each node of the proof tree. Commonly used SAT inference rules like unit propagation produce a simpliï¬...
159
click to vote
TCS
2002
15 years 4 months ago
2002
Suppose a principal in a cryptographic protocol creates and transmits a message containing a new value v, later receiving v back in a different cryptographic context. It can concl...
154
click to vote
MSCS
2007
15 years 3 months ago
2007
It is well-known that weakening and contraction cause na¨ıve categorical models of the classical sequent calculus to collapse to Boolean lattices. In previous work, summarized b...
116
click to vote
ECCV
2000
Springer
16 years 6 months ago
2000
Springer
We formulate the problem of reconstructing the shape and radiance of a scene as the minimization of the information divergence between blurred images, and propose an algorithm that...