Algorithms

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer

Proceedings of the International Conference on Computer-Aided Verification | July 2003

Peter-Pike Sloan , Xinguo Liu , Heung-Yeung Shum , John Snyder

ACM SIGGRAPH | July 2003

Video

Andrew D. Wilson, Nuria Oliver

Computer Vision and Pattern Recognition Workshop, 2003. CVPRW ’03. Conference on | July 2003

Chuck Jacobs, Wilmot Li, Evan Schrier, David Bargeron, David Salesin

July 2003

Aditya Nori, Priti Shankar

Proceedings of the IEEE International Symposium on Information Theory (ISIT) | July 2003

Paul N. Bennett

Proceedings of the 26th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR 2003) (See errata at http://www.cs.cmu.edu/~pbennett/papers/errata-for-asymmetric.html . This paper revises work that originally appeared as CMU-CS-02-126.) | July 2003

Avrim Blum, Adam Tauman Kalai, Hal Wasserman

Journal of the ACM (JACM) | July 2003, Vol 50(4): pp. 506-519

Manuel Fahndrich, Rustan Leino

Proceedings of the first International Workshop on Alias Confinement and Ownership (IWACO) | July 2003

Proceedings of the first International Workshop on Alias Confinement and Ownership (IWACO)

Thomas Wiegand, Gary J. Sullivan, G. Bjontegaard, Ajay K. Luthra

IEEE Transactions on Circuits and Systems for Video Technology | June 2003, Vol 13(7): pp. 560-576