1411 search results - page 30 / 283 » Interactive Coding for Interactive Proofs |
127
click to vote
LICS
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. Ludics is peculiar in the panorama of game semantics: we first have the definition of interaction-composition and then we have semantical types, as a set of strategies ...
146
click to vote
CRYPTO
2008
Springer
15 years 6 months ago
2008
Springer
We construct noninteractive statistical zero-knowledge (NISZK) proof systems for a variety of standard approximation problems on lattices, such as the shortest independent vectors...
161
click to vote
EUROMICRO
1998
IEEE
15 years 8 months ago
1998
IEEE
With the growing needs of information sharing and exchange, MHEG-6(Multimedia Hypermedia information coding Expert Group - part 6) standard is defined so as to provide the interna...
144
click to vote
FLAIRS
2006
15 years 5 months ago
2006
In building intelligent tutoring systems, it is critical to be able to understand and diagnose student responses in interactive problem solving. We present a novel application of ...
172
click to vote
IESS
2007
Springer
15 years 10 months ago
2007
Springer
To overcome the complexity in System-on-Chip (SoC) design, researchers have developed sophisticated design flows that significantly reduce the development time through automation...