Microsoft Research

Donna Shirley, Director of the new Science Fiction Museum and Hall of Fame which opened June 18 at the Seattle Center, will give an overview of the museum.  SFM is not only an entertaining and

The presentation consists of three parts: First, we briefly consider the problems faced by enterprises in handling commercial contracts today, then we present a foundational enterprise model, the

This talk will consist of two somewhat independent sub-talks. Both discuss research motivated by parameterized model checking of shared-memory protocols, but they are somewhat orthogonal.

Approximate inference by sampling from an appropriately constructed posterior has recently seen a dramatic increase in popularity in both the robotics and computer vision community.

The infusion of new information technologies in customer-firm interactions has redefined the roles customers can play in value creation and product innovation. Several companies (e.g.

Generative models such as Bayesian networks, exponential family distributions and mixtures are elegant formalisms to setup and specify prior knowledge about a learning problem.

This presentation will focus on successful strategies for recruiting and retaining an outstanding and diverse engineering workforce.

MSFT kicked ass by being unafraid to clobber IBM's business model with MSDOS. Now it stands astride the globe like a titan, laughing the face of the world's roughest, toughest antitrust regulators.

I will describe a new mechanism for risk allocation and information speculation called a dynamic pari-mutuel market (DPM).

In free-viewpoint video (FVV), multiple video streams are used to re-render a time-varying scene from arbitrary viewpoints.

Markov random field (MRF) models provide a robust and unified framework for early vision problems such as stereo, optical flow and image restoration.

Why does one economy succeed and another fail? Can one nationΓÇÖs secret to success be exported to another? What causes markets to fuel prosperity in one country, and wreak disaster in another?

Textual data is everywhere, in email and scientific papers, in online newspapers and e-commerce sites.

Methods of enumeration of spanning trees in a finite graph and relations to various areas of mathematics and physics have been investigated for more than 150 years.

We have developed a reformulation of network design (routing), replacing the traffic matrix, by a set of linear constraints, representing a convex polyhedral traffic ensemble.

The last time Bruce gave a talk here he riffed off articles in the morningΓÇÖs newspaper and I laughed so hard I cried.

Say I give you a dataset of N points {x_n} in D dimensions.

What is virtuosity in technology based art? Will advanced emulations make screen based computing obsolete? Why do we need a PhD in the digital and experimental arts?

We adapt the radix-r digit-recurrence division algorithm to complex division and square root. By prescaling the operands, we make the selection of result digits practical.

Mechanism design (MD) provides a useful method to implement outcomes with desirable properties in systems with self-interested computational agents.

By the age of two, Collins' son, Morgan, could read and multiply but would not respond to his own name.

Wireless sensor network is one of the emerging technology trends in the coming decades.

Recent advances in miniaturization and low-cost, low-power design have led to active research in large-scale networks of small, wireless, low-power sensors and actuators.

In secure group communications, the time cost associated with key updates for member join and departure is an important aspect of quality of service, especially in large groups with highly dynamic

This talk examines methods for estimating scene structure and camera motion from very long video sequences.

Many current large-scale multiagent team implementations can be characterized as following the ``belief-desire-intention'' (BDI) paradigm, with explicit representation of team plans.

Physically large displays are becoming prevalent in the workplace.

I will discuss a problem that lies in the intersection of symplectic geometry and combinatorics.

In recent work we've been looking at the design and implementation of a new atomic keyword as an extension to the Java programming language.

Mediated communication between public spaces is a relatively new concept. One current example of this interaction is video conferencing among people within the same organization.