公開日 Repeating Pattern Discovery from Acoustic Musical Signals Muyuan Wang, Lie Lu, Hong-Jiang Zhang June 2004
公開日 Object Invariants in Dynamic Contexts Rustan Leino, Peter Müller ECOOP 2004 – Object-Oriented Programming | June 2004 プロジェクト
公開日 Geometric Methods for Feature Extraction and Dimensional Reduction: A Guided Tour Chris J.C. Burges MSR-TR-2004-55 | June 2004
公開日 High-quality linear interpolation for demosaicing of Bayer-patterned color images Henrique S. Malvar, Li-wei He, Ross Cutler International Conference of Acoustic, Speech and Signal Processing | May 2004
公開日 Hoare-Style Program Verification (Lecture 2) Rustan Leino Rob DeLine’s CSE 503, Software Engineering, University of Washington, Seattle, WA | May 2004
公開日 The fast close-loop video transcoder with limited drifting error Lujun Yuan, Feng Wu, Qi Chen, Shipeng Li, Wen Gao May 2004
公開日 Righting Software Jim Larus, Thomas Ball, Manuvir Das , Robert DeLIne, Manuel Fahndrich, Jon Pincus, Sriram Rajamani, Ramanathan Venkatapathy IEEE Software | May 2004, 巻21: pp. 92-100
公開日 Hoare-Style Program Verification (Lecture 0) Rustan Leino Rob DeLine’s CSE 503, Software Engineering, University of Washington, Seattle, WA | April 2004
公開日 Hoare-Style Program Verification (Lecture 1) Rustan Leino Rob DeLine’s CSE 503, Software Engineering, University of Washington, Seattle, WA | April 2004
公開日 Semi-supervised Learning with Penalized Probabilistic Clustering Zhengdong Lu, Todd K. Leen NIPS’04 Proceedings of the 17th International Conference on Neural Information Processing Systems | April 2004