公開日 H.263 (Including H.263+) and Other ITU-T Video Coding Standards Tsuhan Chen, Gary Sullivan, Atul Puri Multimedia Systems, Standards, and Networks | CRC Press による投稿 | 2000
公開日 When Does a Correct Mutual Exclusion Algorithm Guarantee Mutual Exclusion Leslie Lamport, Sharon Perl, William Weihl Information Processing Letters | March 2000, 巻76(3): pp. 131-134
公開日 Marmot: An Optimizing Compiler for Java Bob Fitzgerald, Todd B. Knoblock, Erik Ruf, Bjarne Steensgaard, David Tarditi MSR-TR-99-33 | March 2000
公開日 Fast Progressive Image Coding Without Wavelets Henrique S. Malvar Data Compression Conference | March 2000 Data Compression Conference
公開日 The Underlying Logic of Hoare Logic Andreas Blass, Yuri Gurevich Bulletin of the European Association for Theoretical Computer Science | February 2000
公開日 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
公開日 Efficient Discovery of Error-Tolerant Frequent Itemsets in High Dimensions Cheng Yang, Usama Fayyad, Paul S. Bradley MSR-TR-2000-20 | February 2000
公開日 Boolean Programs: A Model and Process for Software Analysis Thomas Ball, Sriram Rajamani MSR-TR-2000-14 | February 2000 Microsoft による投稿 プロジェクト
公開日 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