Algorithms

Rajeev Alur, Sebastian Burckhardt, Milo Martin

Computer-Aided Verification (CAV) | January 2006

Janyce Wiebe, Rada Mihalcea

Proceedings of COLING/ACL-06, the 21st Conference on Computational Linguistics / Association for Computational Linguistics | January 2006

Nitin Jindal, Bing Liu

Proceedings of SIGIR-06, the 29th annual international ACM SIGIR conference on Research and development in information retrieval | January 2006

ISBN: 1-59593-369-7

Minqing Hu, Bing Liu

Proceedings ofAAAI-CAAW-06, the Spring Symposia on Computational Approaches to Analyzing Weblogs | January 2006

Moshe Babaioff, Ron Lavi, Elan Pavlov

AAAI | January 2006

AAAI

Yunnan Wu, Jitendra Padhye, Ranveer Chandra, Venkat Padmanabhan, Philip A. Chou, Jitu Padhye, Philip A. Chou

Proc. Information Theory and its Applications | January 2006

Min Feng, Bin Benjamin Zhu, Cunlai Zhao, Shipeng Li

International Conference in Information Security Practice & Experience | January 2006

Steven Swanson, Andrew Putnam, Martha Mercaldi, Ken Michelson, Andrew Petersen, Andrew Schwerin, Mark Oskin, Susan J. Eggers

Proceedings of the 33rd Annual International Symposium on Computer Architecture | January 2006

Proceedings of the 33rd Annual International Symposium on Computer Architecture

ISBN: 0-7695-2608-X

Neeraj Kayal

January 2006

January 2006

Shuvendu Lahiri, Madan Musuvathi

Automated Reasoning, Third International Joint Conference (IJCAR ’06) | January 2006

ISBN: 3-540-37187-7