Publication Partition Approach to Failure Detectors for k-Set Agreement Wei Chen, Jialin Zhang, Yu Chen, Xuezheng Liu MSR-TR-2007-49 | May 2007
Publication Using Widenings to Infer Loop Invariants Inside an SMT Solver, Or: A Theorem Prover As Abstract Domain Rustan Leino, Francesco Logozzo International Workshop on Invariant Generation | May 2007 International Workshop on Invariant Generation
Publication Modeling and Rendering of Heterogeneous Translucent Materials Using the Diffusion Equation Jiaping Wang, Shuang Zhao, Xin Tong, Stephen Lin, Zhouchen Lin, Yue Dong, Baining Guo, Harry Shum ACM Transactions on Graphics (TOG) | May 2007, Vol 27
Publication InfoSpect: Using a Logic Language for System Health Monitoring in Distributed Systems T. Roscoe, R. Mortier, P. Jardetzky, S. Hand IRB-TR-02-007 | April 2007 Proc. 5th Int. Conf. on Computer Vision
Publication Rank minimization via online learning R. Meka, Prateek Jain, C. Caramanis, I. S. Dhillon Machine Learning, Proceedings of the Twenty-Fifth International Conference (ICML 2008) | April 2007 Project
Publication Anaylsis of Max-Min Eigenvalue of Constrained Linear Combinations of Symmetric Matrices Qu-Tang Cai, Chunyi Peng, Chang-Shui Zhang IEEE International Conference on Acoustics, Speech and Signal Processing(ICASSP 2007) | April 2007 IEEE International Conference on Acoustics, Speech and Signal Processing(ICASSP 2007)
Publication Less is More: Compact Matrix Decomposition for Large Sparse Graphs (Best research paper award!) Jimeng Sun, Yinglian Xie, Hui Zhang, Christos Faloutsos the 2007 SIAM International Conference on Data Mining (SDM), Minneapolis, MN | April 2007 the 2007 SIAM International Conference on Data Mining (SDM), Minneapolis, MN
Publication Strong-Diameter Decompositions of Minor Free Graphs Ittai Abraham, Cyril Gavoille, Dahlia Malkhi, Udi Wieder ACM Symposium on Parallel Algorithms and Architectures (SPAA) | March 2007 ISBN: 978-1-59593-667-7
Publication The H.264/AVC Video Coding Standard [Standards in a Nutshell] Thomas Wiegand, Gary J. Sullivan IEEE Signal Processing Magazine | March 2007, Vol 24(2): pp. 148-153
