Algorithms - Microsoft Research

Publication

CMC: A pragmatic approach to model checking real code

Madanlal Musuvathi, David Park, Andy Chou, Dawson R. Engler, David L. Dill, Madan Musuvathi

OSDI 02: Fifth Symposium on Operating Systems Design and Implementation | December 2002

OSDI 02: Fifth Symposium on Operating Systems Design and Implementation

Project

Publication

Diameters of Homogeneous Spaces

Michael Freedman, Alexei Kitaev, Jacob Lurie

MSR-TR-2002-119 | December 2002

Publication

Judging Significance from Error Bars

Tom Minka

November 2002

Publication

Towards an optimized 3D broadcast chain

Marc J. R. Op de Beeck, Piotr Wilinski , Christoph Fehn, Peter Kauff , Wijnand A. Ijsselsteijn , Marc Pollefeys, Luc J. Van Gool, Eyal Ofek, Ian Sexton

Proc. SPIE 4864, Three-Dimensional TV, Video, and Display | November 2002

Publication

Expectation Propagation for Signal Detection in Flat-fading Channels

Yuan Qi, Tom Minka

November 2002

Publication

Efficient Algorithms for Universal Portfolios

Adam Tauman Kalai, Santosh Vempala

Journal of Machine Learning Research | November 2002, pp. 423-440

Publication

Practical Byzantine Fault Tolerance and Proactive Recovery

Miguel Castro, Barbara Liskov

ACM Transactions on Computer Systems (TOCS) | November 2002

Publication

Bayesian Spectrum Estimation of Unevenly Sampled Nonstationary Data

Yuan Qi, Tom Minka, Rosalind W. Picard

October 2002

Publication

Hessian-based Markov Chain Monte-Carlo Algorithms

Yuan Qi, Tom Minka

September 2002

Tool

Texture Mapping Progressive Meshes

This demo shows results of parametrizing triangle meshes to support texture mapping at various levels of detail. A texture atlas is constructed that can be re-used on coarse and fine geometries. Examples include the Stanford…

Access Video Publication