출판 Parameterized Verification of Multithreaded Software Libraries Thomas Ball, Sagar Chaki, Sriram Rajamani MSR-TR-2000-116 | December 2000 글쓴이 Microsoft 프로젝트
출판 On Optimal Overcomplete Subband Expansions for Multiple Description Coding Sanjeev Mehrotra Proceedings of SPIE | December 2000
출판 Statistically-Enhanced New Word Identification in a Rule-Based Chinese System Andi Wu, Zixin Jiang November 2000
출판 A New Zero-One Law and Strong Extension Axioms Andreas Blass, Yuri Gurevich Bulletin of the European Association for Theoretical Computer Science | October 2000, 제 72 권: pp. 103-122
출판 A Robust Training Strategy Against Straneous Acoustic Variations for Spontaneous Speech Recognition Hui Jiang, Li Deng Proc. of the Int. Conf. on Spoken Language Processing | October 2000 Proc. of the Int. Conf. on Spoken Language Processing
출판 Distance Metrics for Discrete Time-Frequency Representations L. Atlas, Jasha Droppo Proc. International Workshop on Digital Signal Processing | October 2000 Proc. International Workshop on Digital Signal Processing
출판 A prediction system for multimedia pre-fetching in Internet Hong-Jiang Zhang, Qiang Yang, Zhong Su October 2000