Publication Deciding Validity in a Spatial Logic for Trees Cristiano Calcagno, Luca Cardelli, Andy Gordon MSR-TR-2002-113 | January 2003 Published by Microsoft A portion of this work appears in the proceedings of the ACM SIGPLAN Workshop on Types in Language Design and Implementation, New Orleans, January 18, 2003. Access
Publication Discovering Affine Equalities using Random Interpretation Sumit Gulwani, George C. Necula POPL’03, January 15-17, 2003, New Orleans, Louisiana, USA | January 2003 Project
Publication Wearing the hair shirt: a retrospective on Haskell (2003) Simon Peyton Jones January 2003 | invited talk at POPL 2003 edition edition invited talk at POPL 2003
Publication On Evaluation and Training-Set Construction for Duplicate Detection Misha Bilenko, Raymond J. Mooney Proceedings of the KDD-2003 Workshop on Data Cleaning, Record Linkage, and Object Consolidation | January 2003 Proceedings of the KDD-2003 Workshop on Data Cleaning, Record Linkage, and Object Consolidation
Publication The Geometry of Kernel Canonical Correlation Analysis Malte Kuss, Thore Graepel 108 | January 2003
Publication Model-Based Testing with AsmL .NET Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes 1st European Conference on Model-Driven Software Engineering | January 2003 Project Project Project
Publication Information Voyeurism: Social Impact of Physically Large Displays on Information Privacy Desney Tan, Mary Czerwinski CHI 2003 | January 2003
Publication Discriminative Model Selection for Density Models Bo Thiesson, Chris Meek Proceedings of Ninth International Workshop on Artificial Intelligence and Statistics | January 2003
Publication Incentive-compatible, budget-balanced, yet highly efficient auctions for supply chain formation Moshe Babaioff, William E. Walsh ACM Conference on Electronic Commerce (EC’03) | January 2003
Publication An Architecture for Rapid Decoding of Large Vocabulary Conversational Speech George Saon, Geoffrey Zweig, Brian Kingsbury, Lidia Mangu, Upendra Chaudhari Proceedings of Eurospeech | January 2003