Algorithms - Microsoft Research

公開日

Concerning Bayesian Motion Segmentation, Model Averaging, Matching and the Trifocal Tensor

A. Zisserman, Phlip H.S. Torr

July 1999

公開日

Using the Heartbeat Failure Detector for Quiescent Reliable Communication and Consensus in Partitionable Networks

Theoretical Computer Science, Elsevier Science, invited paper in the special issue on distributed algorithms, 220:1, June 1999, pp. 3-30. | June 1999

公開日

Model Checking TLA+ Specifications

Yuan Yu, Panagiotis Manolios, Leslie Lamport

In Correct Hardware Design and Verification Methods (CHARME ’99), Laurence Pierre and Thomas Kropf editors. Lecture Notes in Computer Science, Springer-Verlag. | June 1999

公開日

A multi-view approach to motion and stereo

Rick Szeliski

1999 Computer Vision and Pattern Recognition | June 1999

公開日

Universal Portfolios With and Without Transaction Costs

Avrim Blum, Adam Tauman Kalai

Proceedings of the 10th Annual Conference on Computational Learning Theory | June 1999

公開日

A Correctness Proof for a Practical Byzantine-Fault-Tolerant Replication Algorithm

Miguel Castro, Barbara Liskov

MIT/LCS/TM-590 | June 1999

公開日

Efficiently Rendering Large Volume Data Using Texture Mapping Hardware

Xin Tong, Wenqiang Wang, Waiwan Tsang, Zesheng Tang

Data Visualization ’99, Proceedings of the Joint EUROGRAPHICS and IEEE TCVG Symposium on Visualization in Vienna, Austria, May 26-28, 1999 | May 1999

ISBN: 978-3-211-83344-5

公開日

Learning Mixture Models of Images and Inferring Spatial Transformations Using the EM algorithm

Brendan Frey, Nebojsa Jojic

IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 1999. | May 1999

公開日

Should Your Specification Language Be Typed?

Leslie Lamport, Lawrence C. Paulson

ACM Transactions on Programming Languages and Systems. Also appeared as SRC Research Report 147. | May 1999, 巻31(3): pp. 502-526

公開日

A Modulated Complex Lapped Transform and its Application to Audio Processing

Henrique S. Malvar

MSR-TR-99-27 | May 1999