Publication The H.264/AVC Advanced Video Coding Standard: Overview and Introduction to the Fidelity Range Extensions Gary J. Sullivan, Pankaj N. Topiwala, Ajay K. Luthra Proceedings of SPIE Applications of Digital Image Processing XXVII | November 2004
Publication Triangulation and Embedding Using Small Sets of Beacons Jon Kleinberg, Aleksandrs Slivkins, Tom Wexler, Aleksandrs Slivkins 45th IEEE Symp. on Foundations of Computer Science (FOCS) | October 2004 45th IEEE Symp. on Foundations of Computer Science (FOCS) This is the journal version, to appear in JACM in 2009. This version includes portions of [Slivkins SODA'05]
Publication Robust Video Signature Based on Ordinal Measure Xian-Sheng Hua, Xian Chen, Hong-Jiang Zhang ICIP ’04. 2004 International Conference on Image Processing, 2004. | October 2004
Publication A Two-Tier Technique for Supporting Quantifiers in A Lazily Proof-Explicating Theorem Prover Rustan Leino, Madan Musuvathi, Xinming Ou MSR-TR-2004-109 | October 2004
Publication Coupled Subspaces Analysis Dong Xu, Shuicheng Yan, Lei Zhang, Zhengkai Liu, Hong-Jiang Zhang MSR-TR-2004-106 | October 2004
Publication Champagne Prototyping: A Research Technique for Early Evaluation of Complex End-User Programming Systems Alan Blackwell, Margaret Burnett, Simon Peyton Jones IEEE Symposium on Visual Languages and Human Centric Computing (VLHCC) | September 2004 Project
Publication Random Subgraphs of Finite Graphs: I. The Scaling Window Under the Triangle Condition Christian Borgs, Jennifer Chayes, Remco van der Hofstad, Gordon Slade, Joel Spencer Random Structures and Algorithms 27 | September 2004
Publication Random Subgraphs of Finite Graphs: III. The Phase Transition for the n-cube Christian Borgs, Jennifer Chayes, Remco van der Hofstad, Gordon Slade, Joel Spencer Combinatorica | September 2004
Publication The NearMe Wireless Proximity Server John Krumm, Ken Hinckley UbiComp 2004: Ubiquitous Computing: 6th International Conference, Nottingham, UK, September 7-10, 2004, Proceedings (Lecture Notes in Computer Science) | September 2004 ISBN: 978-3-540-22955-1
Publication Zing: Exploiting program structure for model checking concurrent software Tony Andrews, Shaz Qadeer, Sriram Rajamani, Jakob Rehof, Yichen Xie Proceedings of the 15th International Conference on Concurrency Theory | September 2004
