Microsoft Research

With the beta releases of Google Scholar and Google Book Search, Google is positioning itself in the library space as a key resource for many library patrons.

A q-query Locally Decodable Code (LDC) encodes an n-bit message x as an N-bit codeword C(x), such that one can probabilistically recover any bit x_i of the message by querying only q bits of the

Microsoft Research – 7 сентября 2016, 16:46

We characterize the family of truthful double-sided auctions. Despite the importance of double-sided auctions to market design, there is no characterization of truthful double-sided auctions.

Replayer is a networked software architecture designed to promote collaborative, cross-discipline analysis of large heterogeneous data sets.

The SwitchWare project proposed to accelerate network evolution by Introducing programmable nodes into the network, enabling innovations to be introduced by network operators or even network users.

A recent approach, COPE, for improving the throughput of unicast traffic in wireless multi-hop networks exploits the broadcast nature of the wireless medium through opportunistic network coding.

The Shannon capacity of a channel, and its corresponding characteristic graph, is a well-studied parameter, with applications in Theoretical Computer Science, Information Theory and Combinatorics.

TALK 1: The Research Accelerator for Multiple Processors (RAMP) is an affordable and versatile multiprocessor emulation platform being built as a large collaborative effort.

Digital technology has changed the way we interact with everything from the games we play to the tools we use at work.

Let $g$ be a function which assigns to each stationary process $X_n$ and to each sample $X_1, X_2 ,..., X_n$ of the process a real number $g(X_1, ...

An abstract type groups variables that are used for related purposes in a program. We describe a dynamic unification-based analysis for inferring abstract types.

Harvey Mudd College is a small, highly selective, school for undergraduates, with a focus on the sciences, engineering, and mathematics.

Microsoft Research – 7 сентября 2016, 16:45

Random projections are a popular method for estimating distances.

This talk introduces the audience to a novel design methodology that addresses the correctness and reliability challenges of deep-submicron silicon.

Microsoft Research – 7 сентября 2016, 16:44

Proactive computing offers many desired benefits to users, such as enabling a high degree of awareness of peripheral information.

After 40-mumble years of higher education-based computer science instruction, what do we know about how students learn computing? What can students accomplish after one year?

It's way past 2001 now, where the heck is HAL?  For several decades now we've had high hopes for computers amplifying our mental abilities -- not just giving us access to relevant stored

In 2002 Max McKeown discussed, at Microsoft, ΓÇ£Why the World Hates Microsoft and Why We Should CareΓÇ¥ and in 2004 he explored ways in which ΓÇ£Indifference is DeathΓÇ¥ to innovation and performance.

Drawing on his work as a biologist Wilson will demonstrate that survival of life on this planet is endangered as never before, as we face the early extinction of at least half of the species of

Video phones are quickly replacing TTYs as the preferred method of communicating from home and afar in the Deaf community.

This talk illustrates how to exploit computer architecture and compiler optimization ideas to achieve breakthroughs in lossless program-trace and floating-point compression, which in turn benefit

We study the $k$-core of a random (multi) graph on $n$ vertices with a given degree sequence. We let $n$ tend to infinity.

In this presentation, I will be talking about my PhD research in India over the last 2 years on rural computer kiosks as an intern with Microsoft Research India.

ONE MILLION.

Lattice-based discriminative training techniques such as MMI and MPE have been increasingly widely used in recent years.

Microsoft Research – 7 сентября 2016, 16:42

Faster Decoding with Synchronous Grammars and n-gram Language Models (and how these techniques can be applied back to parsing) Joint work with David Chiang (USC/ISI).