Algorithms - Microsoft Research

Publication

Induction in Compositional Model Checking

Kenneth L. McMillan , Shaz Qadeer, James B. Saxe

12th International Conference | July 2000

Publication

Bayesian Model Averaging is not Model Combination

Tom Minka

July 2000

Video

Silhouette Clipping

July 1, 2000 | John Snyder

Approximating detailed models with coarse, texture-mapped meshes results in polygonal silhouettes. To eliminate this artifact, we introduce silhouette clipping, a framework for efficiently clipping the rendering of coarse geometry to the exact silhouette of the…

Publication

Silhouette Clipping

Pedro V. Sander, Xianfeng Gu, Steven J. Gortler, Hugues Hoppe, John Snyder

ACM SIGGRAPH | July 2000

Video

Publication

Adaptive Noise Reduction of Speech Signals

Wenqing Jiang, Henrique S. Malvar

MSR-TR-2000-86 | July 2000

Publication

Revisiting the Paxos Algorithm

Roberto de Prisco, Butler Lampson, Nancy Lynch

Theoretical Computer Science | July 2000, Vol 243(1): pp. 35-91

A preliminary version appeared as Proc. WDAG'97, Lecture Notes in Computer Science 1320, Springer, 1997, pp 111-125

Publication

On the Quality of Service of Failure Detectors

Wei Chen, Sam Toueg, Marcus K. Aguilera

In Proceedings of the International Conference on Dependable Systems and Networks (DSN’2000), New York, NY, USA, IEEE Computer Society and IFIP WG 10.4, June 2000, pp. 191-200. | June 2000

Winner of the William C. Carter Award

Publication

Mobile Ambients

Luca Cardelli, Andy Gordon

Theoretical Computer Science | June 2000, Vol 240(1): pp. 177-213

Publication

Deriving Quadrature Rules from Gaussian Processes

Tom Minka

June 2000

Publication

Roof-Edge Preserving Image Smoothing Based on MRFs

Stan. Z. Li

June 2000