Microsoft Research

A popular method in combinatorial optimization is to express polytopes P, which may potentially have exponentially many facets, as solutions of linear programs that use few extra variables to reduce

Alternating minimization (AltMin) is a generic term for a widely popular approach in non-convex inference: often, it is possible to partition the variables into two (or more) sets, so that the

The linear bandit problem is a far-reaching extension of the classical multi-armed bandit problem.

Transforming the Poetic Experience of Space through Light investigates theoretical and practical artistic methods of manipulating senses through which the space is experienced cognitively and

See an example of 3D hand tracking research from Microsoft, in proceedings at SIGGRAPH 2016.

Researchers and engineers in Microsoft’s Advanced Technologies Lab in Israel are investigating ways in which developers could create tools that would allow people to communicate with their computer

Encoding discrete symbol structures as numerical vectors for neural network computation enables the similarity structure inherent in vectorial representations to yield generalizations that reflect

No Abstract Available

With the wide penetration of mobile internet, social networking systems are becoming increasingly popular in the developing world.

NSF Interdisciplinary Workshop on Statistical NLP and Software Engineering - Session 7

Join us Monday, November 2nd for studio99's Artist Lecture Series! This year, Microsoft Research, though the studio99 program, funded the Stranger Genius Award for Visual Art.

Word embeddings are often constructed with discriminative models such as deep nets and word2vec.

The gauge color code is a quantum error-correcting code with local syndrome measurements that, remarkably, admits a universal transversal gate set without the need for resource-intensive magic state

Moderated by Eric Horvitz, Managing Director, Microsoft Research Panelists: Fei-Fei Li, Associate Professor, Stanford University Michael Littman, Professor of Computer Science, Brown University Josh

Please help us welcome Michael Gough to Microsoft Research's studio99. Michael is corporate vice president of design for Microsoft's Applications and Services Group.

The status and nature of comics are under transition, as comics move from a disposable medium to one which is perceived as having enduring value.

We present a novel technique for verifying that (recursive) heap manipulating programs terminate in polynomial time.

Security is a global concern, requiring efficient, randomized allocation and scheduling of limited security resources.

Chair Alyssa Goodman, Professor of Astronomy, Harvard University, will lead a panel discussion on the research article of the future. Why is the article of today lacking?

Charter schools represent one of the fastest growing, yet controversial innovations in education reform.

Coloring the Universe: Many images of the Universe are spectacular, but are they "real"?

9:00am - 9:30am Opening Session and Introduction 9:30am - 10:15am Software tools and processes

Social conventions are the foundation of social cooperation and productive economic activity, yet very little is known about how and when they form.

3:00 pm - 4:30p - Tutorial session: Software Mining and Software Datasets, Tao Xie

Chair Gregg Gordon, President, Social Science Research Network, will lead a panel discussion on evaluation and impact “beyond citations” for articles, researchers, institutions.

1:15pm - 2:45 - Language Generation from Code Dawn Lawrie Graham Neubig

2:30 – 4:00 Earl Barr: Inference Problems in Software Engineering Daniel Tarlow: TBA (Chairs: Charles Sutton, Tien Nguyen)

Saikat Guha talks about how it is possible to deliver relevant ads to mobile phone users, while preserving their privacy.

Introduction to the Language Understanding Intelligent Service (LUIS) -- part of Project Oxford.

Chair: Courtney Soderberg, Statistical Consultant at the Center for Open Science, will lead a panel discussion of the challenges associated with organizing research data, disseminating and