Skip to main content

Microsoft Research Audio

Microsoft

More than 1,100 brilliant scientists and engineers push the boundaries of computing in multiple research areas in 13 research labs around the world.



rss RSS

1,709
RESULTS


Show sorted alphabetically

Show sorted alphabetically

SHOW DETAILS
up-solid down-solid
eye
Title
Date Archived
Creator
The U.S. is currently in a global competition for science and engineering talent. Only a small fraction of our populace pursues careers as scientists or engineers, in direct contrast with emerging countries for which 50% or more of college students follow a science or engineering track. The quality of our science and engineering education system is also poor, if international test scores are to be believed. U.S. military and economic dominance is at stake, as outlined starkly by the Hart-Rudman...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kim Ricketts and Kirsten Wiley, Merrilea...
Microsoft Research Audio
audio

eye 0

favorite 0

comment 0

In line with the insight that “one size” of databases will not fit all application needs, the database community is currently exploring various alternatives to commodity, CPU-based system designs. One particular candidate in this trend are Field-programmable Gate Arrays (FPGAs), programmable logic chips that allow tailor-made hardware designs optimized for specific systems, applications, or even …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
audio

eye 0

favorite 0

comment 0

A substantial amount of work today is accomplished through collaborative activities, which may be open-ended and opportunistic or structured and well defined, with participants with similar skills and knowledge or from different disciplines. Our group has been investigating, and developing tools to support, several different scenarios of collaborative work. On one end of the spectrum, …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
audio

eye 0

favorite 0

comment 0

In this talk, I present Lahar, a warehousing system for a general class of imprecise, sequential data called Markovian streams. These imprecise streams are commonly used to model location sequences inferred from noisy sensors such as RFID/GPS, text inferred from spoken audio, etc. In the context of Lahar, I introduce algorithms for supporting sophisticated analytics …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Commodity computer systems contain more and more processor cores and exhibit increasingly diverse architectural tradeoffs, including memory hierarchies, interconnects, instruction sets and variants, and IO configurations. Previous high-performance computing systems have scaled in specific cases, but the dynamic nature of modern client and server workloads, coupled with the impossibility of statically optimizing an OS for …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
by Microsoft Research
audio

eye 0

favorite 0

comment 0

Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Recent advances in graphics processing units (GPUs) have resulted in massively parallel hardware that is easily programmable and widely available in commodity desktop computer systems. GPUs typically use single-instruction, multiple-data (SIMD) pipelines to achieve high performance with minimal area overhead. Scalar threads are grouped together into SIMD batches (sometimes referred to as warps). While SIMD is ideally suited for simple programs, recent GPUs include control flow instructions in...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Onur Mutlu, Tor Aamodt
Microsoft Research Audio
audio

eye 3

favorite 0

comment 0

The Mars Exploration Rovers are searching for answers about the history of water on Mars. Finding those answers will help scientists determine if life ever was on the Red Planet. The rovers, which landed on Mars last year, have driven over more than three miles of Martian terrain, including areas never before seen on Earth. Come see picture from Mars and learn how these incredible machines were developed, as well as what else is in store for future Mars missions. ©2005 Microsoft Corporation....
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Steven Shafer, Mark Maimone
Microsoft Research Audio
audio

eye 1

favorite 0

comment 0

(Joint work with Svetlozar Nestorov, Steve Tuecke, and others) Research and development are becoming increasingly data driven and collaborative. However, taking a systems-level view of the knowledge production process, we find that progress is often hindered by logistical difficulties relating to data access, analysis, discovery, interpretation, and sharing. I argue that many of these difficulties can be overcome by creating an open analytics environment, a hardware +software 'cloud' into which...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Daron Green, Ian Foster
Microsoft Research Audio
audio

eye 4

favorite 0

comment 0

Despite decades of research in fault tolerance, commodity operating systems, such as Windows and Linux, continue to crash. In this talk, I will describe a new reliability subsystem for operating systems that prevents the most common cause of crashes, device driver failures, without requiring changes to drivers themselves. To date, the subsystem has been used in Linux to prevent system crashes in the presence of driver failures, recover failed drivers transparently to the OS and applications,...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Galen Hunt, Michael Swift
Microsoft Research Audio
audio

eye 11

favorite 0

comment 0

Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Gino Sorcinelli
This talk will describe the work in image, video and multimedia processing carried out at Multimedia Research Lab at Ryerson University. Our work focuses on four topics: human computer interaction, streaming media, indexing and retrieval, and bioinformatics. I will first give a brief introduction on these topics. I will then present two recent projects: Bimodal human emotion recognition. We investaged language/speaker independent human emotion recognition using audiovisual cues and different...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Yong Rui, Ling Guan
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Mark Lewin, Kathrin Berg, Judith Bishop
The Cornell project is creating tools for research on social and information networks based on a largely untapped dataset: the Internet Archive's 40-billion page collection of Web pages. These snapshots of the Web have been captured and archived every two months for nearly ten years. The project will eventually make very large portions of this massive collection widely accessible for social science research. The flood of available on-line information – from corporate web pages to news groups...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Marc Smith, Michael Macy
Context-free languages combine expressiveness with polynomial parsing, making them very appealing for practical applications. In fact, they are possibly the most widely used class of languages in Computer Science. Thus, models of computation which slightly extend context-free models, without losing parsing efficiency, seem to have great potential for applications in fields such as Programming Languages, Formal Verification, Computational Linguistics, and Computational Biology, and are therefore...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Yuri Gurevich, Tamar Aizikowitz
How do you make sure you can see and understand the critical social processes of your customers-both the millions who have adapted to the emerging social age and the millions who haven't yet made this change? The way in which you and others understand and automate our social processes will shape human beings for centuries: not just your children or your grandchildren but whole societies. Each social age automates the prior age: during the Agricultural Revolution with farming, we 'automated'...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Tamara Pesik, Mary Ann Allison
A surge of recent research in machine learning and statistics has developed new techniques for finding patterns of words in document collections using hierarchical probabilistic models. These models are called 'topic models' because the word patterns often reflect the underlying topics that are combined to form the documents; however topic models also naturally apply to such data as images and biological sequences. After reviewing the basics of topic modeling, I will describe two related lines...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, David Heckerman, David Blei
Microsoft Research Audio
audio

eye 4

favorite 0

comment 0

Concurrency in user applications is on the rise. Modern computers have multiple hardware threads per processor and multiple processors per chip, each of which may switch to a different software thread many times per second. Applications of the future will be heavily multithreaded. My research aims to make such programs easier to write and more resilient to the performance programs historically caused by preemption. After surveying work in several areas (including preemption-tolerant locks and...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jim Larus, William N. Scherer III
Microsoft Research Audio
audio

eye 6

favorite 0

comment 0

Software errors cost the US economy billions of dollars each year. According to reasonable estimates, a third of the cost can be saved through the use of enhanced tools for software quality. My dissertation addresses a key challenge in software verification: how to analyze programs that perform destructive manipulation of linked (or recursive) data structures. I applied the concept of abstraction refinement to the problem of automating shape analysis, static analysis that establishes properties...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Shaz Qadeer, Alexey Loginov
Microsoft Research Audio
audio

eye 3

favorite 0

comment 0

Most current commercial and research efforts focus on making VoIP work as well as the current landline and mobile phone, by improving aspects from QoS to security. As important as these are, it is important to move beyond functional parity with 125-year old technology. Traditionally, the natural next step beyond telephony was adding video, despite a fifty year string of failures. However, what has proven to be far more successful is adding meta data and facilitating user control. In this talk,...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Victor Bahl, Henning Schulzrinne
Microsoft Research Audio
audio

eye 9

favorite 0

comment 0

In recent years, the Internet has experienced an astronomical increase in the use of specialized content delivery systems, such as peer-to-peer file-sharing systems (e.g., Kazaa, Gnutella, or Napster) and content delivery networks (e.g., Akamai). The sudden popularity of peer-to-peer file-sharing systems has resulted in a flurry of research activity into novel peer-to-peer system designs. Because these systems: (1) are fully distributed, without any infrastructure that can be directly measured,...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Mike Jones, Stefan Saroiu
Microsoft Research Audio
audio

eye 3

favorite 0

comment 0

As more of our activities are carried out online, technologies for protecting our privacy are becoming increasingly important. I will discuss one such technology – anonymity – in the context of peer-to-peer systems. To begin, I will talk about new techniques to study anonymity in this context. Anonymity in existing p2p systems has only been analyzed with respect to known attacks, while more general information-theoretic metrics have only been applied to small-scale systems. I show how to...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Helen Wang, Nikita Borisov
People like to look at images and interact with them. We will show how scanned beam technology can either display, or capture images, and that this makes it unique when compared to other display technologies such as LCD,PDP,OLED, or projection. Scanned beam is what is used in laser printers in one dimensional form. We have replaced the polygon by a MEMs device as small as a few millimeters in size that scans in two dimensions at video rates. This small size and simplicity enables a range of...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Steven Bathiche and Andy Wilson, John R....
Over the last decade, design of enterprise wireless networks have gone through a radical shift. While initial wisdom pointed to a completely distributed design, increasingly more and more functions are getting aggregated into a centralized architecture. In our recent work, we have focused on four interesting aspects of designing robust enterprise wireless networks: (i) a systems approach to mitigating some of the most challenging scenarios in these wireless environments, — hidden and exposed...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jin Li, Suman Banerjee
Microsoft Research Audio
by Microsoft Research
audio

eye 2

favorite 0

comment 0

It is well known that noise can be introduced into video during capturing, storage and transmission. It is especially bad in dark regions in the video where the signal-to-noise ratio is low. Such noise is typically visually disturbing and can cause serious problem to many video coding systems such as MPEG-1/2/4, and H.261/3/4. This is because many precious bits would need to be spent to encode this undesirable noise in the video. As MPEG-2, MPEG-4, H.263 and H.264 are used widely in consumer...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jin Li, Oscar Au
Microsoft Research Audio
audio

eye 1

favorite 0

comment 0

The most widely used concurrent software techniques, which are based on threads, monitors (or approximations to monitors), and semaphores, yield incomprehensible and untestable software. Bugs due to race conditions, timing unpredictability, and potential deadlocks can go undetected for a very long time. Unexpected interactions between even loosely coupled software components can destabilize systems. Yet increased parallelism in general-purpose computing (particularly multicore systems),...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Shaz Qadeer, Edward A. Lee
Microsoft Research Audio
audio

eye 19

favorite 0

comment 0

This is the story of two people playing chess in a smoky café in 1916 in Zurich, Switzerland. The two people are Tristan Tzara, the founder of Dada, a radical art movement and V.I. Lenin, the architect of the Russian Revolution. And it’s the most important chess game ever played, because the world is never going to be the same when these guys get up from the table. Tzara goes on to change the look and meaning of the new century through poetry, art, paradox, absurdity, laughter, abolishing...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kirsten Wiley, Andre Codrescu
In this talk, we discuss the widespread use of Web search engines and its potential impact on the ecology of the Web. Recent studies show that a significant portion of Web accesses are referred by search engines. Furthermore, the Web-search market is increasingly dominated by a few key players. What are the implications of this heavy reliance of Web users on search engines in their pursuit of information? For example, given that search engines return currently “popular” pages at the top of...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Marc Najork, Junghoo Cho
Microsoft Research Audio
audio

eye 5

favorite 0

comment 0

One thing which will be explained is the evaluation of a determinant originally stated by Sylvester and rediscovered by Mark Kac. The determinant is tridiagonal with x on the diagonal, 1,2,...,N above the diagonal, and N,N-1,...,1 below the diagonal. The polynomials responsible for this evaluation are Krawtchouk, although Kac was unaware that orthogonal polynomials were behind this and Sylvester just stated the values of this determinant for N=1,2,3,4,5,6 and said that the obvious rule...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Henry Cohn, Richard Askey
The elements are what we, and everything around us, are made of. But how many elements has anyone actually seen in pure, uncombined form? Based on years of research and photography Gray has created the most complete and visually arresting representation available to the naked eye of every atom in the universe. Organized in order of appearance on the periodic table, each element is represented in a full color photograph, along with facts, figures and stories of the elements as well as data on...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kirsten Wiley, Theo Gray
'Secure Computation' has been a classic and central question in modern cryptography with a large set of potential applications.Mining large genomic databases, private scientific computation, and studying properties of shared networks are just a few examples.Unfortunately, the majority of the constructions in this area have not made their way into practice, primarily due to their inefficiency. In this talk, I first outline three different approaches toward designing more practical protocols, and...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kristin Lauter, Payman Mohassel
Collaboration is an important part of nearly all work and educational settings. In practice, however, collaboration is rarely perfect; numerous problems arise, ranging from social loafing to coordination losses. In this talk, I show how a multidisciplinary approach can help in the design of collaborative technologies. For example, in designing IRC Français, I drew on the educational literature to develop a chat-style environment for foreign language learning. Once placed in the classroom,...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Danyel Fisher, Jim Hudson
Microsoft Research Audio
audio

eye 2

favorite 0

comment 0

Despite the best efforts of programmers, programs still ship with bugs. Many of these bugs manifest as anomalies the heap. This talk discusses two low-overhead synergistic techniques for discovering heap anomalies by exploiting the underlying runtime system. The first, dynamic object sampling, is a technique for selectively tagging objects with characteristics. Summarization graphs provide a compact representation of collecting heap characteristics. We show that these techniques can stand alone...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Bjarne Steensgaard, Maria Jump
Commodity computer systems contain more and more processor cores and exhibit increasingly diverse architectural tradeoffs, including memory hierarchies, interconnects, instruction sets and variants, and IO configurations. Previous high-performance computing systems have scaled in specific cases, but the dynamic nature of modern client and server workloads, coupled with the impossibility of statically optimizing an OS for all workloads and hardware variants pose serious challenges for operating...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Galen Hunt, Andrew Baumann
The ability to prove equivalence of successive, closely-related versions of a program can be useful for maintaining backward compatibility. This problem has the potential of being easier in practice than functional verification for at least two reasons: First, it circumvents the problem of specifying what the program should do; Second, in many cases it is computationally easier, because it offers various opportunities for abstraction and decomposition that are only relevant in this context. I...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Shuvendu Lahiri, Ofer Strichman
Microsoft Research Audio
by Microsoft Research
audio

eye 2

favorite 0

comment 0

Network games play a fundamental role in understanding behaviour in many domains, ranging from communication networks through markets to social networks. In this talk we will study in which individual buyers and sellers trade through intermediaries. Typically, not all buyers and sellers have access to the same intermediaries, and they trade at correspondingly different prices that reflect their relative amounts of power in the market. We model this phenomenon using a game in which buyers,...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jennifer Chayes, Eva Tardos
Microsoft Research Audio
audio

eye 7

favorite 0

comment 0

Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Dan Fay, Jim Gray
Microsoft Research Audio
audio

eye 3

favorite 0

comment 0

9:30 - 10:00 Omer Angel (U. British Columbia) Random planar maps and their limits 10:05 - 10:35 Michael Freedman (Microsoft) Random triangulations as dynamical variables in quantum mechanical models ©2009 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, David Wilson, Omer Angel, Rico Malvar,...
Solar energy will be the cheapest source of energy in nearly all markets and locations because PV (photovoltaic) cells can bypass the aging and fragile electricity grid and deliver its power to the end user, fundamentally changing the underlying economics of energy. As the scale of PV production increases and costs continue to decline at historic rates, demand for PV electricity will outpace supply of systems for years to come. Yet, the shift from fossil fuels to solar energy will take place...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kim Ricketts and Kirsten Wiley, Travis...
Bilingual word alignment, the task of finding word-to-word connections between a sentence and its translation, is an important part of knowledge acquisition for statistical machine translation. An Inversion Transduction Grammar, or ITG, provides an efficient algorithm to align a bilingual sentence pair, by simultaneously parsing the two sentences. However, the simple bracketing grammar usually employed in ITG parsing has no linguistic content. We investigate two methods to inform the ITG parser...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Chris Quirk, Colin Cherry
Network visualization has been a lively topic for a half century, but the intense challenges from many facets of this problem demand diverse solutions. While the popular force-directed approaches produce appealing presentations for websites and print, their benefits are limited to showing macro features such as clusters. Interactive approaches that give users control of node and link visibility enable them to make more fine-grained analyses that lead to important insights about relationships...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Marc Smith, Ben Shneiderman
Does place matter for digital information? If so, how? Research points to the importance of 'place-like' senses of direction, context, connection and control when managing digital information. Support for place in the Personal Project Planner prototype begins with the idea that relevant information can be located with reference to a simple planning document. This document works as a light-weight, editable overlay to existing applications and the stores of information managed by these...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Mary Czerwinski, William Jones
Microsoft Research Audio
audio

eye 2

favorite 0

comment 0

As modern computer systems grow in both size and complexity, so has the need for automatic analysis and computer-aided administration of these systems. With recent booms in computing power and efficient algorithms, statistical machine learning methods have become increasingly practical for dealing with the deluge of data generated by these systems. In this talk, I present statistical diagnostic platforms for several large-scale systems, focusing on the problem of selecting fault-related...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Yi-Min Wang, Alice Zheng
Availability of broad-coverage knowledge repositories can potentially enable the next generation of artificial intelligence and natural language understanding applications. An emerging approach to constructing such repositories is by collecting them from volunteer contributors. Such mass collaboration approach allows posing finely constrained or extensively contextual questions as well as extensive validation of knowledge. However, it is most effective only if we can figure out how to guide and...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Matthew Richardson, Timothy Chklovski
Joseph Priestly was a British scientist and theologian, a protégé’ of Benjamin Franklin, friend of Thomas Jefferson and an 18th century radical thinker who played pivotal roles in the invention of ecosystem science and the discovery of oxygen. Priestly also helped found the Unitarian Church in England and deeply influenced the Founding Fathers and their emerging vision of a separate church and state. What makes Priestly and his peers so fascinating is that they were on the cusp of multiple...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kim Ricketts, Kirsten Wiley, Steven...
Web applications enable much of today's online business including banking,shopping, university admissions, and various governmental activities.Anyone with a web browser can access them, and the data they managetypically has significant value both to the users and to the serviceproviders. Cross-site scripting (XSS) and SQL injection are classes ofattacks in which an attacker interacts with a client or database,respectively, through vulnerabilities in the server thereby gaining thetrust level of...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Trishul Chilmbi, Gary Wassermann
Microsoft Research Audio
audio

eye 1

favorite 0

comment 0

Distributed Hash Tables (DHTs) are useful tools for building large scale distributed systems. DHTs provide a hash-table-like interface to map a key to its responsible node among the current set of participating nodes. Many techniques have been developed to reduce DHT lookup latency: proximity routing, parallel lookups, complete routing state, aggressive routing table stabilization and others. While all techniques reduce latency, none is free and they all use bandwidth. Evaluations based solely...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jitu Padhye, Jinyang Li
In 1983, Aldous proved that randomization can speedup local search. For example, it reduces the query complexity of local search over grid 1:n] d from Theta (n d-1 ) to O (n d/2 ). It remains open whether randomization helps fixed-point computation. Inspired by this problem and recent advances on equilibrium computation, we have been fascinated by the following question: Is a fixed-point or an equilibrium fundamentally harder to find than a local optimum? In this talk, I will present a tight...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jennifer Chayes, Shang-Hua Teng
Microsoft Research Audio
audio

eye 2

favorite 0

comment 0

Homology search is a key tool for understanding the role, structure, and biochemical function of genomic sequences. BLAST is the most popular homology search tool and is used to run millions of queries each day. However, evaluating such queries is slow and can take minutes on a modern workstation. Therefore, continuing evolution of BLAST - by improving its algorithms and optimisations - is essential to improve search times in the face of exponentially-increasing collection sizes. In this talk I...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Susan Dumais, Michael Cameron
Microsoft Research Audio
by Microsoft Research
audio

eye 4

favorite 0

comment 0

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 number of open research problems remain regarding patterns, however, including the differences between patterns, variant forms of common patterns, the naming of patterns, the organisation of collections of patterns, the relationships between patterns, and the relationship between objects, designs, and...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Rustan Leino, James Noble
Microsoft Research Audio
audio

eye 1

favorite 0

comment 0

I will describe progress in IP network traffic matrix inference, arguably one of the most important technical problems in the engineering and management of large-scale IP networks. In particular, I will discuss tomo-gravity (how to compute accurate traffic matrices for large ISPs in seconds), and anomography (how to accurately detect anomalies, at network-level, for large ISPs in seconds). The methods rely only on ubiquitously available link load and configuration data. ©2006 Microsoft...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Victor Bahl, Albert Greenberg
ONE MILLION. That is the number of ideas Toyota implements each year, and those ideas come from every level in the organization, creating an engine of innovation, which is the greatest source of their competitive advantage. Perhaps this is why Toyota is one of the world’s ten most profitable companies, with a market value of 150 billion plus, more than GM, Ford, Honda, and Volkswagen combined. Toyota’s formula for the “elegant solution” is driven by three principles: Ingenuity in Craft,...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kim Ricketts, Matthew May
Microsoft Research Audio
audio

eye 8

favorite 0

comment 0

The Space Elevator is a radical technology for accessing space. The concept was first published in 1960 and was subsequently popularized in science fiction stories. After the discovery of carbon nanotubes in 1991 and subsequent measurements of their strength, the Space Elevator concept moved from the realm of science fiction to science possibility. Now there are small groups of researchers and enthusiasts working to develop the concept and further the development of the Space Elevator. What is...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kim Ricketts and Kirsten Wiley, Bryan...
Current spoken dialogue systems (SDS) typically employ hand-crafted decision networks or flow-charts to determine what action to take at each point in a conversation. The result is a system which is fragile to speech recognition errors and which is unable to adapt and learn from experience. There are two key features needed to build robust and adaptable spoken dialogue systems. Firstly, the system must have an explicit mechanism for modelling uncertainty and, secondly, the system must have an...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Tim Paek, Steve Young
Microsoft Research Audio
audio

eye 6

favorite 0

comment 0

What do global warming, a scientific instrument weighing about 4500 tons and bill collection have in common? The once Berkeley 'hippie chick' turned Software Architect Catharine van Ingen. Catharine has a wealth of experience in hardware, including work with the Alpha machine and MIPS processor teams, and in industrial-strength software for algorithms used to manage water flows, logging data from particle accelerator detectors, and buying Mickey Mouse watches over the Internet. On Behind the...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jennifer Sisti, Catharine van Ingen
Detecting and correcting errors before run-time is increasingly important in today's ubiquitous computing environment. Decision procedures for first-order logics are widely applicable in design verification and program analysis. However, as existing procedures do not scale up, verification methods sacrifice modeling precision for scalability. Imprecise modeling often results in numerous false alarms and the inability to verify properties that depend on data or timing, in addition to control. I...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Tom Ball, Sanjit A. Seshia
My research focuses on the problems of reconstruction and visualization of three-dimensional objects from images or video streams. I envision the an end-to-end light portal that can capture and 're-enact' real-world objects or events in a different time or space, as if they were being 'tele-ported' right in front of the viewers. While a full realization of such a light-portal is many years away, I will present some progresses we have made during the last few years. More specifically, I will...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Zhengyou Zhang, Ruigang Yang
Microsoft Research Audio
audio

eye 2

favorite 0

comment 0

In the framework of model based multidimensional signal processing this lecture deals with a derivation of new parametric models. In the first part we will provide with the limitations of the AR models in the case of signals with periodicities and propose the so called sine-AR models exercised in various real signals [1].In the second part we provide the limitations of the AR models in the 2-D case, an extension of the Schur-Cohn stability test to the 2-D case [7][8][9] and propose new models...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jin Li, Mohamed Najim
Microsoft Research Audio
by Microsoft Research
audio

eye 3

favorite 1

comment 0

Azure Academic Pilot – Krishna Kumar, Microsoft
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
audio

eye 2

favorite 0

comment 0

A large percentage of recent security problems, such as Cross-site Scripting or SQL injection, is caused by string-based code injection vulnerabilities. Most of these vulnerabilities exist because of implicit code creation through string serialization. Based on an analysis of the vulnerability class’ underlying mechanisms, we propose a general approach to out?t modern programming languages with mandatory means for explicit and secure code generation which provide strict separation between...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Helen Wang, Martin Johns
Computer systems design is based on many commonly-held beliefs and heuristics, many of which have never been challenged: Thousands of server farm 'load balancing' policies do exactly that: they aim to balance the load among the servers. But is load balancing necessarily a good thing? Consider a choice between a single machine with speed s, and n identical machines with speed s/n. Which would you choose? Are you always right? Scheduling policies which favor 'short' jobs, like...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jennifer Chayes & Ken Church, Mor...
Microsoft Research Audio
audio

eye 4

favorite 0

comment 0

Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Michael Gamon, William Lewis, Manuela...
Location awareness is an important capability for mobile computing. Yet inexpensive, pervasive positioning—a requirement for wide-scale adoption of location-aware computing—has been elusive. Place Lab is designed to overcome the lack of ubiquity and high-cost in existing location sensing approaches. Place Lab is software allowing commodity laptops, PDAs and cell phones to estimate their position by listening for radio beacons such as 802.11 access points, GSM phone towers, and fixed...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, John Krumm and Patrick Baudisch, Jeffrey...
Start with n particles at each of k points in the integer lattice Z d , and let each particle perform simple random walk until it reaches an unoccupied site. The law of the resulting random set of occupied sites does not depend on the order in which the walks are performed. We prove that if the distances between the starting points are scaled by n 1/d , the set of occupied sites has a deterministic scaling limit. In two dimensions, the boundary of the limiting shape is an algebraic curve of...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jennifer Chayes, Lionel Levine
We present a novel statistical estimation framework for structured models based on the large margin principle underlying support vector machines. We consider standard probabilistic models, such as Markov networks (undirected graphical models) and context free grammars as well as less conventional, combinatorial models such as weighted graph-cuts and matchings. Our framework results in several efficient learning formulations for complex prediction tasks. Fundamentally, we rely on the expressive...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Joshua Goodman, Ben Taskar
From the earliest days of portable computing, entrepreneurs and designers have pushed forward relentlessly in a quest to create the perfect device. Their efforts have produced a few fabulous successes and many failures, but they never give up-driven by the basic rule: innovate or die. By tracing the history of this quest, we can learn many valuable lessons for people in any industry: Innovate constantly Create design principles that are timeless Integrate design and engineering Improve quality...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kim Ricketts, Kirsten Wiley, Steve Hamm
We are experiencing a new Social Web, where people share, communicate, commiserate, and conflict with each other. As evidenced by systems like Wikipedia, twitter, and del.icio.us, these environments are turning people into social information foragers and sharers. Groups interact to resolve conflicts and jointly make sense of topic areas from 'Obama vs. Clinton' to 'Islam.' PARC's Augmented Social Cognition researchers – who come from cognitive psychology, computer science, HCI, CSCW, and...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Mary Czerwinski, Ed Chi
Microsoft Research Audio
audio

eye 2

favorite 0

comment 0

Programming language tools offer powerful mechanisms for improving the safety and reliability of systems code. This talk presents Deputy, a type system and compiler for enforcing type and memory safety in real-world C programs such as Linux device drivers and the Linux kernel itself. Deputy's type system uses dependent types, a language mechanism that allows programmers to describe common C idioms in an intuitive fashion. The Deputy project offers contributions to both systems and programming...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Chris Hawblitzel, Jeremy Condit
Microsoft Research Audio
audio

eye 6

favorite 0

comment 0

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? Could art be critical for the evolution of future computing? Creative arts research is in an ongoing state of becoming. Artists, engineers, designers and scientists are collaborating in unique ways to create digitally-realized images, sounds, performances, and installations never before heard, seen, or experienced. Cutting edge...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Tamara Pesik, Richard Karpen, Shawn...
Microsoft Research Audio
by Microsoft Research
audio

eye 12

favorite 0

comment 0

Theoretical physicist Smolin argues that the study of physics has lost its way in the past two decades, largely because string theory has captured the imagination of both the public and some prominent physicists. There is one deep flaw he sees in string theory: no part of it has been tested and no one knows how to test it. In fact, the theory appears to come in an infinite number of versions, meaning that no experiment will ever be able to prove it false. Yet it has soaked up the lion’s share...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kirsten Wiley and Kim Ricketts, Lee Smolin
Standing at the crossroads of the ActiveCampus Project and the Campus of the Future Project, it is appropriate to pause and consider what we've learned, and what that foretells. I will argue that a new feature of developing everyday software is 'failure as a normal mode of operation', and that this implies a need for advances in both software development techniques and application design methods. Key lessons will be drawn from several of the projects that I've conducted over the last five...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Evelyne Viegas, William Griswold
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Mark Lewin, Andre Santos
In this talk, I'll discuss a research trajectory that we have been pursuing at Intel Research Seattle. This trajectory is 'social, mobile applications' or, perhaps more colloquially, 'applications that don't support a specific work task and can be used just about anywhere.' I'll talk through what this area of research is, the context of the work at Intel Research Seattle into large-scale location systems, and some experiments we have done, are doing, and are planning to do. A significant...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Mary Czerwinski, Ian Smith
In this talk, I will describe CitySense, a NSF-funded collaboration between Harvard University and BBN Technologies to build a city-wide wireless sensor testbed that will be open to the research community. CitySense will consist of 100 Linux-based embedded PCs outfitted with dual 802.11a/b/g radios and various sensors, mounted on streetlights and buildings across a city (our current target is Cambridge, MA). CitySense takes its cue from citywide urban mesh networking projects, but will differ...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Feng Zhao, Matt Welsh
The polar RF transmitter architecture, Kahn Envelope Elimination and Restoration (EER), aims at achieving linearity, while amplifying non-constant envelope signals efficiently by means of switch mode amplification. A Delta-Sigma Modulator (??) is proposed to be used before the switch mode amplifier of the envelope signal. Due to its noise shaping characteristics, sharp analog filtering is compulsory afterwards. As a consequence, spectral regrowth appears in the output signal fed to antenna....
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Darko Kirovski, Jorge Mártires