Publication Inadequacy of Computable Loop Invariants Andreas Blass, Yuri Gurevich ACM Transactions on Computer Logic | January 2001
Publication Phase Transition and Finite-size Scaling for the Integer Partitioning Problem Christian Borgs, Jennifer Chayes, Boris Pittel Random Structures and Algorithms 19 | January 2001
Publication Efficient Object BSP Trees Navendu Jain, Sorav Bansal, Sanjiv Kapoor Indian Conference on Computer Graphics, Vision and Image Processing (ICVGIP ’00) | December 2000
Publication 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
Publication Content-based Audio Classification and Retrieval using SVM Learning Guodong Guo, Stan. Z. Li December 2000
Publication 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, Vol 36: pp. 779-808
Publication 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
Publication 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
Publication An Improved Training Algorithm for Kernel Fisher Discriminants Sebastian Mika, Bernhard Schölkopf, Alexander Smola MSR-TR-2000-77 | November 2000
Research
Research