3228 search results - page 160 / 646 » Computationally Sound Proofs |
152
click to vote
AAAI
2008
15 years 8 months ago
2008
Most algorithms for computing diagnoses within a modelbased diagnosis framework are deterministic. Such algorithms guarantee soundness and completeness, but are P 2 hard. To overc...
163
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
We present a sound and complete model of lambda-calculus reductions based on structures inspired by modal logic (closely related to Kripke structures). Accordingly we can construct...
163
click to vote
SIGGRAPH
2009
ACM
16 years 1 months ago
2009
ACM
”scoreLight” is a playful musical instrument capable of generating sound from the lines of doodles as well as edges of threedimensional objects nearby (hands, dancer’s silho...
177
click to vote
ICMCS
2007
IEEE
16 years 25 days ago
2007
IEEE
This paper describes a novel method to simulate an multichannel audio experience using stereo headphones. In contrast to conventional, convolution-based methods, the current appro...
158
click to vote
FOSSACS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...