Publication Congestion Games with Agent Failures Reshef Meir, Moshe Tennenholtz, Yoram Bachrach, Peter Key AAAI 2012 | January 2012
Publication Quality Expectation-Variance Tradeoffs in Crowdsourcing Contests Xi Alice Gao, Yoram Bachrach, Peter Key, Thore Graepel AAAI 2012 | January 2012
Publication A Dual Decomposition Approach to Feature Correspondence Carsten Rother PAMI | January 2012 PAMI Please download article from: http://www.computer.org/portal/web/csdl/doi/10.1109/TPAMI.2012.105 TR can be found below
Publication Beck’s Three Permutations Conjecture: A Counterexample and Some Consequences Alantha Newman, Ofer Neiman, Aleksandar Nikolov 53rd Annual IEEE Symposium on Foundations of Computer Science, FOCS 2012, New Brunswick, NJ, USA, October 20-23, 2012 | 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 Optimal Discovery With Probabilistic Expert Advice Sébastien Bubeck, Damien Ernst, Aurélien Garivier 51st IEEE Conference on Decision and Control (CDC) | January 2012
Publication Commensal cuckoo: Secure group partitioning for large-scale services Siddhartha Sen, Michael Freedman Operating Systems Review | January 2012, Vol 46 7 pages
Publication Synthesis from Examples: Interaction Models and Algorithms Sumit Gulwani 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing | January 2012 Project
Publication Self-Certification: Bootstrapping Certified Typecheckers in F* with Coq Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, Juan Chen In Proceedings of the ACM Symposium on Principles on Programming Languages | January 2012 To appear Project