Algorithms
Developing efficient algorithms that power faster, smarter, and more reliable computing across diverse applications.
Most Correlated Arms Identification
Decomposition-SAT
A decomposition-based parallel SAT solver that decomposes SAT formulas efficiently and reconciles solutions between partitions by means of propositional (Craig) interpolation.
Anticipating More from Cortana
Most of us can only dream of having the perfect personal assistant, one who is always there when needed, anticipating our every request and unobtrusively organizing our lives. Cortana, the new digital personal assistant powered…
Microsoft 3-Handpose dataset
We publish a subset of the data from the paper “Discriminative Ferns Ensemble for Hand Pose Recognition”. To receive a download link for the dataset please send your request to ThreeHandPose@microsoft.com. Data description: The data…
Microsoft Brings World’s Fastest Texting to Windows Phone 8.1
Gaurav Sharma appeared relaxed but focused in his purple hoodie on January 16, 2014. Less than 20 seconds later, Sharma, a 15-year-old from Lakeside High School in Seattle, found himself the owner of a Guinness…
Provable Non-convex Optimization for Machine Learning Problems
We explore theoretical properties of simple non-convex optimization methods for problems that feature prominently in several important areas such as recommendation systems, compressive sensing, computer vision etc.