Algorithms
Developing efficient algorithms that power faster, smarter, and more reliable computing across diverse applications.
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…