5012 search results - page 619 / 1003 » Distributed Error Correction |
170
Voted
ACTA
1998
15 years 6 months ago
1998
The paper focusses on the logical backgrounds of the Dijkstra-Scholten program development style for correct programs. For proving the correctness of a program (i.e. the fact that...
166
click to vote
UIST
2010
ACM
15 years 4 months ago
2010
ACM
Computer users with motor impairments face major challenges with conventional mouse pointing. These challenges are mostly due to fine pointing corrections at the final stages of t...
173
click to vote
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
Performing distributed consensus in a network has been an important research problem for several years, and is directly applicable to sensor networks, autonomous vehicle formation...
173
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
There has historically been very little concern with extrapolation in Machine Learning, yet extrapolation can be critical to diagnose. Predictor functions are almost always learne...
161
click to vote
COCO
2007
Springer
16 years 28 days ago
2007
Springer
We examine the communication required for generating random variables remotely. One party Alice will be given a distribution D, and she has to send a message to Bob, who is then r...