출판 Convex Quadrilaterals and k-Sets Laszlo Lovasz, Katalin Vesztergombi, Uli Wagner, Emo Welzl MSR-TR-2003-06 | February 2003
출판 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
출판 Deciding Validity in a Spatial Logic for Trees Cristiano Calcagno, Luca Cardelli, Andy Gordon MSR-TR-2002-113 | January 2003 글쓴이 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. 액세스
출판 Discovering Affine Equalities using Random Interpretation Sumit Gulwani, George C. Necula POPL’03, January 15-17, 2003, New Orleans, Louisiana, USA | January 2003 프로젝트
출판 Wearing the hair shirt: a retrospective on Haskell (2003) Simon Peyton Jones January 2003 | invited talk at POPL 2003 에디션 에디션 invited talk at POPL 2003
출판 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
출판 The Geometry of Kernel Canonical Correlation Analysis Malte Kuss, Thore Graepel 108 | January 2003
출판 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 프로젝트 프로젝트 프로젝트
출판 Information Voyeurism: Social Impact of Physically Large Displays on Information Privacy Desney Tan, Mary Czerwinski CHI 2003 | January 2003
출판 Discriminative Model Selection for Density Models Bo Thiesson, Chris Meek Proceedings of Ninth International Workshop on Artificial Intelligence and Statistics | January 2003