Algorithms

Dustin Moody, Daniel Shumow, Dan Shumow

January 2010

Youssef Hamadi, Leonardo de Moura, Christoph M. Wintersteiger

Proceedings of the 10th International Conference on Formal Methods in Computer-Aided Design (FMCAD) | January 2010

Proceedings of the 10th International Conference on Formal Methods in Computer-Aided Design (FMCAD)

to appear

Monojit Choudhury, Niloy Ganguly, Abyayanda Maiti, Animesh Mukherjee, Lutz Brusch, Andreas Deutsch, Fernando Peruani

Physical Review E | January 2010, Vol 81: pp. 36103

Muntasir Raihan Rahman, Issam Aib, Raouf Boutaba

NETWORKING 2010 | January 2010

Jean-Yves Audibert, Sébastien Bubeck, Rémi Munos

Optimization for Machine Learning, 1 | Publié par MIT Press | 2010

Elisa Celis, Nikhil Devanur, Yuval Peres

In Proc. WINE 2010 | January 2010

Sébastien Lahaie

National Conference on Artificial Intelligence (AAAI) | January 2010

David Sontag, Amir Globerson, Tommi Jaakkola

Optimization in Machine Learning | Publié par MIT Press | 2010

Jianchao Yang, John Wright, Thomas Huang, Yi Ma

IEEE Transactions on Image Processing | January 2010

Emmanuel J. Candes, Xiaodong Li, Yi Ma, John Wright

Journal of the ACM | January 2010