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 Provably Efficient Online Non-clairvoyant Adaptive Scheduling Yuxiong He, Charles E. Leiserson, Wen-Jing Hsu IPDPS | 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 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 An Online Approach to Physical Design Tuning Surajit Chaudhuri, Nicolas Bruno Proceedings of the International Conference on Data Engineering (ICDE) | January 2007 Project
Publication Gaussian Processes in Practice Neil D. Lawrence, Anton Schwaighofer, Joaquin Quiñonero Candela January 2007 (Editors)
Publication Comparing Query Logs and Pseudo-Relevance Feedback for Web-Search Query Refinement Ryen W. White, C.L.A. Clarke, Silviu Cucerzan Proceedings of SIGIR 2007 | January 2007
Research
Research