1411 search results - page 15 / 283 » Interactive Coding for Interactive Proofs |
147
click to vote
DFG
2009
Springer
15 years 11 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...
127
click to vote
ICMCS
2006
IEEE
15 years 10 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...
163
click to vote
SYNASC
2008
IEEE
15 years 10 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...
120
click to vote
ASIACRYPT
2007
Springer
15 years 8 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...
123
click to vote
ENTCS
2000
15 years 4 months ago
2000
The NuPRL system [3] was designed for interactive writing of machine