Sciweavers

1411 search results - page 111 / 283
» Interactive Coding for Interactive Proofs
Sort
View
IUI
2005
ACM
15 years 3 months ago
Metafor: visualizing stories as code
Every program tells a story. Programming, then, is the art of constructing a story about the objects in the program and what they do in various situations. So-called programming l...
Hugo Liu, Henry Lieberman
AADEBUG
1997
Springer
15 years 2 months ago
Debugging Optimised Code Using Function Interpretation
Previously the debugging of optimised code has not been possible without recompiling the executable code and preventing the use of code optimisation techniques. Although current r...
Kim Elms
STOC
1994
ACM
134views Algorithms» more  STOC 1994»
15 years 2 months ago
A coding theorem for distributed computation
Shannon's Coding Theorem shows that in order to reliably transmit a message of T bits over a noisy communication channel, only a constant slowdown factor is necessary in the ...
Sridhar Rajagopalan, Leonard J. Schulman
ASSETS
2008
ACM
15 years 4 days ago
A3: a coding guideline for HCI+autism research using video annotation
Due to the profile of strengths and weaknesses indicative of autism spectrum disorders (ASD), technology may play a key role in ameliorating communication difficulties with this p...
Joshua M. Hailpern, Karrie Karahalios, James Halle...
NIPS
2008
14 years 11 months ago
Effects of Stimulus Type and of Error-Correcting Code Design on BCI Speller Performance
From an information-theoretic perspective, a noisy transmission system such as a visual Brain-Computer Interface (BCI) speller could benefit from the use of errorcorrecting codes....
N. Jeremy Hill, Jason Farquhar, Suzanna Martens, F...