Microsoft Research

Consider the following fundamental problem, called r-linear-degeneracy-testing (rLDT): Given an input of n real numbers, do any r of them sum up to 0?

This talk is about the VYRD project, a verification framework for concurrent programs that combines ideas from model checking and testing.

Ferdinand T├╢nnies wrote about Gemeinschaft and Gesellschaft more than 125 years ago and things can hardly get any older than that in the context of the Internet.

team/sites/x-learn/default.aspx link to event homepage.

As an introduction, the known challenges of pervasive/ubiquitous computing (UbiComp) are rephrased following a categorization into five main areas, abbreviated as S.C.A.L.E.

I will present a General Linear Camera (GLC) model that unifies many previous camera models into a single representation.

Software systems are imperfect, so software updates are a fact of life.

Point-based methods have a long history in graphics for rendering, but their use in modeling and simulation is more recent.

Continuous queries are a common interface for monitoring dynamically changing data, including data streams.

A high-level data fusion system that adopts Bayesian statistics involving weights of evidence modelling is described to combine disparate information from airborne digital data such as a digital

In the framework of model based multidimensional signal processing this lecture deals with a derivation of new parametric models.

amazon.com/gp/product/images/0312312601/ref=dp_primary-product-display_0/002-5069050-3300011?Fencoding=UTF8&n=283155&s=books Make Love the Bruce Campbell Way What you're reading

The Natural Programming Project is working on making programming languages and environments easier to learn, more effective, and less error prone.

As speech recognition technology is transferred from the laboratory to the marketplace, robustness in recognition is becoming increasingly important.  This talk will review and discuss several

Recent advances in sensor technologies have enabled long term recordings of numerous physiologic parameters in patients, generating very large data sets.  This phenomena extends to implantable

Consider a quantum system with short-ranged interactions in some domain D, in its ground state.

Over the last decade, much of the research on discriminative learning has focused on problems like classification and regression, where the prediction is a single univariate variable.

A central goal of information retrieval is the design of functions that rank documents according to their relevance to a query.

Homology search is a key tool for understanding the role, structure, and biochemical function of genomic sequences.

We present a series of arguments supporting the claim that a large class of modern learning algorithms based on local kernels are highly sensitive to the curse of dimensionality.

Program instructions uniquely identified by their program counters (PCs) provide a convenient and accurate means of recording the context of program execution and instruction-based prediction

I will focus on the Institutional Transformation program at the University of Michigan, which aims to improve the work environment for women faculty in science and engineering.

In current compilers, the vast majority of optimization routines operates within procedure boundaries.

Locality and phases have come to play a central role in understanding and improving the dynamic behavior of large computer programs.

On the order of $1 trillion of cost per year in the US alone goes unmanaged, under-managed, or mismanaged because the information on each individualΓÇÖs states and behaviors everyday, all the time

Quality assurance (QA) tasks, such as testing, profiling, and performance evaluation, have historically been done in-house on developer-generated workloads and regression suites.

The $10 billion video gaming industry is now the second-largest segment of the entertainment industry in the United States, outstripping film and far surpassing books.

The emergence of data stream applications that collect, process, and deliver real-time stream data to multiple consumers in the Internet has created a need for an overlay network designed

The design and analysis of network protocols that use cryptographic primitives is one of the most fundamental and challenging areas of security research.

The ultimate display will not show images.