Microsoft Research

Microsoft Research – 29 августа 2016, 22:47

8:30am Welcome Kathryn S.

Announcing the fifteenth Symposium in Computational Linguistics sponsored by the UW Departments of Linguistics, Electrical Engineering, and Computer Science, Microsoft Research, and UW alumni at

Everyday work frequently involves coordinating and collaborating with others, but the structure of collaboration is largely invisible to conventional desktop applications.

Demonstrates the ResearchWave prototype, which shows groups and projects at Microsoft Research.

Logan is a visualization tool for visually building queries against sequences of events, phrased as visual regular expressions. The tool finds all sequences of events that match the expression.

A promising approach to improving software quality is to enhance programming languages with declarative constructs, such as logical specifications or examples of desired behavior, and to use program

It is hard to write fast code. From the early days of computing at Los Alamos, many researchers have spent their lifetime getting performance out of critical simulation codes.

The ubiquity of digital cameras and the ease of collecting video data opens the possibility of modeling 3D scenes and actions from images and video.

Title: A Crash Course on Model Checking Date: Three Sessions: 10/28/99, 11/4/99, 11/11/99 Description: In recent years, model checking has been widely successful in finding bugs in hardware design

9:30 - 12:00 Demos and discussion: 20 min demo + 10 min discussion - Andruid/Andrew Webb/Alyssa Valdez, Texas A&M - John Stasko, Georgia Tech - Sebastian Gunther, Darmstadt University - Andy van

Today's wearable devices are rapidly shrinking in size. The next frontier of personalized computing is the interaction of these wearables with other proximal devices.

Three-dimensional (3D) user interfaces are popular in movies. Moreover, there are now many systems that enable people to interact with 3D content, including computer games.

For many problems, algorithms implemented in MapReduce or similar two-ranks-of-parallel-tasks systems exhibit a tradeoff between memory size and communication.

Preview clip of the prototype 'Distribution Modeller' tool under development at the Computational Ecology and Environmental Science group (CEES) at Microsoft Research Cambridge, UK.

Joint genetic and neuroimaging data analysis on large cohorts of subjects is a new approach used to assess and understand the variability that exists between individuals.

Preview clip of the prototype 'Distribution Modeller' tool under development at the Computational Ecology and Environmental Science group (CEES) at Microsoft Research Cambridge, UK.

Consider a random Galton-Watson tree conditioned to have size n. We assume that the offspring distribution has mean 1 and finite variance, but no further moment conditions.

E-commerce and social networking services must ensure that their systems are scalable. Engineering for rapid growth requires intensive testing with scaled-up datasets.

Recent years, have witnessed an explosive demand for cellular wireless data -- a trend that is not abating. Cisco, for example, estimates that wireless data may grow by as much as 38 fold by 2013.

We prove that every graph has a spectral sparsifier with a number of edges linear in its number of vertices.

We study the structure of minimal-weight paths in the configuration model with i.i.d. degrees with a fixed degree distribution.

Good media content has the power to enrich our lives.

We prove that every graph has a spectral sparsifier with a number of edges linear in its number of vertices.

BL!P: A Tool to Automate NCBI BLAST Searches and Customize the Results for Exploration in Live Labs Pivot Vince Forgetta, McGill University GenoZoom: Browsing the genome with Microsoft Biology

Full Paper Session 5:00 Yudong Liu, Gholamreza Haffar and Anoop Sarkar. Latent SVMs for Semantic Role Labeling using LTAG Derivation Trees 5:30 Nathan Bodenstab, Brian Roark and Keith Hall.

Hsiao-Wuen Hon, managing director of Microsoft Research Asia, welcomed the organization’s long-term collaborators as part of commemorating two decades of Microsoft Research.

Tree decompositions and treewidth play a key role in the seminal work of Robertson and Seymour on graph minors.

In this lecture from Microsoft TechFest 2014, Victor Bahl, principal researcher and director of the Mobility and Networking Research Group, explains how Microsoft Research is building on its Redmond

Presenters: Desney Tan, Microsoft Research; Ali Alvi, Microsoft and Shwetak Patel, University of Washington There is an emerging trend to instrument the world with sensors that provide insight and