Algorithms

Nels Beckman, Aditya Nori, Sriram Rajamani, Robert Simmons

MSR-TR-2008-17 | January 2008

International Conference on Frontiers in Handwriting Recognition 2008 | January 2008

International Conference on Frontiers in Handwriting Recognition 2008

Samuel Ieong, Yoav Shoham

Proceedings of National Conference on Artificial Intelligence (AAAI) | January 2008

Mo Becker

10th International Symposium on Practical Aspects of Declarative Languages (PADL) | January 2008

10th International Symposium on Practical Aspects of Declarative Languages (PADL)

Tim Paek, Sudeep Gandhe, Max Chickering

In Proceedings of the 9th SIGDIAL Workshop on Discourse and Dialogue | January 2008

Vipul Goyal, Jonathan Katz

Theory of Cryptography. TCC 2008. Lecture Notes in Computer Science | January 2008

Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang

Programming Languages and Systems. ESOP 2008. Lecture Notes in Computer Science. | January 2008

Sumit Gulwani, Ashish Tiwari

Computer Aided Verification (CAV) | January 2008

Project

Ben Carterette, Paul Bennett

Poster-Paper in Proceedings of the 31st Annual International ACM SIGIR Conference on Research and Development in Information Retrieval | January 2008

Poster-Paper in Proceedings of the 31st Annual International ACM SIGIR Conference on Research and Development in Information Retrieval

Charles Bordenave, David McDonald, Alexandre Proutiere

ACM Sigmetrics | January 2008