Publication Predicting Content Change on the Web Kira Radinsky, Paul N. Bennett Proceedings of the 6th ACM International Conference on Web Search and Data Mining (WSDM ’13) | February 2013 Proceedings of the 6th ACM International Conference on Web Search and Data Mining (WSDM '13)
Publication Task-Specific Image Partitioning Sungwoong Kim, Sebastian Nowozin, Pushmeet Kohli, Chang D. Yoo IEEE Transactions on Image Processing | February 2013, pp. 488-500
Publication SVNE: Survivable Virtual Network Embedding Algorithms for Network Virtualization Muntasir Raihan Rahman, Raouf Boutaba IEEE Transactions on Network and Service Management | February 2013, Vol 10(2)
Publication Pairwise Ranking Aggregation in a Crowdsourced Setting Xi Chen, Paul N. Bennett, Kevyn Collins-Thompson, Eric Horvitz Proceedings of the 6th ACM International Conference on Web Search and Data Mining (WSDM ’13) | February 2013 Proceedings of the 6th ACM International Conference on Web Search and Data Mining (WSDM '13)
Publication Efficiently Solving Quantified Bit-Vector Formulas Christoph M. Wintersteiger, Youssef Hamadi, Leonardo de Moura Formal Methods in System Design | February 2013, Vol 42: pp. 3-23
Publication Complexity Reduction and Performance Improvement for Geometry Partitioning in Video Coding Qifei Wang, Xiangyang Ji, Ming-Ting Sun, Gary J. Sullivan, Jin Li, Qionghai Dai IEEE Transactions on Circuits and Systems for Video Technology | January 2013, Vol 23(2): pp. 338-352
Publication Computing Relational Fixed Points using Interpolation Kenneth McMillan, Andrey Rybalchenko MSR-TR-2013-6 | January 2013 Project
Publication Constant-Competitive Prior-Free Auction with Ordered Bidders Sayan Bhattacharya, Janardhan (Jana) Kulkarni, Xiaoming Xu January 2013
Publication Better Rates for Any Adversarial Deterministic MDP Ofer Dekel, Elad Hazan Proceedings of the 30 th International Conference on Machine Learning | January 2013
Research
Research