Algorithms - Microsoft Research

Publication

Table ASMs

Colin Campbell, Yuri Gurevich

Formal Methods and Tools for Computer Science (Proceedings of Eurocast 2001) eds. R. Moreno-Diaz and A. Quesada-Arencibia, Universidad de Las Palmas de Gran Canaria Canary Islands, Spain | February 2001

Publication

The Learning-Curve Sampling Method Applied to Model-Based Clustering

Chris Meek, Bo Thiesson, David Heckerman

Journal of Machine Learning Research | February 2001, Vol 2: pp. 397-418

Also appears as Technical Report MSR-TR-01-34, Microsoft Research, February, 2001.

Publication

Practical Byzantine Fault Tolerance

Miguel Castro

January 2001

PhD Thesis: Massachusetts Institute of Technology | January 2001

George M. Sprowls Award

Publication

Bayesian Inference of a Uniform Distribution

Tom Minka

January 2001

Publication

On the Compression of Image Based Rendering Scene: A Comparison Among Block, Reference and Wavelet Coders

Jin Li, Heung-Yeung Shum, Ya-Qin Zhang

International Journal on Image and Graphics | January 2001, Vol 1(1): pp. 1-17

Publication

A graph layout algorithm for drawing metabolic pathways

Mo Becker

Bioinformatics | January 2001, Vol 17(5)

Also in IMIA Yearbook of Medical Informatics, 2003.

Publication

The Wildfire Challenge Problem

Leslie Lamport, Madhu Sharma, Mark Tuttle, Yuan Yu

January 2001

Publication

Inadequacy of Computable Loop Invariants

Andreas Blass, Yuri Gurevich

ACM Transactions on Computer Logic | January 2001

Publication

Evolution of the Performance of Automatic Speech Recognition Algorithms in Transcribing Conversational Telephone Speech

Geoffrey Zweig

Proceedings of IMTC | January 2001

Publication

Identifying Collocations for Recognizing Opinions

Janyce M. Wiebe, Theresa Wilson, Matthew Bell

Proceedings of the ACL/EACL Workshop on Collocation | January 2001