Sciweavers

106 search results - page 22 / 22
» Exponential Time Complexity of the Permanent and the Tutte P...
Sort
View
ECCC
2010
98views more  ECCC 2010»
13 years 3 months ago
Verifying Computations with Streaming Interactive Proofs
Applications based on outsourcing computation require guarantees to the data owner that the desired computation has been performed correctly by the service provider. Methods based...
Graham Cormode, Justin Thaler, Ke Yi