Microsoft Research

In recent years, software model checking has been offered as a viable solution to the bug

Microsoft Research – 6 сентября 2016, 5:34

We prove an old conjecture of Erdos, saying that Menger's theorem is valid also for infinite graphs, in the following strong form: given sets A and B of vertices in a graph (possibly directed

Texture synthesis has been widely recognized as an important research topic. In this talk, I present a series of graphics or vision related projects that focus on texture analysis and synthesis.

As more of our activities are carried out online, technologies for protecting our privacy are becoming increasingly important.

Object-oriented design patterns have been one of the most important and successful ideas in software design over the last ten years, and have been well adopted both in industry and academia.  A

Microsoft Research – 6 сентября 2016, 5:32

Ad hoc networks are formed as collections of nodes that communicate over wireless channels.

In this talk I will argue that we don't need the aspect as a separate abstraction mechanism for aspect-oriented program design, and there are good reasons to believe we might be better off without it.

Slide deck available: resnet/slides/12205/slides/MicrosoftDrMusnick5405.ppt Genetic engineering, memory in a pill and life as a cyborg are so close -- and yet not quite a part of the average

Microsoft Research – 6 сентября 2016, 5:32

Microsoft Research – 6 сентября 2016, 5:32

Microsoft Research – 6 сентября 2016, 5:32

Many modern natural language-processing applications utilize search engines to locate large numbers of Web documents or to compute statistics over the Web corpus.

Microsoft Research – 6 сентября 2016, 5:31

It's no secret that new ideas fuel profitability.

Over the past decade, new uses and commercialization have pushed the Internet well beyond the expectations of its designers.

Microsoft Research – 6 сентября 2016, 5:31

We present a signal-processing framework for light transport. We study the frequency content of radiance and how it is affected by phenomena such as shading, occlusion, and travel in free space.

Microsoft Research – 6 сентября 2016, 5:31

Numerical programs are imperative programs over integer and real quantities. Such programs are ubiquitous.

Spatial Database Management Systems (SDBMS), e.g., Geographical Information Systems, that manage spatial objects such as points, lines, and hyper-rectangles, often have very high query processing

Microsoft Research – 6 сентября 2016, 5:31

Microsoft Research – 6 сентября 2016, 5:30

Among their many other roles, proteins are the scaffolds, workhorses, and computational devices of all organisms.

Microsoft Research – 6 сентября 2016, 5:30

Shared-workspace groupware has not become common in the workplace, despite many positive results from the research lab.

Computer systems have enjoyed an exponential growth in processor speed for the last 20 years, while DRAM main memory speed improves only moderately.

Emerging distributed information systems such as Web services, personalized content delivery, and event monitoring require increasingly flexible and adaptive infrastructures.

Clustering is one of the most common data mining tasks, used frequently for data categorization and analysis in both industry and academia.