Algorithms - Microsoft Research

Publication

Tensor network states

Bela Bauer

July 2011

Publication

Symbolic Finite State Transducers: Algorithms and Applications

Nikolaj Bjørner, Ben Livshits, David Molnar, Margus Veanes

MSR-TR-2011-85 | July 2011

Publication

Depth bounded explicit-state model checking

, Sriram Rajamani

Proceedings of the 18th international SPIN conference on Model checking software | July 2011

ISBN: 978-3-642-22305-1

Video

Fitting a Graph to Vector Data

July 13, 2011 | Jonathan Kelner

In this talk, I will set forth a general approach to many of the major problems in Machine Learning, including classification, regression and clustering, based on ideas from spectral graph theory. Applying this approach will…

01:20:43

Publication

Coalitional Voting Manipulation: A Game-Theoretic Perspective

Yoram Bachrach, Edith Elkind, Piotr Faliszewski

IJCAI 2011 | July 2011

Publication

Universal Morphological Analysis using Structured Nearest Neighbor Prediction

Young-Bum Kim

Empirical Methods in Natural Language Processing (EMNLP) | July 2011

Empirical Methods in Natural Language Processing (EMNLP)

Plenary Award

Project Project

Publication

Solving Cooperative Reliability Games

Yoram Bachrach, Reshef Meir, Michal Feldman, Moshe Tennenholtz

UAI 2011 | July 2011

Publication

Optimal Search for Minimum Error Rate Training

Michel Galley, Chris Quirk

Proc. of Empirical Methods in Natural Language Processing (EMNLP) | July 2011

Best Paper Finalist

Publication

Byzantizing Paxos by Refinement

Leslie Lamport

Distributed Computing: 25th International Symposium: DISC 2011, David Peleg, editor. Springer-Verlag. | June 2011, pp. 211-224

Publication

Adaptively Learning the Crowd Kernel

Omer Tamuz, Ce Liu, Serge Belongie, Ohad Shamir, Adam Tauman Kalai

Proceedings of the 28th International Conference on Machine Learning (ICML), 2011 | June 2011