3228 search results - page 102 / 646 » Computationally Sound Proofs |
ESOP
2007
Springer
14 years 25 days ago
2007
Springer
Non-interference is a semantical condition on programs that guarantees the absence of illicit information flow throughout their execution, and that can be enforced by appropriate i...
INFORMATICALT
2010
13 years 7 months ago
2010
The DPLL procedure for the SAT problem is one of the fundamental algorithms in computer science, with many applications in a range of domains, including software and hardware veriï...
JLP
2010
13 years 3 months ago
2010
A formalism for expressing the operational semantics of proof languages used in procedural theorem provers is proposed. It is argued that this formalism provides an elegant way to...
ICMCS
1999
IEEE
14 years 1 months ago
1999
IEEE
Though several approaches in sound processing are denoted as 3D audio very few of them generate high quality 3D audio information which allows listeners to exactly locate sound so...
DAGSTUHL
2010
13 years 10 months ago
2010
We present an audio-visual Virtual Reality display system for simulated sound fields. In addition to the room acoustic simulation by means of phonon tracing and finite element met...