论文与出版物 Stochastic HPSG Parse Selection using the Redwoods Corpus Kristina Toutanova, Christopher D. Manning, Stephan Oepen, Dan Flickinger Journal of Logic and Computation | January 2005
论文与出版物 Optimal Packetization of Fine Granularity Scalability Codestreams for Error-Prone Channels Bin Benjamin Zhu, Yang Yang, Chang Wen Chen, Shipeng Li IEEE Int. Conf. Image Processing 2005 | January 2005 IEEE Int. Conf. Image Processing 2005
论文与出版物 On-The-Fly Testing of Reactive Systems Margus Veanes, Colin Campbell, Wolfram Schulte, Pushmeet Kohli MSR-TR-2005-05 | January 2005 项目
论文与出版物 Support Vector Machines for Paraphrase Identification and Corpus Construction Chris Brockett, Bill Dolan Third International Workshop on Paraphrasing (IWP2005) | January 2005
论文与出版物 The Spec# Programming System: An Overview Mike Barnett, Rustan Leino, Wolfram Schulte CASSIS 2004, Construction and Analysis of Safe, Secure and Interoperable Smart devices | January 2005 CASSIS 2004, Construction and Analysis of Safe, Secure and Interoperable Smart devices 项目
论文与出版物 Safe Concurrency for Aggregate Objects with Invariants Bart Jacobs, Rustan Leino, Frank Piessens, Wolfram Schulte SEFM | January 2005 ISBN: 0-7695-2435-4 项目
论文与出版物 Geometric Methods for Feature Selection and Dimensional Reduction Chris J.C. Burges Data Mining and Knowledge Discovery Handbook: A Complete Guide for Practitioners and Researchers | January 2005
论文与出版物 Associated types with class Simon Peyton Jones POPL ’05: Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages | January 2005 ISBN: 1-58113-830-X
论文与出版物 Associated Type Synonyms Manuel Chakravarty, Gabriele Keller, Simon Peyton Jones ACM SIGPLAN International Conference on Functional Programming (ICFP’05) | January 2005
论文与出版物 Local Reasoning for Java Matthew J. Parkinson January 2005 January 2005 http://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-654.html