3228 search results - page 370 / 646 » Computationally Sound Proofs |
126
click to vote
AML
2010
15 years 4 months ago
2010
A Schnorr test relative to some oracle A may informally be called "universal" if it covers all Schnorr tests. Since no true universal Schnorr test exists, such an A cann...
112
click to vote
ENTCS
2008
15 years 4 months ago
2008
RZ is a tool which translates axiomatizations of mathematical structures to program specifications using the realizability interpretation of logic. This helps programmers correctl...
141
click to vote
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We study the semantic meaning of block structure using game semantics and introduce the notion of block-innocent strategies, which turns out to characterise call-by-value...
146
click to vote
NORDICHI
2006
ACM
15 years 10 months ago
2006
ACM
In context photography, sensors gather real-time context information, which visually affects a photograph as it is taken. We have implemented a prototype running on standard camer...
106
click to vote
VRST
2006
ACM
15 years 10 months ago
2006
ACM
As the interest of the public for new forms of media grows, museums and theme parks select real time Virtual Reality productions as their presentation medium. Based on threedimens...