3378 search results - page 258 / 676 » A universe of binding and computation |
188
click to vote
SIGUCCS
2000
ACM
15 years 11 months ago
2000
ACM
In this paper, I describe some of the challenges and opportunities presented when attempting to be proactive in improving the accessibility of the University of North Carolina at ...
141
click to vote
STOC
1992
ACM
15 years 10 months ago
1992
ACM
Paul Beame Joan Lawry Department of Computer Science and Engineering, FR-35 University of Washington Seattle, Washington 98195 Our main result is the demonstration of a Boolean fu...
164
click to vote
STOC
1991
ACM
15 years 10 months ago
1991
ACM
The study of self-testing/correcting programs was introduced in [8] in order to allow one to use program P to compute function f without trusting that P works correctly. A self-te...
137
click to vote
ACL
2008
15 years 8 months ago
2008
We describe an application that generates web pages for research institutions by summarising terms extracted from individual researchers' publication titles. Our online demo ...
150
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
We bound the future loss when predicting any (computably) stochastic sequence online. Solomonoff finitely bounded the total deviation of his universal predictor M from the true dis...