Publication Percolation on Dense Graph Sequences Bela Bollobas, Christian Borgs, Jennifer Chayes, Oliver Riordan Ann. Probab | January 2007, Vol 38: pp. 150-183
Publication Assertion Checking Unified Sumit Gulwani, Ashish Tiwari 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. | January 2007 Project
Publication Experimental Study on Speed-Up Techniques for Timetable Information Systems Reinhard Bauer, Daniel Delling, Dorothea Wagner Proceedings of the 7th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems (ATMOS’07) | January 2007
Publication Extending Query Translation to Cross-language Query Expansion with Markov Chain Models Guihong Cao, Jianfeng Gao, Jian-Yun Nie, Jing Bai CIKM | January 2007
Publication A First Step Towards a Unified Proof Checker for QBF Toni Jussila, Armin Biere, Carsten Sinz, Daniel Kroening, Christoph M. Wintersteiger Proceedings of the Tenth International Conference on Theory and Applications of Satisfiability Testing (SAT 2007) | January 2007 Proceedings of the Tenth International Conference on Theory and Applications of Satisfiability Testing (SAT 2007)
Publication A geometric approach to information theoretic private information retrieval David Woodruff, Sergey Yekhanin SIAM Journal on Computing | January 2007, Vol 47(4): pp. 1046-1056
Publication Provably Efficient Online Non-clairvoyant Adaptive Scheduling Yuxiong He, Charles E. Leiserson, Wen-Jing Hsu IPDPS | January 2007
Publication Online Learning of Multiple Tasks with a Shared Loss Ofer Dekel, Philip Long, Yoram Singer Journal of Machine Learning Research | January 2007, Vol 8: pp. 2233-2264
Publication Gaussian Processes in Practice Neil D. Lawrence, Anton Schwaighofer, Joaquin Quiñonero Candela January 2007 (Editors)
Publication An Online Approach to Physical Design Tuning Surajit Chaudhuri, Nicolas Bruno Proceedings of the International Conference on Data Engineering (ICDE) | January 2007 Project