1401 search results - page 113 / 281 » Randomness in Interactive Proofs |
179
click to vote
TYPES
1998
Springer
15 years 10 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...
160
click to vote
STOC
1995
ACM
15 years 10 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...
175
click to vote
FMOODS
2007
15 years 7 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...
188
click to vote
CSB
2002
IEEE
15 years 11 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...
179
click to vote
HAPTICS
2011
IEEE
14 years 10 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...