729 search results - page 4 / 146 » And Or Hierarchies and Round Abstraction |
NIPS
2001
13 years 9 months ago
2001
AAAI
1996
13 years 9 months ago
1996
AAAI
1990
13 years 8 months ago
1990
FOCS
1999
IEEE
13 years 12 months ago
1999
IEEE
In this paper we introduce quantum interactive proof systems, which are interactive proof systems in which the prover and verifier may perform quantum computations and exchange qu...
FAST
2004
13 years 9 months ago
2004
MEMS-based storage devices (MEMStores) are significantly different from both disk drives and semiconductor memories. The differences motivate the queswhether they need new abstrac...