Publication BI as an Assertion Language for Mutable Data Structures Peter O’Hearn, Samin Ishtiaq POPL | January 2001
Publication A Best-First Alignment Algorithm For Automatic Extraction Of Transfer Mappings From Bilingual Corpora Arul Menezes, Stephen D. Richardson January 2001
Publication Multi-fidelity algorithms for interactive mobile applications M. Satyanarayanan, Dushyanth Narayanan Wirel. Netw. | January 2001, Vol 7: pp. 601-607
Publication 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
Publication Content-based Audio Classification and Retrieval using SVM Learning Guodong Guo, Stan. Z. Li December 2000
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 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
