Microsoft Research

Barrus will present an overview of RII's California Research Center its origins, research capability, and how CRC fits in with Ricoh Company, Ltd. in Japan.

What accounts for the remarkable ability to get inside another personΓÇÖs head-to know what they are thinking and feeling?

These last five years we have seen a real advance on the static analysis of array contents.

In this talk, I will present techniques for organizing two types of photo collections downloaded from Flickr.com: (1) famous landmark sites such as the Statue of Liberty and (2) general visual

Without a strong model, 3--D shape recovery of non-rigid surfaces from monocular video sequences is a severely under-constrained problem. Prior models are required to resolve the inherent ambiguities.

The Time-Triggered Architecture (TTA) provides a computing infrastructure for the design and implementation of dependable distributed embedded systems.

A number of gaps in security exist at the boundary between system software and hardware.

In the first part of my talk, I shall present a platform-based compilation and synthesis system, named xPilot, developed at UCLA.

Advances in microprocessor technology have driven growth in the computing industry for decades.

There is a trend to advance the functionality of search engines to a more expressive semantic level.

As networked systems grow in scale and complexity, system introspection becomes an increasingly important and challenging problem.

(Joint work with Svetlozar Nestorov, Steve Tuecke, and others) Research and development are becoming increasingly data driven and collaborative.

Ubiquitous computing and speech user interaction are starting to play an increasingly important role in vehicles.

While most of us only know E. coli as a lethal kind of food poisoning, we actually carry hundreds of billions of these bacteria in our bodies for our entire lives. Over the past fifty years E.

In this talk, I will review use-inspired research being conducted in the IMPACT lab at Arizona State University ( impact.asu.edu) focused on novel secure, safe and energy-efficient

Program analysis and verification require decision procedures for satisfiability modulo theories (SMT),that decides the satisfiability, or, dually, the validity, of formulae in decidable fragments

Creating a garbage-collected environment that supports real-time on modern parallel platforms is notoriously hard, especially if real-time entails lock-freedom.

Virtual Earth Summit - Local Search for Hotel and Restaurants Using Econometrics Spatial Data and Image Classification; A New View on NEWS; The Geospatial Data Challenge for the 3D Web

Concept-based photo search has become more and more popular in Multimedia Information Retrieval (MIR).

CARMEN is a $9M project building a scalable science cloud. Its focus is on supporting neuroscientists who will use it to store, share and analyse 100s of TBs of data.

Dynamic binary translation (DBT) is a runtime instrumentation technique commonly used to support profiling, optimization, secure execution, and bug detection tools for application binaries.

We consider a basestation transmitting data to a set of mobile users. At each time step the basestation receives information about the channel conditions to each user.

This talk will present two advances made recently in my group.

As people conduct even more of their life electronically, vast new datasets are available for social scientists to analyze.

Many organizations, like the Census, hospitals, and search engine companies, wish to altruistically publish unaggregated data about individuals in order to support research.

Zero Overhead Online Verification of Software Programs The PSL-to-Verilog compiler can translate a set of assertions about a block-structured software program into a hardware design to be executed

Microsoft Research – 6 сентября 2016, 17:20

Although reconfigurable computing promises huge performance benefits for a wide range of different applications, there are many factors that have limited its effectiveness so far.

I will give an overview of my research and present a 5-year research program focusing on activity awareness and knowledge sharing in computer-supported cooperative work (CSCW).

Advances in technologies to capture and process multimedia signals are enabling new opportunities for understanding and modeling human behavior, and designing new human-centered applications.