1401 search results - page 113 / 281 » Randomness in Interactive Proofs |
104
click to vote
TYPES
1998
Springer
15 years 2 months ago
1998
Springer
Investigating soundness and completeness of verification calculi for imperative programming languages is a challenging task. Incorrect results have been published in the past. We t...
STOC
1995
ACM
15 years 1 months ago
1995
ACM
We show that a parallel repetition of any two-prover one-round proof system (MIP(2, 1)) decreases the probability of error at an exponential rate. No constructive bound was previou...
FMOODS
2007
14 years 11 months ago
2007
In this paper we present a formalization of Abadi’s and Cardelli’s theory of objects in the interactive theorem prover Isabelle/HOL. Our motivation is to build a mechanized HOL...
CSB
2002
IEEE
15 years 2 months ago
2002
IEEE
Assigning functions to novel proteins is one of the most important problems in the post-genomic era. Several approaches have been applied to this problem, including analyzing gene...
HAPTICS
2011
IEEE
14 years 1 months ago
2011
IEEE
Fluctuations of the frictional force arising from the stroke of a finger against flat and sinusoidal surfaces are studied. A custommade high-resolution friction force sensor, ab...