Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Our research
Content type
+
Downloads (447)
+
Events (432)
 
Groups (150)
+
News (2681)
 
People (741)
 
Projects (1081)
+
Publications (12314)
+
Videos (5537)
Labs
Research areas
Algorithms and theory47205 (809)
Communication and collaboration47188 (1428)
Computational linguistics47189 (503)
Computational sciences47190 (785)
Computer systems and networking47191 (2063)
Computer vision208594 (1105)
Data mining and data management208595 (232)
Economics and computation47192 (313)
Education47193 (794)
Gaming47194 (380)
Graphics and multimedia47195 (1178)
Hardware and devices47196 (1040)
Health and well-being47197 (478)
Human-computer interaction47198 (2219)
Machine learning and intelligence47200 (1769)
Mobile computing208596 (146)
Quantum computing208597 (66)
Search, information retrieval, and knowledge management47199 (1728)
Security and privacy47202 (789)
Social media208598 (116)
Social sciences47203 (830)
Software development, programming principles, tools, and languages47204 (1503)
Speech recognition, synthesis, and dialog systems208599 (177)
Technology for emerging markets208600 (61)
1–25 of 23383
Sort
Show 25 | 50 | 100
1234567Next 
Publication details
Date: 1 December 2015
Type: Article
Abram Hindle, Christian Bird, Thomas Zimmermann, and Nachiappan Nagappan

Large organizations like Microsoft tend to rely on formal requirements documentation in order to specify and design the software products that they develop. These documents are meant to be tightly coupled with the actual implementation of the features they describe. In this paper we evaluate the value of high-level topic-based requirements traceability and issue report traceability in the version control system, using Latent Dirichlet Allocation (LDA). We evaluate LDA topics on practitioners...

Publication details
Date: 1 December 2015
Type: Article
Publisher: Springer
Youshan Miao, Wentao Han, Kaiwei Li, Ming Wu, Fan Yang, Lidong Zhou, Vijayan Prabhakaran, Enhong Chen, and Wenguang Chen

Temporal graphs that capture graph changes over time are attracting increasing interest from research communities, for functions such as understanding temporal characteristics of social interactions on a time-evolving social graph. ImmortalGraph is a storage and execution engine designed and optimized specifically for temporal graphs. Locality is at the center of ImmortalGraph’s design: temporal graphs are carefully laid out in both persistent storage and memory, taking into account data locality in...

Publication details
Date: 1 December 2015
Type: Article
Publisher: ACM – Association for Computing Machinery
Yuchen Zhang, Xi Chen, Dengyong Zhou, and Michael I. Jordan

Publication details
Date: 1 December 2015
Type: Inproceeding
Yanjie Fu, Yong Ge, Yu Zheng, Yao, Yanchi Liu, Hui Xiong, and Nicholas Jing Yuan

Ranking residential real estates based on investment values can provide decision making support for home buyers and thus plays an important role in estate marketplace. In this paper, we aim to develop methods for ranking estates based on investment values by mining users opinions about estates from online user reviews and offline moving behaviors (e.g., taxi traces, smart card transactions, check-ins). While a variety of features could be extracted from these data, these features are intercorrelated and...

Publication details
Date: 1 December 2015
Type: Inproceeding
Publisher: IEEE – Institute of Electrical and Electronics Engineers
Dongwook Yoon, Nicholas Chen, François Guimbretière, and Abigail Sellen

This paper introduces a novel document annotation system that aims to enable the kinds of rich communication that usually only occur in face-to-face meetings. Our system, RichReview, lets users create annotations on top of digital documents using three main modalities: freeform inking, voice for narration, and deictic gestures in support of voice. RichReview uses novel visual representations and timesynchronization between modalities to simplify annotation access and navigation. Moreover, RichReview’s...

Publication details
Date: 1 October 2015
Type: Inproceeding
Publisher: ACM – Association for Computing Machinery
Yu Zheng

The advances in location-acquisition and mobile computing techniques have generated massive spatial trajectory data, which represent the mobility of a diversity of moving objects, such as people, vehicles and animals. Many techniques have been proposed for processing, managing and mining trajectory data in the past decade, fostering a broad range of applications. In this article, we conduct a systematic survey on the major research into trajectory data mining, providing a panorama of the field...

Publication details
Date: 1 September 2015
Type: Article
Publisher: ACM – Association for Computing Machinery
Anne Schuth, Katja Hofmann, and Filip Radlinski

The gold standard for online retrieval evaluation is AB testing. Rooted in the idea of a controlled experiment, AB tests compare the performance of an experimental system (treatment) on one sample of the user population, to that of a baseline system (control) on another sample. Given an online evaluation metric that accurately reflects user satisfaction, these tests enjoy high validity. However, due to the high variance across users, these comparisons often have low sensitivity, requiring millions of...

Publication details
Date: 9 August 2015
Type: Inproceeding
Anne Schuth, Katja Hofmann, and Filip Radlinski

The gold standard for online retrieval evaluation is AB testing. Rooted in the idea of a controlled experiment, AB tests compare the performance of an experimental system (treatment) on one sample of the user population, to that of a baseline system (control) on another sample. Given an online evaluation metric that accurately reflects user satisfaction, these tests enjoy high validity. However, due to the high variance across users, these comparisons often have low sensitivity, requiring millions of...

Publication details
Date: 9 August 2015
Type: Inproceeding
Mohan Yang, bolin ding, surajit chaudhuri, and kaushik chakrabarti

We aim to provide table answers to keyword queries using a knowledge base. For queries referring to multiple entities, like “Washington cities population” and “Mel Gibson movies”, it is better to represent each relevant answer as a table which aggregates a set of entities or joins of entities within the same table scheme or pattern. In this paper, we study how to find highly relevant patterns in a knowledge base for user-given keyword queries to compose table answers. A knowledge base is...

Publication details
Date: 1 August 2015
Type: Inproceeding
Publisher: VLDB – Very Large Data Bases
Gerard Pons-Moll, Jonathan Taylor, Jamie Shotton, Aaron Hertzmann, and Andrew Fitzgibbon

We present a new method for inferring dense data to model correspondences, focusing on the application of human pose estimation from depth images. Recent work proposed the use of regression forests to quickly predict correspondences between depth pixels and points on a 3D human mesh model. That work, however, used a proxy forest training objective based on the classification of depth pixels to body parts. In contrast, we introduce Metric Space Information Gain (MSIG), a new decision forest training...

Publication details
Date: 1 August 2015
Type: Article
Publisher: Springer
Rui DING, Hucheng ZHOU, Jian-Guang LOU, Hongyu ZHANG, Qingwei LIN, Qiang FU, Dongmei ZHANG, and Tao XIE
Publication details
Date: 1 August 2015
Type: Proceedings
Publisher: USENIX – Advanced Computing Systems Association
Badrish Chandramouli, Jonathan Goldstein, Mike Barnett, Robert DeLine, Danyel Fisher, John C. Platt, James F. Terwilliger, and John Wernsing

This paper introduces Trill – a new query processor for analytics. Trill fulfills a combination of three requirements for a query processor to serve the diverse big data analytics space: (1) Query Model: Trill is based on a tempo-relational model that enables it to handle streaming and relational queries with early results, across the latency spectrum from real-time to offline; (2) Fabric and Language Integration : Trill is architected as a high-level language library that supports...

Publication details
Date: 1 August 2015
Type: Inproceeding
Publisher: VLDB – Very Large Data Bases
Software engineering for education focuses on developing technologies that make programming, testing and analysis more accessible to students. This workshop explores testing through gaming, which is popular with students, and can produce data worthy of analysis. Code Hunt is an industrial strength programming game which is now open in the community and available for research.
Event details
Date: 14 July 2015
Location: Baltimore, MD
Type: Workshop
Each year, Microsoft Research sponsors a semester-long class at leading design schools. Students are asked to form interdisciplinary teams of two to four students to design a user experience prototype that solves a real-world problem. From these groups, a representative team from each school presents its work to Microsoft. This year, Design Expo is excited to align with Imagine Cup and Microsoft's 40th anniversary. The event will take place from July 28th to 31st in Redmond, Washington.
Event details
Date: 8–9 July 2015
Location: Microsoft Redmond
Type: Conference
At the the sixteenth annual Microsoft Research Faculty Summit, leading academic researchers and educators will meet with Microsoft researchers and engineers to share ideas and results about some of today’s most exciting new directions in computer science. The key focus of this year’s summit is artificial intelligence (AI) with sessions on questioning and answering, vision to language, commonsense reasoning, and integrative AI.
Event details
Date: 8–9 July 2015
Location: Redmond, WA, US
Type: Conference
The Software Engineering Mix provides a forum for our colleagues from academia to interact directly with Microsoft engineers.
Event details
Date: 7 July 2015
Location: Hyatt Regency Bellevue Hotel, Bellevue, WA
Type: Workshop
Mohammad Raza, Sumit Gulwani, and Natasa Milic-Frayling
Publication details
Date: 1 July 2015
Type: Inproceeding
Woodhouse S., Piterman N., Koksal A., and Fisher J.
Publication details
Date: 1 July 2015
Type: Proceedings
Publisher: Springer
Publication details
Date: 1 July 2015
Type: Inproceeding
Publisher: USENIX
Ankush Das, Shuvendu K. Lahiri, Akash Lal, and Yi Li

Verification of open programs can be challenging in the presence of an unconstrained environment. Verifying properties that depend on the environment yields a large class of uninteresting false alarms. Using a verifier on a program thus requires extensive initial investment in modeling the environment of the program. We propose a technique called angelic verification for verification of open programs, where we constrain a verifier to report warnings only when no acceptable environment...

Publication details
Date: 1 July 2015
Type: Inproceeding
Publisher: Springer
Publication details
Date: 1 July 2015
Type: Inproceeding
Publisher: USENIX – Advanced Computing Systems Association
Konstantinos Karanasos, Sriram Rao, Carlo Curino, Chris Douglas, Kishore Chaliparambil, Giovanni Fumarola, Solom Heddaya, Raghu Ramakrishnan, and Sarvesh Sakalanaga

Datacenter-scale computing for analytics workloads is increasingly common. High operational costs force heterogeneous applications to share cluster resources for achieving economy of scale. Scheduling such large and diverse workloads is inherently hard, and existing approaches tackle this in two alternative ways: 1) centralized solutions offer strict, secure enforcement of scheduling invariants (e.g., fairness, capacity) for heterogeneous applications, 2) distributed solutions offer...

Publication details
Date: 1 July 2015
Type: Inproceeding
Publisher: USENIX – Advanced Computing Systems Association
This annual event is for PhD students in their first or second year from universities and research institutions with which Microsoft Research partners, as well as all Microsoft Research PhD Scholars. It includes a series of talks of academic interest, transferable skills talks, and poster sessions that provide invited students the opportunity to present their work to Microsoft researchers.
Event details
Date: 29 June–3 July 2015
Location: Cambridge, UK
Type: Other
The MSR India Summer School series, held in collaboration with the Indian Institute of Science, consists of lectures in a chosen area by leading experts from around the world. The aim is to introduce students and researchers to important new areas and the latest results and to provide a forum for Indian and international researchers to interact. The 2015 Summer School will be held between June 15 - 26 at the Indian Institute of Science, Bangalore in the area of Machine Learning.
Event details
Date: 15–26 June 2015
Location: Indian Institute of Science, Bangalore India
Type: Workshop
1–25 of 23383
Sort
Show 25 | 50 | 100
1234567Next 
> Our research