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 Single View Metrology Antonio Criminisi, I. Reid, A. Zisserman International Journal of Computer Vision | November 2000, Vol 40(2): pp. 123-148
Publication Classified Displays of Web Search Results Susan Dumais, Ed Cutrell, Hao Chen Advances in Classification Research Online Invited presentation at ASIS&T SIG/CR Classification Research Workshop | November 2000, Vol 11
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 Speech Denoising and Dereverberation Using Probabilistic Models Hagai Attias, John Platt, Alex Acero, Li Deng NIPS | November 2000
Publication Determining the Geographic Location of Internet Hosts Subramanian Lakshminarayanan, Venkat Padmanabhan MSR-TR-2000-110 | November 2000
Publication An Improved Training Algorithm for Kernel Fisher Discriminants Sebastian Mika, Bernhard Schölkopf, Alexander Smola MSR-TR-2000-77 | November 2000
Publication Statistically-Enhanced New Word Identification in a Rule-Based Chinese System Andi Wu, Zixin Jiang November 2000
Publication Multipath Issues in Unicast and Multicast Next-Hop Selection Dave Thaler, C. Hopps November 2000 RFC 2991
Publication Unifying Scheduled Time Models with Interactive Event-based Timing: Notes on Indeterminate Timing Patrick Schmitz MSR-TR-2000-114 | November 2000