Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
 
ACM Transactions on Computation Theory
A C M (ASSN FOR COMPUTING MAC)
 
   
 
Options:
 
  1-6 of 6 reviews Date Reviewed 
  Quadratic maps are hard to sample
Viola E.  ACM Transactions on Computation Theory 8(4): 1-4, 2016. Type: Article

A quadratic map is a function of the form f (x) = ax2 + bx + c, or more generally,...

Jul 26 2016
  (Leveled) fully homomorphic encryption without bootstrapping
Brakerski Z., Gentry C., Vaikuntanathan V.  ACM Transactions on Computation Theory 6(3): Article No. 13, 2014. Type: Article

If you work with large amounts of data being hosted on public clouds, homomorphic encryption (HE) is an extremely innovative idea to add security layers to your data while it is being hosted and processed on third-party servers. Basically, HE allo...

Jul 24 2015
  Compressed matrix multiplication
Pagh R.  ACM Transactions on Computation Theory 5(3): 1-17, 2013. Type: Article, Reviews: (2 of 2)

This paper is concerned with approximating a matrix product, that is, finding the large entries (AB){i,j} [and the corresponding indices (i,j...

Jul 18 2014
  Compressed matrix multiplication
Pagh R.  ACM Transactions on Computation Theory 5(3): 1-17, 2013. Type: Article, Reviews: (1 of 2)

There has been a lot of research on matrix multiplication algorithms in the recent past. For insight, one should read the second volume of Knuth’s wonderful set of books on algorithms [1]....

Jun 5 2014
  Exact learning algorithms, betting games, and circuit lower bounds
Harkins R., Hitchcock J.  ACM Transactions on Computation Theory 5(4): 1-11, 2013. Type: Article

It is natural to expect that the more complex a concept is, the harder it is to learn. This paper improves this type of correlation for concepts that are represented by a class of circuits . It shows t...

Feb 19 2014
  Formula caching in DPLL
Beame P., Impagliazzo R., Pitassi T., Segerlind N.  ACM Transactions on Computation Theory 1(3): 1-33, 2010. Type: Article

The DPLL algorithm is a satisfiability-based algorithm. The authors consider in this paper the extension of the DPLL approach to satisfiability checking, by adding memoization, which means saving previously solved subproblems for later use (also c...

Nov 30 2010
 
 
 
Display per column
 
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2017 ThinkLoud, Inc.
Terms of Use
| Privacy Policy