Publication Diameters of Homogeneous Spaces Michael Freedman, Alexei Kitaev, Jacob Lurie MSR-TR-2002-119 | December 2002
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 Multimedia Content Screening Using a Dual Watermarking and Fingerprinting System Darko Kirovski, Henrique S. Malvar, Yacov Yacobi ACM Multimedia | December 2002 ACM Multimedia Best Paper Award, ACM Multimedia Conference, 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 Efficient Algorithms for Universal Portfolios Adam Tauman Kalai, Santosh Vempala Journal of Machine Learning Research | November 2002, pp. 423-440
Publication Expectation Propagation for Signal Detection in Flat-fading Channels Yuan Qi, Tom Minka November 2002
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