Publication Noisy Speech Recognition Performance of Discriminative HMMs Jun Du, Peng Liu, Frank Soong, Jian-Lai Zhou, Ren-Hua Wang Proc. of ISCSLP 2006 | January 2006
Publication Haskell Is Not Not ML Simon Peyton Jones European Symposium on Programming, ESOP | January 2006 European Symposium on Programming, ESOP
Publication Discriminatively Trained Spoken Document Similarity Models and Their Application to Probabilistic Latent Semantic Analysis Kit Thambiratnam, Frank Seide, Roger (Peng) Yu Proc. IEEE Workshop on Spoken Language Technology (SLT) | January 2006 Proc. IEEE Workshop on Spoken Language Technology (SLT)
Publication XRT- Exploring Runtime for .NET Architecture and Applications Nikolai Tillmann, Wolfram Schulte Electr. Notes Theor. Comput. Sci. | January 2006, Vol 144(3): pp. 3-26 Project Project Project
Publication Morpheme Based Language Modeling for Arabic LVCSR Ghinwa Choueiter, Daniel Povey, Stanely F. Chen, Geoffrey Zweig Proceedings of ICASSP | January 2006 Proceedings of ICASSP
Publication SMT Techniques for Fast Predicate Abstraction Shuvendu Lahiri, Robert Nieuwenhuis, Albert Oliveras Conference on Computer Aided Verification (CAV ’06) | January 2006 ISBN: 3-540-37406-X
Publication Evaluating Predictive Uncertainty Challenge J. Quiñonero Candela, C. E. Rasmussen, F. Sinz, O. Bousquet, B. Schölkopf, Joaquin Quiñonero Candela Machine Learning Challenges – Evaluating Predictive Uncertainty, Textual Entailment and Object Recognition Systems | Published by Springer | 2006, Vol 3944 | Machine Learning Challenges – Evaluating Predictive Uncertainty, Textual Entailment and Object Recognition Systems edition
Publication Abstracting Allocation: The New new Thing (Short Presentation) Nick Benton, Noah Torp-Smith Proceedings of the Third Workshop on Semantics, Program Analysis and Computing Environments for Memory Management (SPACE ’06) | January 2006 Proceedings of the Third Workshop on Semantics, Program Analysis and Computing Environments for Memory Management (SPACE '06)
Publication Automatic Termination Proofs for Programs with Shape-Shifting Heaps Josh Berdine, Byron Cook, Dino Distefano, Peter W. O'Hearu Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings | January 2006 ISBN: 3-540-37406-X
Publication A Quick Update on the Open Problems in Blass-Gurevich-Shelah’s article “On Polynomial Time Computations Over Unordered Structures” Andreas Blass, Yuri Gurevich December 2005
