公開日 Scalable Clustering and Keyword Suggestion for Online Advertisements Anton Schwaighofer, Joaquin Quiñonero Candela, Thomas Borchert, Thore Graepel, Ralf Herbrich Proceedings of ADKDD 2009: 3rd Annual International Workshop on Data Mining and Audience Intelligence for Advertising | January 2009
公開日 DiagSplit: parallel, crack-free, adaptive tessellation for micropolygon rendering Kurt Akeley ACM Trans. Graph. | January 2009, 巻28: pp. 1-10
公開日 From Online to Batch Learning with Cutoff Averaging Ofer Dekel Advances in Neural Information Processing Systems 21 | January 2009 Advances in Neural Information Processing Systems 21
公開日 SPEED: Precise and Efficient Static Estimation of Program Computational Complexity Sumit Gulwani, Krishna Mehra, Trishul Chilimbi Principles of Programming Languages (POPL) | January 2009 プロジェクト
公開日 Proving that non-blocking algorithms don’t block Alexey Gotsman, Byron Cook, Matthew J. Parkinson, Viktor Vafeiadis SIGPLAN Notices | January 2009, 巻44(1): pp. 16-28
公開日 A Concurrent Portfolio Approach to SMT Solving Youssef Hamadi, Leonardo de Moura, Christoph M. Wintersteiger Proceedings of the 21st International Conference on Computer Aided Verification (CAV) | January 2009
公開日 Chapter 10 – MPEG-4 Visual and H.264/AVC: Standards for Modern Digital Video Berna Erol, Faouzi Kossentini, Anthony Joch, Gary J. Sullivan, Lowell Winger December 2008 December 2008
公開日 Darwin – An Approach for Debugging Evolving Programs Abhik Rouchoudhury, Kapil Vaswani MSR-TR-2008-197 | December 2008
公開日 Synthesizing Switching Logic Using Constraint Solving Ankur Taly, Sumit Gulwani, Ashish Tiwari VMCAI ’09 Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation | December 2008 プロジェクト プロジェクト
公開日 Constraint-Based Invariant Inference Over Predicate Abstraction Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan VMCAI ’09 Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation | December 2008 プロジェクト