Algorithms

Nir Pochter, Aviv Zohar, Jeffrey S. Rosenschein, Ariel Felner

AAAI-10: Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence | 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

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

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 | Published by 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 | Published by College Publications | 2010

Andrej Bogdanov, Kunal Talwar, Andrew Wan

Innovations in Computer Science (ICS) | January 2010

Innovations in Computer Science (ICS)