Algorithms

Uriel Feige, Nicole Immorlica, Vahab S. Mirrokni, Hamid Nazerzadeh

MSR-TR-2009-130 | January 2009

Zeyuan Allen Zhu, Weizhu Chen, Chenguang Zhu, Gang Wang, Haixun Wang, Zheng Chen

ICDM2009 | January 2009

Moshe Babaioff, Ron Lavi, Elan Pavlov

Journal of the ACM (JACM) | January 2009, Vol 56(1)

Sébastien Bubeck, Rémi Munos, Gilles Stoltz

Proceedings of the 20th International Conference on Algorithmic Learning Theory (ALT) | January 2009

Alexey Gotsman, Byron Cook, Matthew J. Parkinson, Viktor Vafeiadis

SIGPLAN Notices | January 2009, Vol 44(1): pp. 16-28

Youssef Hamadi, Leonardo de Moura, Christoph M. Wintersteiger

Proceedings of the 21st International Conference on Computer Aided Verification (CAV) | January 2009

Kurt Akeley

ACM Trans. Graph. | January 2009, Vol 28: pp. 1-10

Sumit Gulwani, Krishna Mehra, Trishul Chilimbi

Principles of Programming Languages (POPL) | January 2009

Project

Ofer Dekel

Advances in Neural Information Processing Systems 21 | January 2009

Advances in Neural Information Processing Systems 21

Anton Schwaighofer, Joaquin Quiñonero Candela, Thomas Borchert, Thore Graepel, Ralf Herbrich

Proceedings of ADKDD 2009: 3rd Annual International Workshop on Data Mining and Audience Intelligence for Advertising | January 2009