Algorithms

Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg

CAV’14 | July 2014

Srinadh Bhojanapalli, Prateek Jain

Proceedings of the 31th International Conference on Machine Learning, ICML 2014, Beijing, China, 21-26 June 2014 | July 2014

Prateek Jain, Sewoong Oh

Proceedings of The 27th Conference on Learning Theory, COLT 2014, Barcelona, Spain, June 13-15, 2014 | July 2014

, Philipp Rummer

Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR 2014) | July 2014

Shaolei Ren, Yuxiong He, Kathryn S McKinley

MSR-TR-2014-101 | July 2014

Aleksandar Zeljić, Christoph M. Wintersteiger, Philipp Rümmer

Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR 2014) | July 2014

Best paper award

Alekh Agarwal, Ashwinkumar Badanidiyuru, Miroslav Dudik, Robert E. Schapire, Aleksandrs Slivkins, Aleksandrs Slivkins, Miro Dudík

27th Conf. on Learning Theory (COLT) | July 2014

27th Conf. on Learning Theory (COLT)

Alekh Agarwal, Sham Kakade, Nikos Karampatziakis, Le Song, Gregory Valiant

July 2014

Edith Cohen

ACM PODC 2014 | July 2014

This is a full version of a PODC 2014 paper

Bojun Huang, Thomas Moscibroda

July 2014