Publication Seven Challenges in Parallel SAT Solving Youssef Hamadi, Christoph M. Wintersteiger Proceedings of AAAI | January 2012
Publication Quality Expectation-Variance Tradeoffs in Crowdsourcing Contests Xi Alice Gao, Yoram Bachrach, Peter Key, Thore Graepel AAAI 2012 | January 2012
Publication Incremental Cycle Detection, Topological Ordering, and Strong Component Maintenance Bernhard Haeupler, Telikepalli Kavitha, Rogers Mathew, Siddhartha Sen, Robert E. Tarjan ACM Transactions on Algorithms | January 2012, Vol 8 33 pages
Publication Approximation Algorithms for Online Weighted Rank Function Maximization under Matroid Constraints Niv Buchbinder, Joseph (Seffi) Naor, R. Ravi, Mohit Singh Automata, Languages, and Programming – 39th International Colloquium, ICALP (1) | January 2012
Publication On Black-Box Reductions between Predicate Encryption Schemes Vipul Goyal, Virendra Kumar, Satya Lokam, Mohammad Mahmoody Theory of Cryptography. TCC 2012. Lecture Notes in Computer Science | January 2012
Publication New Impossibility Results for Concurrent Composition and a Non-interactive Completeness Theorem for Secure Computation Shweta Agrawal, Vipul Goyal, Abhishek Jain, Manoj Prabhakaran, Amit Sahai January 2012 New Impossibility Results for Concurrent Composition and a Non-interactive Completeness Theorem for Secure Computation Safavi-Naini R., Canetti R. (eds) Advances in Cryptology – CRYPTO 2012. Lecture Notes in Computer Science
Publication Salient Object Detection for Searched Web Images via Global Saliency Peng Wang, Jingdong Wang, Gang Zeng, Jie Feng, Hongbin Zha, Shipeng Li IEEE Conference on Computer Vision and Pattern Recognition (CVPR12) | January 2012
Publication There’s a Hole in My Dataspace: Piecewise Predictors for Heterogeneous Learning Problems Ofer Dekel, Ohad Shamir n Proceedings of the 15th International Conference on Artificial Intelligence and Statistics (AISTATS) | January 2012
Publication Robust online Hamiltonian learning Chris Granade, Chris Ferrie, Nathan Wiebe, David Cory New Journal of Physics | January 2012
Publication Symbolic Finite State Transducers: Algorithms and Applications Margus Veanes, Pieter Hooimeijer, David Molnar, Nikolaj Bjorner, Ben Livshits POPL’12 | January 2012