Publication FPH: First-class polymorphism for Haskell Dimitrios Vytiniotis, Simon Peyton Jones, Stephanie Weirich Proceedings of the 13th ACM SIGPLAN International Conference on Functional Programming | September 2008 Proceedings of the 13th ACM SIGPLAN International Conference on Functional Programming
Publication ECG and echocardiography processing for decision support in heart failure Dimitra Emmanouilidou Computing in Cardiology Conference | September 2008
Publication Techniques for enhancing JPEG XR / HD Photo rate-distortion performance for particular fidelity metrics Daniel Schonberg, Shijun Sun, Gary J. Sullivan, Shankar Regunathan, Zhi Zhou, Sridhar Srinivasan Proceedings of SPIE Applications of Digital Image Processing XXXI | August 2008, Vol 7073: pp. 707314
Publication Coding of high dynamic range images in JPEG XR / HD Photo Sridhar Srinivasan, Zhi Zhou, Gary J. Sullivan, Robert Rossi, Shankar Regunathan, Chengjie Tu, Anirban Roy Proceedings of SPIE Applications of Digital Image Processing XXXI | August 2008, Vol 7073: pp. 707315
Publication Image coding design considerations for cascaded encoding-decoding cycles and image editing: analysis of JPEG 1, JPEG 2000, and JPEG XR / HD Photo Gary J. Sullivan, Shijun Sun, Shankar Regunathan, Daniel Schonberg, Chengjie Tu, Sridhar Srinivasan Proceedings of SPIE Applications of Digital Image Processing XXXI | August 2008, Vol 7073: pp. 707312
Publication Learning from Multi-topic Web Documents for Contextual Advertisement Yi Zhang, Muktha Ananda, John C. Platt, Mukund Narasimhan KDD 2008, Las Vegas | August 2008 Best Application Paper Award Runner-up
Publication Tight Bounds for Mixing of the Swendsen-Wang Algorithm at the Potts Transition Point Christian Borgs, Jennifer Chayes, Prasad Tetali MSR-TR-2008-204 | August 2008
Publication A TLA+ Proof System Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz Proceedings of the LPAR Workshops, CEUR Workshop | August 2008
Publication Leslie Lamport: The Specification Language TLA+ Leslie Lamport In Logics of Specification Languages | 2008 | In Logics of Specification Languages, Dines Bjørner and Martin C. Henson, editors. edition Editor(s): Dines Bjarner and Martin C. Henson
Publication Robust Dual Motion Deblurring Jia Chen, Lu Yuan, Chi-Keung Tang, Long Quan IEEE Conference on Computer Vision and Pattern Recognition | August 2008 IEEE Conference on Computer Vision and Pattern Recognition