Algorithms - Microsoft Research

Publication

Symbolic Finite State Transducers: Algorithms and Applications

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

MSR-TR-2011-85 | July 2011

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

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

Solving Cooperative Reliability Games

Yoram Bachrach, Reshef Meir, Michal Feldman, Moshe Tennenholtz

UAI 2011 | July 2011

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

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

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

Fast near-field acoustic imaging with separable arrays

Flavio Protasio Ribeiro

SSP | June 2011

Video

On Optimal Multidimensional Mechanism Design

June 22, 2011 | Constantinos Daskalakis

In his seminal paper, Myerson [1981] provides a revenue-optimal auction for a seller who is looking to sell a single item to multiple bidders. His design has been generalized to various related settings, but despite…

01:16:44