Algorithms

Moshe Babaioff, Ron Lavi, Elan Pavlov

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

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

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

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

Kurt Akeley

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

Ofer Dekel

Advances in Neural Information Processing Systems 21 | January 2009

Advances in Neural Information Processing Systems 21

Sumit Gulwani, Krishna Mehra, Trishul Chilimbi

Principles of Programming Languages (POPL) | January 2009

项目

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

SIGPLAN Notices | January 2009, 第 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

Berna Erol, Faouzi Kossentini, Anthony Joch, Gary J. Sullivan, Lowell Winger

December 2008

December 2008

Abhik Rouchoudhury, Kapil Vaswani

MSR-TR-2008-197 | December 2008