Algorithms

Jianchao Yang, John Wright, Thomas Huang, Yi Ma

IEEE Transactions on Image Processing (TIP) | January 2010

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

Ittai Abraham, Daniel Delling, Andrew Goldberg, Renato Werneck

Proceedings of the 9th International Symposium on Experimental Algorithms (SEA) | January 2010

Muntasir Raihan Rahman, Issam Aib, Raouf Boutaba

NETWORKING 2010 | January 2010

Elisa Celis, Nikhil Devanur, Yuval Peres

In Proc. WINE 2010 | January 2010

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

Optimization for Machine Learning, 1 | 作者：MIT Press | 2010

Yoram Bachrach, Reshef Meir, Kyomin Jung, Pushmeet Kohli

AAAI 2010 | January 2010

R. Dechter, B. Bidyuk, Robert Mateescu, E. Rollon

Heuristics, Probability and Causality. A Tribute to Judea Pearl | 作者：College Publications | 2010

Andrej Bogdanov, Kunal Talwar, Andrew Wan

Innovations in Computer Science (ICS) | January 2010

Innovations in Computer Science (ICS)