Publication Fast Progressive Image Coding Without Wavelets Henrique S. Malvar Data Compression Conference | March 2000 Data Compression Conference
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 Efficient Discovery of Error-Tolerant Frequent Itemsets in High Dimensions Cheng Yang, Usama Fayyad, Paul S. Bradley MSR-TR-2000-20 | February 2000
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
Publication How (La)TeX changed the face of Mathematics Leslie Lamport Mitteilungen der Deutschen Mathematiker-Vereinigung | January 2000, pp. 49-51
Publication Definability and Undefinability with Real Order at the Background Yuri Gurevich, Alexander Rabinovich Journal of Symbolic Logic | January 2000, Vol 65(2): pp. 946-958
Publication Gibbs States of Graphical Representations of the Potts Model with External Fields M. Biskup, Christian Borgs, Jennifer Chayes, R. Kotecky Journal of Mathematical Physics | January 2000
Publication Boosting Gaussian Mixtures in an LVCSR System Geoffrey Zweig Proceedings of ICASSP | January 2000 Proceedings of ICASSP