1011 search results - page 35 / 203 » The three dimensions of proofs |
151
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
We investigate pointing in true 3D environments where the target size varies in three spatial dimensions. We also study the effect of the user's physical movement angle on po...
191
click to vote
AFRICACRYPT
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. We present a simple zero-knowledge proof of knowledge protocol of which many protocols in the literature are instantiations. These include Schnorr’s protocol for provin...
146
click to vote
EUROCRYPT
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. We present two universally composable and practical protocols by which a dealer can, verifiably and non-interactively, secret-share an integer among a set of players. Mo...
167
click to vote
ASM
2010
ASM
15 years 9 months ago
2010
ASM
Symmetry reduction is a model checking technique that can help alleviate the problem of state space explosion, by preventing redundant state space exploration. In previous work, we...
144
click to vote
COMBINATORICS
2006
15 years 6 months ago
2006
In this paper we study inversions within restricted fillings of Young tableaux. These restricted fillings are of interest because they describe geometric properties of certain sub...