Publication A Framework for Fine-granular Computational-complexity Scalable Motion Estimation Zhi Yang, Hua Cai, Jiang Li June 2005
Publication On Subsumption Removal and On-the-Fly CNF Simplification Lintao Zhang 8th International Conference on the Theory and Applications of Satisfiability Testing (SAT 2005) | June 2005
Publication Practical Privacy: The SuLQ Framework Avrim Blum, Cynthia Dwork, Frank McSherry, Kobbi Nissim 24th ACM SIGMOD International Conference on Management of Data / Principles of Database Systems, Baltimore (PODS 2005) | June 2005 Project
Publication Polynomial time algorithms for network code construction Sidharth Jaggi, Peter Sanders, Philip A. Chou, Michelle Effros, Sebastian Egner, Kamal Jain, Ludo M. G. M. Tolhuizen IEEE Trans. Information Theory | June 2005
Publication Abstraction for Falsification Thomas Ball, Orna Kupferman, Greta Yorsh MSR-TR-2005-50 | June 2005
Publication How Fast Can Eventual Synchrony Lead to Consensus? Partha Dutta, Rachid Guerraoui, Leslie Lamport Proceedings of the International Conference on Dependable Systems and Networks (DSN 2005) | June 2005
Publication An Effective Variable Block-Size Early Termination Algorithm for H.264 Video Coding Libo Yang, Keman Yu, Jiang Li, Shipeng Li June 2005
Publication A Randomized Satisfiability Procedure for Arithmetic and Uninterpreted Function Symbols Sumit Gulwani, George C. Necula Information and Computation – Special issue: 19th international conference on automated deduction (CADE-19) | May 2005, Vol 199(1): pp. 107-131 Project
Publication AMTP: a multipath multimedia streaming protocol for mobile ad hoc networks K. Rojviboonchai, Fan Yang, Q. Zhang, H. Aida, W. Zhu May 2005
