Algorithms - Microsoft Research

Publication

Reduction in TLA

CONCUR’98 Concurrency Theory, David Sangiorgi and Robert de Simone editors. Lecture Notes in Computer Science. | May 1998

Publication

ACM Transactions on Computer Systems 16, 2 (May 1998), 133-169. Also appeared as SRC Research Report 49. This paper was first submitted in 1990, setting a personal record for publication delay that has since been broken by [60]. | May 1998

ACM SIGOPS Hall of Fame Award in 2012

Publication

Text Categorization Through Probabilistic Learning: Applications to Recommender Systems

Paul N. Bennett

May 1998

Publication

Making Faces

B. Guenter, C. Grimm, D. Wood, H. Malvar, F. Pighin

SIGGRAPH’98 | May 1998

SIGGRAPH'98

Publication

Empirical Analysis of Predictive Algorithms for Collaborative Filtering

John S. Breese, David Heckerman, Carl Kadie

MSR-TR-98-12 | May 1998

Publication

Sharp Phase Boundaries for a Lattice Flux Line Model

Christian Borgs, Jennifer Chayes, C. King, N. Madras

MSR-TR-98-19 | May 1998

Publication

Sequential Minimal Optimization: A Fast Algorithm for Training Support Vector Machines

John Platt

MSR-TR-98-14 | April 1998

Published by Microsoft

Project

Publication

Montgomery Multiplication in GF(2 ^k)

Cetin K. Koc, Tolga Acar

Designs, Codes and Cryptography | March 1998, Vol 14(1): pp. 57-69

Publication

Substitution: Syntactic versus Semantic

Leslie Lamport

1998-004 | March 1998

The Fifth Internatinal Conference on Theoretical and Methodological Issues in Machine Translation with special emphasis on: MT in the Next Generation

Publication

Proving Possibility Properties

Leslie Lamport

Theoretical Computer Science. Also appeared as SRC Research Report 137. | March 1998, Vol 206(2): pp. 341-352