3228 search results - page 44 / 646 » Computationally Sound Proofs |
ISBI
2006
IEEE
14 years 8 months ago
2006
IEEE
A significant obstacle in the advancement of Ultrasound Computed Tomography has been the lack of efficient and precise methods for the tracing of the bent rays that result from th...
CVPR
2005
IEEE
14 years 9 months ago
2005
IEEE
SI3D
2006
ACM
14 years 1 months ago
2006
ACM
JAR
2008
13 years 7 months ago
2008
We analyze three proof strategies commonly used in deductive verification of deterministic sequential programs formalized with operational semantics. The strategies are: (i) stepw...
BSL
1999
13 years 7 months ago
1999
We consider a classical (propositional) version, CBI, of O'Hearn and Pym's logic of bunched implications (BI) from a model- and prooftheoretic perspective. We present a c...