Algorithms - Microsoft Research

Publication

TLA in Pictures

Leslie Lamport

IEEE Transactions on Software Engineering | September 1995, Vol 21(9): pp. 768-775

Publication

Efficient Rational Number Reconstruction

George E. Collins, Mark Encarnación

Journal of Symbolic Computation, Issue 3 | September 1995, Vol 20: pp. 287-297

Publication

Tailoring Recursion For Complexity

Erich Grädel, Yuri Gurevich

J. Symbolic Logic | September 1995, Vol 60(3): pp. 952-969

Publication

A Distributed Edge Detection And Surface Reconstruction Algorithm

Tolga Acar, Muhittin Gokmen

Computer Architectures for Machine Perception (CAMP95) | September 1995

Publication

American Mathematical Monthly. Also appeared in Global Analysis in Modern Mathematics, Karen Uhlenbeck, editor. Publish or Perish Press, Houston. Also appeared as SRC Research Report 94. | August 1995, Vol 102(7): pp. 600-608

Publication

On Finding A Cycle Basis With A Shortest Maximal Cycle

Max Chickering, Dan Geiger, David Heckerman

Information Processing Letters | August 1995, Vol 54: pp. 55-58

Publication

Causal Inference And Causal Explanation With Background Knowledge

Chris Meek

Proceedings of Eleventh Conference on Uncertainty in Artificial Intelligence, ® Montreal, QU | Published by Morgan Kaufmann | 1995 | Proceedings of Eleventh Conference on Uncertainty in Artificial Intelligence, ® Montreal, QU edition

Publication

A Bayesian Approach to Learning Causal Networks

David Heckerman

MSR-TR-95-04 | August 1995

Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (UAI1995)

Publication

Undergraduate Thesis: Hyperacuity Sensing for Image Processing

Sumit Basu

June 1995

Master's Thesis: MIT Department of Electrical Engineering and Computer Science (EECS), 1995. | June 1995

Publication

Conjoining Specifications

Martin Abadi, Leslie Lamport

ACM Transactions on Programming Languages and Systems. Also appeared as SRC Research Report 118. | May 1995, Vol 17(3): pp. 507-534