Publication Convex Quadrilaterals and k-Sets Laszlo Lovasz, Katalin Vesztergombi, Uli Wagner, Emo Welzl MSR-TR-2003-06 | February 2003
Publication Types for atomicity Cormac Flanagan, Shaz Qadeer TLDI ’03 Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation | January 2003
Publication Deciding Validity in a Spatial Logic for Trees Cristiano Calcagno, Luca Cardelli, Andy Gordon MSR-TR-2002-113 | January 2003 Publié par 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. Accès
Publication Discovering Affine Equalities using Random Interpretation Sumit Gulwani, George C. Necula POPL’03, January 15-17, 2003, New Orleans, Louisiana, USA | January 2003 Projet
Publication Wearing the hair shirt: a retrospective on Haskell (2003) Simon Peyton Jones January 2003 | édition invited talk at POPL 2003 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 Projet Projet Projet
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