Search
Add filters:
Use filters to refine the search results.
Item hits:
| Publication Date | Article Title | Author(s) |
|---|---|---|
| 2015 | Provable ICA with Unknown Gaussian Noise, and Implications for Gaussian Mixtures and Autoencoders | Arora, Sanjeev; Ge, Rong; Moitra, Ankur; Sachdeva, Sushant |
| 2019 | Private Learning Implies Online Learning: An Efficient Reduction | Gonen, Alon; Hazan, Elad; Moran, Shay |
| 2012 | Programming languages for programmable networks | Rexford, Jennifer |
| 2013 | Automatically exploiting cross-invocation parallelism using runtime information | Huang, Jialu; Jablin, Thomas B; Beard, Stephen R; Johnson, Nick P; August, David I |
| 21-Feb-2018 | VST-Floyd: A Separation Logic Tool to Verify Correctness of C Programs | Cao, Qinxiang; Beringer, Lennart; Gruetter, Samuel; Dodds, Josiah; Appel, Andrew W |
| Jan-2015 | Relax, no need to round: Integrality of clustering formulations | Awasthi, Pranjal; Bandeira, Afonso S; Charikar, Moses; Krishnaswamy, Ravishankar; Villar, Soledad, et al |
| 2012 | A Dependent LP-Rounding Approach for the k-Median Problem | Charikar, Moses; Li, Shi |
| 2020 | Deep-inverse correlography: towards real-time high-resolution non-line-of-sight imaging | Metzler, CA; Heide, F; Rangarajan, P; Balaji, MM; Viswanath, A, et al |
| Mar-2012 | Automatic speculative DOALL for clusters | Kim, Hanjun; Johnson, Nick P; Lee, Jae W; Mahlke, Scott A; August, David I |
| 2014 | Online Bipartite Matching with Decomposable Weights | Charikar, Moses; Henzinger, Monika; Nguyễn, Huy L |