출판 Learning Bayesian Networks From Dependency Networks: A Preliminary Study Geoff Hulten, Max Chickering, David Heckerman Proceedings of the Ninth International Workshop on Artificial Intelligence and Statistics, ® Key West, FL | January 2001
출판 Inadequacy of Computable Loop Invariants Andreas Blass, Yuri Gurevich ACM Transactions on Computer Logic | January 2001
출판 Phase Transition and Finite-size Scaling for the Integer Partitioning Problem Christian Borgs, Jennifer Chayes, Boris Pittel Random Structures and Algorithms 19 | January 2001
출판 Efficient Object BSP Trees Navendu Jain, Sorav Bansal, Sanjiv Kapoor Indian Conference on Computer Graphics, Vision and Image Processing (ICVGIP ’00) | December 2000
출판 The Birth of the Infinite Cluster: Finite-size Scaling in Percolation Christian Borgs, Jennifer Chayes, H. Kesten, J. Spencer Communications in Mathematical Physics 224 | December 2000
출판 Content-based Audio Classification and Retrieval using SVM Learning Guodong Guo, Stan. Z. Li December 2000
출판 A probabilistic model of information retrieval: development and comparative experiments K. Sparck Jones, S. Walker, S. E. Robertson, Stephen Robertson Information Processing and Management | November 2000, 제 36 권: pp. 779-808
출판 Decomposing refinement proofs using assume-guarantee reasoning Thomas A. Henzinger, Shaz Qadeer, Sriram Rajamani Computer Aided Design, 2000. ICCAD-2000. IEEE/ACM International Conference on | November 2000
출판 Transformation-Invariant Clustering and Linear Component Analysis using the EM Algorithm Brendan J. Frey, Nebojsa Jojic IEEE Transactions on Pattern Analysis and Machine Intelligence | November 2000