3108 search results - page 201 / 622 » The Elements of Computer Credibility |
178
click to vote
RANDOM
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. We consider approximate PCPs for multidimensional bin-packing problems. In particular, we show how a verifier can be quickly convinced that a set of multidimensional blo...
165
click to vote
CHI
1992
ACM
15 years 10 months ago
1992
ACM
We designed, implemented and evaluated a new concept for direct manipulation of databases, called dynamic queries, that allowsuserstoformulatequerieswithgraphicalwidgets,such as s...
161
click to vote
PARA
1994
Springer
15 years 10 months ago
1994
Springer
A model describing the full quantum mechanical three body problem of the hydrogen molecular ion is presented, and some of the numerical results are subsequently discussed. The ove...
140
click to vote
ICPP
1989
IEEE
15 years 10 months ago
1989
IEEE
We develop a serial algorithm for separable median filtering that requires only two comparisons per element when the window size is three. In addition, fast parallel CREW PRAM al...
131
click to vote
HRI
2010
ACM
15 years 10 months ago
2010
ACM
—Much effort has focused in recent years on developing more life-like robots. In this paper we propose a model of memory for robots, based on human digital memories, though our m...