公開日 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 プロジェクト
公開日 Diameters of Homogeneous Spaces Michael Freedman, Alexei Kitaev, Jacob Lurie MSR-TR-2002-119 | December 2002
公開日 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.
公開日 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
公開日 Efficient Algorithms for Universal Portfolios Adam Tauman Kalai, Santosh Vempala Journal of Machine Learning Research | November 2002, pp. 423-440
公開日 Practical Byzantine Fault Tolerance and Proactive Recovery Miguel Castro, Barbara Liskov ACM Transactions on Computer Systems (TOCS) | November 2002
公開日 Expectation Propagation for Signal Detection in Flat-fading Channels Yuan Qi, Tom Minka November 2002
公開日 Bayesian Spectrum Estimation of Unevenly Sampled Nonstationary Data Yuan Qi, Tom Minka, Rosalind W. Picard October 2002