Algorithms

Byron Cook, Daniel Kroening, Philipp Rümmer, Christoph M. Wintersteiger

Proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) | January 2010

Sergey Yekhanin

Published by NOW Publishers | January 2010

Jian-Guang Lou, Qiang Fu, Shengqi Yang, Jiang Li

MSR-TR-2010-36 | January 2010

no. MSR-TR-2010-6

Reshef Meir, Yoram Bachrach, , Jeffrey S. Rosenschein

SAGT 2010 | January 2010

SAGT 2010

Ofer Dekel, Claudio Gentile, Karthik Sridharan

January 2010

Allan Borodin, Brendan Lucier

International Colloquium on Automata, Languages and Programming 2010 | January 2010

Christian Borgs, Jennifer Chayes, Brian Karrer, Brendan Meeder, R. Ravi, Ray Reagans, Amin Sayedi

Proceedings of the 7th Workshop on Algorithms and Models for the Web Graph (WAW) | January 2010

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

AAAI-10: Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence | January 2010

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

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

Jianchao Yang, John Wright, Thomas Huang, Yi Ma

IEEE Transactions on Image Processing (TIP) | January 2010