Publication MMIHMM: Maximum Mutual Information Hidden Markov Models Nuria Oliver, Ashutosh Garg MSR-TR-2002-13 | February 2002
Publication An Adaptive Speaker Verification System With Speaker Dependent A Priori Decision Thresholds Nikki Mirghafori, Larry Heck Proceedings of the International Conference on Spoken Language Processing | January 2002
Publication Typing Correspondence Assertions for Communication Protocols Andy Gordon, Alan Jeffrey Seventeenth Conference on the Mathematical Foundations of Programming Semantics (MFPS 2001) | November 2001
Publication Logical Properties of Name Restriction Luca Cardelli, Andy Gordon 5th International Conference, TLCA Kraków, Poland, May 2-5, 2001 | April 2001 ISBN: 978-3-540-41960-0 (Print) 978-3-540-45413-7 (Online)
Publication The Complexity of Model Checking Mobile Ambients Witold Charatonik, Silvano Dal Zilio, Andy Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot Foundations of Software Science and Computation Structures | March 2001 ISBN: 978-3-540-41864-1 (Print) 978-3-540-45315-4 (Online)
Publication On-Line Unsupervised Adaptation in Speaker Verification: Confidence-Based Updates and Improved Parameter Estimation Larry Heck, Nikki Mirghafori ISCA Tutorial and Research Workshop (ITRW) on Adaptation Methods for Speech Recognition | January 2001
Publication Recurrence of distributional limits of finite planar graphs Itai Benjamini, Oded Schramm Electron. J. Probab. | January 2001, Vol 6: pp. 1-13
Publication Inheritance in the Join Calculus (extended abstract) Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Remy Foundations of Software Technology and Theoretical Computer Science | December 2000