1411 search results - page 15 / 283 » Interactive Coding for Interactive Proofs |
DFG
2009
Springer
14 years 5 months ago
2009
Springer
s of the work of our research group are given in the following poster of the final meeting. Network Coding Network Coding has emerged as a new paradigm that has influenced Inform...
ICMCS
2006
IEEE
14 years 5 months ago
2006
IEEE
A standard for scalable video coding (SVC) is currently being worked on by the ISO MPEG Group. Work on standardization of multiple-view video coding (MVC) has also recently starte...
SYNASC
2008
IEEE
14 years 5 months ago
2008
IEEE
Abstract. A new approach to the design of massively parallel and interactive programming languages has been recently proposed using rv-systems (interactive systems with registers a...
ASIACRYPT
2007
Springer
14 years 2 months ago
2007
Springer
A shuffle is a permutation and re-encryption of a set of ciphertexts. Shuffles are for instance used in mix-nets for anonymous broadcast and voting. One way to make a shuffle verif...
ENTCS
2000
13 years 10 months ago
2000
The NuPRL system [3] was designed for interactive writing of machine