Publication Kernel Method for Percentile Feature Extraction Bernhard Schölkopf, John Platt, Alex J. Smola MSR-TR-2000-22 | February 2000
Publication A Toolkit for Building Dependable and Extensible Home Networking Applications Anish Arora, Wilf Russell, Yi-Min Wang MSR-TR-2000-07 | February 2000
Publication Boolean Programs: A Model and Process for Software Analysis Thomas Ball, Sriram Rajamani MSR-TR-2000-14 | February 2000 Published by Microsoft Project
Publication Language-Agnostic Program Rendering for Presentation, Debugging and Visualization Christian Collberg, Sean Davey, Todd A. Proebsting MSR-TR-2000-09 | February 2000
Publication Authentication primitives and their compilation Martın Abadi, Cédric Fournet, Georges Gonthier To appear in the Proceedings of the 27th ACM Symposium on Principles of Programming Languages (January 2000) | January 2000
Publication Definability and Undefinability with Real Order at the Background Yuri Gurevich, Alexander Rabinovich Journal of Symbolic Logic | January 2000, Vol 65(2): pp. 946-958
Publication Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs Zhendong Su, Manuel Fahndrich, Alexander Aiken Proceedings POPL 2000, 27’th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2000
Publication Learning Subjective Adjectives from Corpora Janyce M. Wiebe Proceedings of AAAI-00, 17th Conference of the American Association for Artificial Intelligence | January 2000 Proceedings of AAAI-00, 17th Conference of the American Association for Artificial Intelligence ISBN: 0-262-51112-6
Publication Choiceless Polynomial Time Computation and the Zero-One Law Andreas Blass, Yuri Gurevich Proceedings of CSL’2000, Springer Lecture Notes in Computer Science | January 2000
Publication The Multi-Architecture Performance of the Parallel Functional Language GPH P.W. Trinder, H-W. Loidl, E. Barry, K. Hammond, U. Klusik, Simon Peyton Jones Euro-Par 2000 “” Parallel Processing | January 2000 Euro-Par 2000 — Parallel Processing
