1411 search results - page 104 / 283 » Interactive Coding for Interactive Proofs |
86
Voted
NECO
2000
14 years 10 months ago
2000
Recent advances in the technology of multi-unit recordings make it possible to test Hebb's hypothesis that neurons do not function in isolation but are organized in assemblie...
107
Voted
CASSIS
2004
Springer
15 years 1 months ago
2004
Springer
The JAVA CARD transaction mechanism can ensure that a sequence of statements either is executed to completion or is not executed at all. Transactions make verification of JAVA CARD...
67
Voted
DIMVA
2008
14 years 11 months ago
2008
Abstract A web programmer often conceives its application as a sequential entity, thus neglecting the parallel nature of the underlying execution environment. In this environment, ...
TII
2010
14 years 4 months ago
2010
Behavior, Interaction, Priorities (BIP) is a component framework for constructing systems from a set of atomic components by using two kinds of composition operators: interactions ...
ICIP
2000
IEEE
15 years 11 months ago
2000
IEEE
Any real-time interactive video coding algorithm used over the Internet needs to be able to cope with packet loss, since the existing error recovery mechanisms are not suitable fo...