Algorithms - Microsoft Research

Publication

Automatic 3D Model Construction for Turn-Table Sequences

Andrew Fitzgibbon, Geoff Cross, Andrew Zisserman

3D Structure from Multiple Images of Large-Scale Environments, LNCS 1506 | June 1998, pp. 155-170

ISBN: 3-540-65310-4

Publication

High-Speed Algorithms & Architectures For Number-Theoretic Cryptosystems

Tolga Acar

June 1998

PhD Thesis: Oregon State University | June 1998

Publication

Verifying a Self-Stabilizing Mutual Exclusion Algorithm

Natarajan Shankar , Shaz Qadeer

Working Conference on Programming Concepts and Methods (PROCOMET ’98) | June 1998

Publication

The relation between second-order unification and simultaneous rigid E-unification

Margus Veanes

Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS’98) | June 1998

Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS'98)

Publication

Reduction in TLA

Leslie Lamport, Ernie Cohen

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

Sharp Phase Boundaries for a Lattice Flux Line Model

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

MSR-TR-98-19 | May 1998

Publication

Empirical Analysis of Predictive Algorithms for Collaborative Filtering

John S. Breese, David Heckerman, Carl Kadie

MSR-TR-98-12 | May 1998