233 search results - page 22 / 47 » Interactive Proofs For Quantum Computations |
CHI
2007
ACM
16 years 4 days ago
2007
ACM
: A proof of concept web search and navigation system was developed for older people for whom the Internet is seen as an alien territory. A joint industry/academia team deployed Us...
117
click to vote
CCS
2009
ACM
15 years 6 months ago
2009
ACM
The abuse of online games by automated programs, known as game bots, for gaining unfair advantages has plagued millions of participating players with escalating severity in recent...
CIE
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. In this paper, we survey a few recent applications of Kolmogorov complexity to lower bounds in several models of computation. We consider KI complexity of Boolean functio...
105
click to vote
PRESENCE
2000
14 years 11 months ago
2000
The Virtual Explorer project of the Senses Bureau at the University of California, San Diego, focuses on creating immersive, highly interactive environments for education and scie...
119
click to vote
CADE
2010
Springer
15 years 26 days ago
2010
Springer
Abstract. In the context of deductive program verification, supporting floatingpoint computations is tricky. We propose an expressive language to formally specify behavioral proper...