3333 search results - page 350 / 667 » Abstract Proof Search |
191
click to vote
TCC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Parallel repetition is well known to reduce the error probability at an exponential rate for single- and multi-prover interactive proofs. Bellare, Impagliazzo and Naor (1...
213
click to vote
IFL
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
234
click to vote
EUROCRYPT
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. This work presents a new privacy primitive called “Traceable Signatures”, together with an efficient provably secure implementation. To this end, we develop the unde...
235
click to vote
FUN
2010
Springer
16 years 3 days ago
2010
Springer
Abstract. We analyze the computational complexity of various twodimensional platform games. We identify common properties of these games that allow us to state several meta-theorem...
211
click to vote
GEOS
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. The realization of Semantic Web reasoning is central to substantiating the Semantic Web vision. However, current mainstream research on this topic faces serious challenge...