Publication H.263 (Including H.263+) and Other ITU-T Video Coding Standards Tsuhan Chen, Gary Sullivan, Atul Puri Multimedia Systems, Standards, and Networks | Published by CRC Press | 2000
Publication When Does a Correct Mutual Exclusion Algorithm Guarantee Mutual Exclusion Leslie Lamport, Sharon Perl, William Weihl Information Processing Letters | March 2000, Vol 76(3): pp. 131-134
Publication Fast Progressive Image Coding Without Wavelets Henrique S. Malvar Data Compression Conference | March 2000 Data Compression Conference
Publication Marmot: An Optimizing Compiler for Java Bob Fitzgerald, Todd B. Knoblock, Erik Ruf, Bjarne Steensgaard, David Tarditi MSR-TR-99-33 | March 2000
Publication Efficient Discovery of Error-Tolerant Frequent Itemsets in High Dimensions Cheng Yang, Usama Fayyad, Paul S. Bradley MSR-TR-2000-20 | February 2000
Publication The Underlying Logic of Hoare Logic Andreas Blass, Yuri Gurevich Bulletin of the European Association for Theoretical Computer Science | February 2000
Publication A Decision-Theoretic Approach to Targeted Advertising Max Chickering, David Heckerman MSR-TR-2000-17 | February 2000 Proceedings of the International Conference on Functional Programming
Publication Boolean Programs: A Model and Process for Software Analysis Thomas Ball, Sriram Rajamani MSR-TR-2000-14 | February 2000 Published by Microsoft Project
Publication General Theory of Lee-Yang Zeros in Models with First-Order Phase Transitions M. Biskup, Christian Borgs, Jennifer Chayes, L.J. Kleinwaks, R. Kotecky Physical Review Letters | January 2000