Algorithms

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

Chris Meek, Bo Thiesson, David Heckerman

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

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

Miguel Castro

January 2001

博士论文：Massachusetts Institute of Technology | January 2001

George M. Sprowls Award

Tom Minka

January 2001

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

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

Mo Becker

Bioinformatics | January 2001, 第 17 卷(5)

Also in IMIA Yearbook of Medical Informatics, 2003.

Leslie Lamport, Madhu Sharma, Mark Tuttle, Yuan Yu

Rejected from CAV 2001 | January 2001

John Snyder, Don Mitchell

MSR-TR-2001-122 | January 2001

Bo Thiesson, Chris Meek, David Heckerman

Machine Learning | January 2001, 第 45 卷: pp. 279-299

Also appears as Technical Report MSR-TR-99-31, Microsoft Research, May, 1999 (Revised February, 2001).

Geoffrey Zweig

Proceedings of IMTC | January 2001