Microsoft Research

Retrieving information from online resources is an increasingly prevalent task, supporting many work-related and personal activities.

The Internet has seen a tremendous growth since its inception four decades ago. With its increasing importance, there has been a growing emphasis on improving the reliability of the infrastructure.

Disk drive failures continue to be one of the primary causes of data loss and system failures.

Relational logic is an attractive candidate for a software description language, because both the design and implementation of software often involve reasoning about relational structures, whether

Energy consumption is a fundamental barrier in taking full advantage of integration capability of today and future semiconductor manufacturing technology.

Digital consumer devices and Internet technology have jointly helped tremendous amounts of multimedia content to be created, shared and edited quickly and easily.

In this talk I will present a new method for estimating the optical transmission in hazy scenes given a single input image.

There was a time when program managers at Microsoft were like Jedi KnightsΓÇösmall in number, powerful in force, and wise in the ways of making great software happen. What were their secrets?

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

The research and industrial communities have made great strides in developing sophisticated defect detection tools based on static analysis.

Enjoying amazing ancient structures through Internet technologies is one of the most promising methods to promote our culture and cultural heritage.

We can understand the true impact of the small loans administered by the Grameen Foundation as we follow ΓÇ£borrowersΓÇ¥ in Bangladesh and Chicago, providing a powerful glimpse into the real face of

Reusing source code in a manner for which it has not been designed (which I term a pragmatic-reuse task) is traditionally regarded as poor practice.

Commodity datacenters of inexpensive machines are the computing platforms of choice for a wide range of applications, from online services and search engines to finance and e-science.

The transition to multi-core computer architectures expands the space of viable core designs (e.g., small, simple cores become feasible) and requires sophisticated optimization over multiple design

Most large organizations must maintain a substantial information presence on the world wide web in order to share information with their partners and customers.

With the proliferation of sensor networks, the ever expanding variety of applications has driven researchers to focus not only on fixed networks, but also on mobile networks.

I will present some recent advances in Algorithmic Game Theory and particularly in computing and approximating game and market equilibria.

The confluence of ubiquitous, high-performance networking and increased availability of online information has led to the emergence of a new class of large-scale stream processing and dissemination

Designing wireless sensor networks that can provide meaningful services in every-day life applications requires the ability to continuously monitor humans and understand what they do over space and

Recent advances in software defined radio and cognitive radio have given wireless devices the ability and opportunity to dynamically access spectrum, thereby potentially significantly improving

The talk will consist of two parts. In the first part, I will present prior work aimed at developing new algorithms for materials science applications.

The mind is not an elegantly designed organ but a ΓÇ£klugeΓÇ¥, a clumsy, cobbled together contraption: think duct tape, not supercomputer.

How can a monoplist seller use social network effects to increase revenue earned?

A revolution is on the horizon that will change the way we live and alter the equation of wealth and power.

The design of models that learn textual entailment recognizers from annotated examples is not simple as it requires the modeling of semantics involved in the interaction of pairs of text fragments.

With the advent of the Web, large scale social and information networks containing detailed traces of human activity have become available.

Attribute-Based Access Control (ABAC) provides a strategy for setting up access rules by exploiting attributes of principals and objects from an enterprise information system or digital credentials.

Utterance generation for dialogue applications such as spoken dialogue systems and some types of computer games is typically highly handcrafted and domain dependent.

Since most interesting cryptographic tasks are impossible to achieve with absolute, information-theoretic security, modern cryptography aims to design cryptographic primitives (i.e.