Publication Geometric Methods for Feature Extraction and Dimensional Reduction: A Guided Tour Chris J.C. Burges MSR-TR-2004-55 | June 2004
Publication Verification of Object-Oriented Programs With Invariants Mike Barnett, Robert DeLIne, Manuel Fahndrich, Rustan Leino, Wolfram Schulte Journal of Object Technology, Special issue | June 2004, Vol 3(6): pp. 27-56 Published as Technical Report 408 from ETH Zurich. Project
Publication Repeating Pattern Discovery from Acoustic Musical Signals Muyuan Wang, Lie Lu, Hong-Jiang Zhang June 2004
Publication 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
Publication Hoare-Style Program Verification (Lecture 2) Rustan Leino Rob DeLine’s CSE 503, Software Engineering, University of Washington, Seattle, WA | May 2004
Publication Righting Software Jim Larus, Thomas Ball, Manuvir Das , Robert DeLIne, Manuel Fahndrich, Jon Pincus, Sriram Rajamani, Ramanathan Venkatapathy IEEE Software | May 2004, Vol 21: pp. 92-100
Publication The fast close-loop video transcoder with limited drifting error Lujun Yuan, Feng Wu, Qi Chen, Shipeng Li, Wen Gao May 2004
Publication Hoare-Style Program Verification (Lecture 0) Rustan Leino Rob DeLine’s CSE 503, Software Engineering, University of Washington, Seattle, WA | April 2004
Publication Hoare-Style Program Verification (Lecture 1) Rustan Leino Rob DeLine’s CSE 503, Software Engineering, University of Washington, Seattle, WA | April 2004
Publication 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