4099 search results - page 62 / 820 » A Framework for Interactive Proof |
106
click to vote
STOC
1998
ACM
15 years 2 months ago
1998
ACM
Abstract. Loosely speaking, an interactive proof is said to be zeroknowledge if the view of every “efficient” verifier can be “efficiently” simulated. An outstanding open ...
FOCS
1990
IEEE
15 years 1 months ago
1990
IEEE
In [Sh92], Adi Shamir proved a complete characterization of the complexity class IP. He showed that when both randomization and interaction are allowed, the proofs that can be ver...
RTA
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Interaction nets are a graphical formalism inspired by Linear Logic proof-nets often used for studying higher order rewriting e.g. β-reduction. Traditional presentations...
HUC
1999
Springer
15 years 2 months ago
1999
Springer
Photographs have significant social roles. For example, they help families and friends to preserve an affective link and provide a support for communication. The increasing popular...
PERVASIVE
2005
Springer
15 years 3 months ago
2005
Springer
This paper proposes and evaluates interaction techniques for camera-equipped mobile phones. The proposed techniques are based on a visual code system that provides a number of orie...