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 Reviewed
Creator
1:45 – 2:15 Josh Benaloh, Microsoft Research Verified Optical Scan: overview and open probelms
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
1:00 – 1:30 Ron Rivest, MIT Scantegrity: overview and open problems
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
audio

eye 0

favorite 0

comment 0

The Internet is no longer the cooperative, technological playground it once was. Successful networked systems must account for potentially competing interests. In this talk, I will present two systems that together demonstrate that economic theory, and in particular auctions, can be a powerful means of analyzing and improving incentives for self-interested users to cooperate. First, …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
audio

eye 3

favorite 0

comment 0

In this talk I give an overview of the algorithms we have developed at UCSD to significantly lower the energy consumption in computing systems. We derived optimal power management strategies for stationary workloads that have been implemented both in HW and SW. Run-time adaptation can be done via an online learning algorithm that selects among a set of policies. We generalize the algorithm to include thermal management since we found that minimizing the power consumption does not necessarily...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Navendu Jain, Tajana Simunic Rosing
Microsoft Research Audio
audio

eye 8

favorite 0

comment 0

An overview on recent work on map labeling will be presented with emphasis on labeling with leaders. The labels are assumed to be placed on the boundary of the map while they are connected to the corresponding graphical features by polygonal lines, the so-called leaders.
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Lev Nachmanson, Michael Kaufmann
Automated decision procedures nowadays play a crucial role in the verification process of real life code. The breakthrough introduced by SAT and then SMT solvers make them very widely use to help developers prove assertions about the correctness of their code. Yet these tools, especially in the case of SMT solvers, often give little explanation about their answer, which can become an obstacle when certifying critical code. In this talk I will describe how formal proof assistants can help in...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Nikolaj Bjorner, Assia Mahboubi
Microsoft Research Audio
audio

eye 6

favorite 0

comment 0

We prove that every graph has a spectral sparsifier with a number of edges linear in its number of vertices. As linear-sized spectral sparsifiers of complete graphs are expanders, our sparsifiers of arbitrary graphs can be viewed as generalizations of expander graphs.
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Eyal Lubetzky, Nikhil Srivastava
The best companies know that innovative thinking is the only competitive advantage that can’t be outsourced. The best schools are those with deep cultures of creative problem solving. But both innovation and creativity depend on imagination first: the ability and willingness to conceive of what is not. And it is something we can all cultivate—with practice. We can outline some practices that are designed to enable everyone-from executive to teacher-to get unstuck, to reframe challenges and...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kirsten Wiley, Eric Liu
This talk presents feedback-driven adaptive algorithms for efficient scheduling of parallel jobs on multiprogrammed multiprocessors. Multiprocessor scheduling is often structured in two levels, where a kernel-level OS allocator allots processors to jobs and a user-level task scheduler schedules the ready tasks of a job on the allotted processors. In the context of adaptive scheduling, the …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
There are companies that create waves and those that ride or are drowned by them. Let’s take a ride on the Google wave, from how it formed to how it crashed into traditional media businesses.
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kirsten Wiley, Ken Auletta
Microsoft Research Audio
audio

eye 9

favorite 0

comment 0

The Advanced Encryption Standard (AES) is one of the most popular ciphers in the world and is widely used for both commercial and
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kristin Lauter, Dmitry Khovratovich
Over the past few years, there has been a quiet revolution in display manufacturing technology. One that is only comparable in scope to that of the invention of the first LCD, one that directly resulted in Kay’s DynaBook and the modern laptop. The e-ink electro-chemical pixel, combined with advances in organic thin-film circuit boards have …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Software is large, complex, and error-prone. The trend of switching to parallel and distributed computing platforms (e.g. multi-cores, cloud computing) makes software development even more complex (e.g. Heisenbugs). In this talk, I’ll present my research towards improving the reliability of concurrent programs by building a scalable tool for precise and automated static analysis of concurrent …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Recent research advances have demonstrated that WiFi-like wireless networks can be built in television-band white spaces (TVWS). In this work, we pose the question, “can urban-scale TVWS networks be built to cost-effectively address the problem of last-mile wireless access?” We develop fine-grained propagation models to consider a large class of urban-scale designs and evaluate their …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
Microsoft Research Audio
audio

eye 1

favorite 0

comment 0

Many say that “The Cloud” will be the next game-changing computing platform, and the race is on to define and capture that domain. Historically, new platforms take off when independent developers start to make innovative use of platform-specific features. In the case of Cloud Computing, that means exploiting distributed systems in a datacenter. But there …
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive
The social activity which surrounds the playing of MMO types games, like Ultima Online, Asheron’s Call or EverQuest, or first person shooter games, like Counter-Strike or Battlefield 2 has been well established. Aside from observations of game “flow,” immersion and game dynamics and construction, a more in-depth accounting is required of what pleasures and anxieties game players take away from playing computer games, either in single player or multi-player. Based on participant...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Daniel Pargman, Talmadge Wright
An ad hoc data source is any semistructured data source for which useful data analysis and transformation tools are not readily available. Such data must be queried, transformed and displayed by systems administrators, computational biologists, financial analysts and hosts of others on a regular basis. PADS is a domain-specific language extension for C and O'Caml that allows programmers to specify the formats of ad hoc data sources using a set of type declarations. The PADS compiler generates a...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jim Larus, David Walker
Microsoft Research Audio
audio

eye 2

favorite 0

comment 0

Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Lucy Sanders, Jan Cuny, William A. Wulf
Integrating the arts with computer science can open doors to discovery and creation and point the way to new understandings of the aesthetic in interactions with digital technologies. I will discuss how our integrated research methodology has impacted the development of our interactive information visualizations and tabletop computing research. I will illustrate this with examples of information visualizations on tabletop displays that have been developed for accessible exploration by the...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Danyel Fisher, Sheelagh Carpendale
Garrett Hardin's famous 'tragedy of the commons' states that when no one has a significant stake in some common resource - such as a meadow, a stream or clean air - the resource is inevitably overused and eventually downgraded. But what about the reverse situation - when property rights in a resource are divided up too finely and those rights are too closely held?This 'problem of the anti-commons' is everywhere: in excessive patent grants that prevent the development of lifesaving drugs; in...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kim Ricketts, Kirsten Wiley, Michael...
Microsoft Research Audio
audio

eye 9

favorite 0

comment 0

The broad goal of our WSRF.NET project at the University of Virginia is to facilitate Grid computing on the .NET platform. In this talk, we give an update on our progress in exploiting and extending the .NET/Windows platform for Grid Computing – including our recent support for GridFTP on .NET, an OGSA-based Authorization Service based on Windows, and our alternative software stack for OGSA-based grids (based on WS-Transfer, WS-Eventing, etc.). The talk culminates with a live *demo* of how we...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Dan Fay, Marty Humphrey
The DORIS project aims to develop a spoken dialogue module for an autonomous robotic agent. In this talk, I will examine the techniques used by Scusi?, the speech interpretation component of DORIS, to postulate and assess hypotheses regarding the meaning of a spoken utterance, including our formalism for disambiguating referring expressions. I will also present the results of our evaluation experiments, and discuss our progress towards the interpretation of multiple utterances. ©2009 Microsoft...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Eric Horvitz, Ingrid Zukerman
High-level semantic vulnerabilities such as SQL injection and cross-site scripting have surpassed buffer overflows as the most prevalent security exploits. The breadth and diversity of software vulnerabilities demand new security solutions that combine the speed and practicality of hardware approaches with the flexibility and robustness of software systems. This talk proposes Raksha, an architecture for software security based on dynamic information flow tracking (DIFT). Raksha provides three...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Ben Livshits and Onur Mutlu, Christos...
Over the last decade, advances in natural language processing technologies have paved the way for the emergence of complex spoken language interfaces. A persistent and important problem in the development of these systems is their lack of robustness when confronted with understanding-errors. The problem stems mostly from the unreliability of current speech recognition technology, and is present across all domains and interaction types. My research addresses this problem by: (1) endowing spoken...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Eric Horvitz, Dan Bohus
Constructed between 1987 and 1989 and costing more than $200 million, Biosphere 2 was an experiment to test if and how people could create, live, and work inside a closed biosphere while carrying out scientific experiments. It explored the possible use of closed biospheres in space colonization, and also allowed the study and manipulation of a biosphere without harming our own. Problems plagued the experiment from the beginning--lack of oxygen, low food supply, and psychological problems such...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kim Ricketts and Kirsten Wiley, Jane...
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 poverty. The success of the Grameen foundation is more than having an innovative business model; it is a business model built on giving hope where none exists. In fact, the foundation is about transformations, not just transactions, and the success of microlending has opened a world of opportunity...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kim Ricketts and Kirsten Wiley, Alex...
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. The ad hoc nature of these tasks increases the likelihood of a developer pursuing a task that is infeasible or choosing not to pursue a feasible one. Although pragmatic reuse activities have been negatively likened to code cloning activities, there are many valid industrial reasons for reusing code in this fashion including risk aversion, feature...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Rob DeLine, Reid Holmes
The shift toward multi-core processors is the most obvious implication of a greater trend toward efficient computing. In the past, hardware designers were willing to spend superlinear area and power for incremental performance improvements, but that era has come to an end.With the low-hanging fruit of processor microarchitecture having largely been picked, it is my belief that we will increasingly see a trend toward co-designing hardware with the software that runs on it.Processor designers...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jim Larus, Craig Zilles
This talk consists of two short talks. Localization of 3D Audio-Visual Objects Using Unsupervised Clustering We address the problem of localizing objects that can be both seen and heard. We exploit the benefits of a human-like configuration of sensors (binaural and binocular) for gathering auditory and visual observations. It is shown that the localization problem can be recast as the task of clustering the audio-visual observations into coherent groups. We propose a probabilistic generative...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Zhengyou Zhang, Radu Horaud
Microsoft Research Audio
audio

eye 5

favorite 0

comment 0

In this talk I will present a new method for estimating the optical transmission in hazy scenes given a single input image. Based on this estimation the scattered light is eliminated to increase the visibility of the scene and recover haze-free contrasts. In this new approach we formulate a refined image formation model that accounts for surface shading in addition to the transmission function. This addition allows us to resolve ambiguities in the data by searching for a solution in which the...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Rick Szeliski, Raanan Fattal
Microsoft Research Audio
audio

eye 4

favorite 0

comment 0

The Shannon capacity of a channel, and its corresponding characteristic graph, is a well-studied parameter, with applications in Theoretical Computer Science, Information Theory and Combinatorics. In this talk, I will survey results related to several types of graph powers, starting with the strong power and the Shannon capacity. The lecture will include the relevant definitions, as well as the consequences in Coding and Information Theory and Ramsey Theory. Based on joint work with Noga Alon....
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jennifer Chayes, Eyal Lubetzky
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Dan Fay, Savas Parastatidis
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Danyel Fisher, John C. Tang
With the increased use of 'Virtual Machines' (VMs) as vehicles that isolate applications running on the same host, it is necessary to devise techniques that enable multiple VMs to share underlying resources both fairly and efficiently. To that end, one common approach is to deploy complex resource management techniques in the hosting infrastructure. Alternately, in this talk, we advocate the use of self adaptation in the VMs themselves based on feedback about resource usage and availability....
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Yuqun Chen, Azer Bestavros
Microsoft Research Audio
audio

eye 0

favorite 0

comment 0

Imagery from Earth-orbiting satellites provides a rich but voluminous source of raw data for scientific investigation of environmental processes and trends. Analyses of the data are, however, generally outside the traditional realm of “image processing.” Instead, we think of an image as a geospatial raster of radiometric values, and an image’s resolution includes spatial, spectral, radiometric, and temporal attributes. Translation of images into a suite of geophysical products requires...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Dan Fay, Jeff Dozier
Data abstraction through predicate abstraction in software model checking requires a theorem proving step to create an abstract version of the program control structure. While this process is effective for programs with simple data manipulations, such as device drivers, abstraction of program control structures can become undecidable and imprecise for more complex, yet reasonable, data manipulations--such as the multiplication of two variables. Data abstractions that do not require the...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, John Lefor, Michael Jones
Microsoft Research Audio
audio

eye 3

favorite 0

comment 0

We present a formal method for modelling the operational behavior of various kinds of systems of concurrent processes. A first objective is that the method be broadly applicable. A system can be described in terms of its processes written in a traditional syntax-based manner, or in some non-traditional form such as a timed automaton. The number of processes may be fixed, or parameterized, or, because of dynamic process creation, unbounded. The communication and synchronization between processes...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Wolfram Schulte, Joxan Jaffar
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jin Li, Mihaela van Schaar, Yi Su,...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Shelly Farnham, David McDonald
Microsoft Research Audio
audio

eye 6

favorite 0

comment 0

A new project at Dartmouth College is being developed to take advantage of its unique position as a living lab for advances in mobile computing. Later this year, Dartmouth College will build two large new residential facilities across the street from the Department of Computer Science. We plan to deeply integrate information technology into these dorms, well beyond the wired and wireless network infrastructure common in today's dorms. Although the ultimate goal is to enhance the academic and...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kevin Schofield, David Kotz, Martin Redman
Microsoft Research Audio
audio

eye 1

favorite 0

comment 0

It is a known fact that finitary state abstraction methods, such as predicate abstraction, are inadequate for verifying general liveness properties or even termination of sequential programs. In this talk we will present an abstraction approach called 'ranking abstraction' which is sound and complete for verifying all temporally specified properties, including all liveness properties. We will start by presenting a general simple framework for state abstraction emphasizing that, in order to get...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Tom Ball, Amir Pnueli
Carol Evans will introduce worklife balance and flexible work programs from multiple Fortune 500 companies. She will discuss: best practices and best bets of their programs barriers and issues often associated with embracing and embarking upon worklife and flexible work programs key learnings and strategies to leverage these types of programs to retain talent what the research and white papers tell us in regards to retention of talent and its effect on certain work groups. ©2005 Microsoft...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Claudette Whiting, General Manager,...
Future system design methodologies must accept the fact that the underlying hardware will be imperfect, and enable design of robust systems that are resilient to such imperfections. This talk will describe enabling tools and technologies for building such systems. Three techniques that can enable a sea change in robust system design are: 1. Built-In Soft Error Resilience (BISER), 2. Circuit Failure Prediction, and 3. Concurrent Autonomous Self-Test and Self-Diagnosis. These techniques span...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Onur Mutlu, Subhasish Mitra
Generalized algebraic data types (GADTs) extend algebraic data types by a form of type refinement connected to pattern matchings. There are numerous useful examples which exploit this feature such as type-safe evaluators etc. In this talk, I take a closer look at the GADT type inference problem and investigate how to compile GADTs to a typed intermediate language. Specifically, I will explain why type inference for GADTs is such a hard problem and suggest possible solutions to guarantee...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Manuel Fahndrich, Martin Sulzmann
After 40-mumble years of higher education-based computer science instruction, what do we know about how students learn computing? What can students accomplish after one year? What common problems exist? While anecdotal answers can be gathered to all these questions through a post to the CS educators listserv – what 'real' data do we have to answer these questions? In this talk, I'll review recent highlights of work in describing the competencies and behaviors of novice programmers. I'll...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Andrew Begel, Beth Simon
Given a vector of k input symbols, a fountain code produces a potentially limitless stream of output symbols, each generated independently and at random. These codes have applications in scalable data distribution over heterogeneous networks with multiple transmitters and receivers. For the erasure channel, Luby and Shokrollahi have designed efficient capacity-achieving fountain codes based on sparse graphs. We will look at their generalization to channels with errors, where belief propagation...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Nicole Immorlica, Omid Etesami
Microsoft Research Audio
audio

eye 0

favorite 0

comment 0

This talk will present an overview of the OSIsoft’s PI System detailing the benefits of a high fidelity data store, describing system architecture and product offerings. We will highlight AF 2.0 which allows users to aggregate, organize and model complex sets of assets with emphasis on delivering maximum value for minimum effort. The talk will conclude with a demonstration showing how the PI system can be leveraged to facilitate “Green IT” in the data center space. ©2008 Microsoft...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jie Liu, Christian Luckock
In this talk I will give an overview of some recent work done by my research group in the area of camera calibration and 3D reconstruction. In terms of calibration, I will both address photometric and geometric calibration issues. We have recently developed a robust photometric calibration procedure that estimates exposure changes, the camera response curve and vignetting from images. I will also present a simple linear method for fish-eye and cata-dioptric camera calibration and present a new...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Sing Bing Kang, Marc Pollefeys
In this talk I will overview my research on emotion expression and emotion recognition in speech signal and its applications. Two proprietary databases of emotional utterances were used in this research. The first database consists of 700 emotional utterances in English pronounced by 30 subjects portraying five emotional states: unemotional (normal), anger, happiness, sadness, and fear. The second database consists of 3660 emotional utterances in Russian by 61 subjects portraying the following...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Alex Acero, Valery Petrushin
Searchers can find the construction of query statements for submission to search systems a problematic activity. Implicit feedback models can proactively support searchers by passively observing interaction behavior and making recommendations about new query words to add, or retrieval strategies to adopt. Implicit feedback is typically gathered through monitoring behaviors such as bookmarking, saving or printing. Using document retention in this way can be worthwhile, but it is seldom observed...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Eric Brill, Ryen White
Meet the economic gangster. He’s the United Nations diplomat who double parks his Mercedes on a New York street at rush hour, because the cops can’t touch him-he has diplomatic immunity. He’s the dictator, the warlord, the black marketeers, the unscrupulous bureaucrat who bilks the developing world of billions of aid—and keeps many communities in a cycle of violence and poverty. We can stop this waste of resources as we follow the foreign aid money trail, and find solutions that can...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kirsten Wiley, Edward (Ted) Miguel
Most of us do it every day. Get in the car, put the key in the ignition and pray the traffic gods will smile on us. But how many of us truly know how complicated, in both human and technical terms, our mobile lives really are? What does our behavior behind the wheel really say about us? How does our driving, and the resulting traffic, impact our society as a whole? Why do most car accidents happen close to home and on sunny, clear days? Why more people are killed crossing legally in crosswalks...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kim Ricketts, Kirsten Wiley, Tom...
Microsoft Research Audio
audio

eye 1

favorite 0

comment 0

Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Dan Fay, Tony Hey
Modern technology presents chip designers with challenges that will fundamentally alter how processors work and how we design all aspects of computer systems. The first portion of my talk presents a dataflow-style processor architecture, WaveScalar, that is simpler to design, more scalable, and, in many cases, better performing than conventional processors. WaveScalar provides a unique hybrid memory interface that supports programs written in imperative languages (C, C++, Java, etc.) and allows...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Richard Draves, Steven Swanson
In this talk, we will review current and past techniques for managing and trouble-shooting enterprise networks, and their drawbacks and limitations. Furthermore, we will review initial ideas for an alternate Layer-2 architecture for connectivity and communication in enterprise networks that vastly simplifies management tasks. ©2006 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Victor Bahl, Aditya Akella
Microsoft Research Audio
audio

eye 20

favorite 0

comment 0

Frank Herbert wrote over 30 bestselling books during his lifetime, including the now classic six novels set in the Dune universe. The first book, Dune, won both the Nebula and Hugo awards and is still the world’s bestselling science fiction novel. When Frank Herbert died in 1986 he left behind the outlines for the continuation of the Dune saga, though they were hidden in two safe deposit boxes for over a decade. Following his death his son Brian Herbert compiled a massive Dune concordance and...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kim Ricketts and Kirsten Wiley, Brian...
Developing correct multithreaded software is very challenging, due to the potential for unintended interference between threads. We present type systems for verifying two key non-interference properties in multithreaded software: race-freedom and atomicity. Verifying atomicity is particularly valuable since atomic procedures can be understood according to their sequential semantics, which significantly simplifies subsequent (formal and informal) correctness arguments. We will describe our...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Shaz Qadeer, Cormac Flanagan
In this talk we present STONe, Secure Trusted Overlay Network, a novel robust network infrastructure that provides privacy-preserving communication. STONe is the first network architecture based on attestation and strong process isolation in Trusted Computing. Using these features to protect the network stack against Byzantine failures, STONe is able to establish different protection techniques against common network attacks like denial-of-service, malicious routing updates or phishing attacks...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, NA, Matthias Jacob
Microsoft Research Audio
audio

eye 2

favorite 0

comment 0

Entering the search term “Rome” on Flickr.com returns more than two million photos. This collection represents an increasingly complete photographic record of the city, capturing every popular site, facade, interior, fountain, sculpture, painting, cafe, and so forth. It also offers us an unprecedented opportunity to richly capture, explore and study the three dimensional shape of the city. In this talk, I will presents the first system capable of city-scale reconstruction from images...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Dennis Gannon, Sameer Agarwal
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Mark Lewin, Elizabeth White
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Angela Kernan, Cole Krumbholz
Microsoft Research Audio
audio

eye 3

favorite 0

comment 0

Most betting markets – from Las Vegas to Wall Street – operate similarly: Each allowable bet is explicitly listed and tracked; each bet’s outcome space is low dimensional; and each bet type is managed independently. In this talk, I will survey our attempts to design combinatorial betting mechanisms that support doubly exponentially many allowable bets and propagate information appropriately across logically-related bets. Thus, our mechanisms have the potential to both collect more...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kamal Jain, David M. Pennock
I've spent the last ten years trying to feed technologies and insights from Linguistics and Computational Linguistics into the infrastructure of the Web. In this talk I'll give brief but intense introductions to four areas of research interest from (C)L and related disciplines which have the potential for making a real impact on the way the Web works. Dependent on who's there, we may dive deeper into one or more of them, time permitting: A novel declarative approach to fixup of broken...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Ken Church, Henry S. Thompson
No organization can survive without iconoclasts: innovators who single handedly upturn conventional wisdom and manage to achieve what so many others deem impossible. Though indispensable, true iconoclasts are few and far between. What are the constraints the human mind puts on innovative thinking and how can we avoid them? Through vivid accounts of a wide range of iconoclasts including artist Dale Chihuly, physicist Richard Feynman and others we can see the inner workings of the iconoclast’s...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kim Ricketts, Kirsten Wiley, Gregory Berns
Research at the HCT lab focuses on the relationship between people and machines. The approach we take is that interaction aesthetics drive relationships that are at play as people learn to use devices in their external environment. An intimate relationship forms as people embody devices providing an aesthetic through control. I'll explore the nature of relationships and how that impacts design of new interfaces. I will discuss a few examples from the HCT lab demonstrating some of the ideas. The...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Mary Czerwinski, Sidney Fels
RAPUNSEL is an on-line computer game/learning system to enable children, especially underprivileged groups and girls, learn to program computers. It is being developed by researchers at the Media Research Laboratory at New York University and TiltFactor Laboratory at Hunter College, New York. The goal of the RAPUNSEL project is to make a 'self-teaching' environment, delivered as a web-based service, where children are motivated to learn Java programming incrementally through a shared game. The...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, John SanGiovanni, Mary Flanagan, Ken...
Microsoft Research Audio
audio

eye 3

favorite 0

comment 0

The presentation consists of three parts: First, we briefly consider the problems faced by enterprises in handling commercial contracts today, then we present a foundational enterprise model, the Resources/Events/Agents model (REA), and finally we consider the formal mathematical underpinnings of a specification language for commercial contracts. The specification language for contracts is based on ideas from various process calculi as well as Peyton Jones' work in financial engineering. Some...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jakob Rehof, Christian Stefansen
Joint work with David Chiang (University of Maryland) K-best parsing (and k-best processing in general) has become a popular technique in natural language processing. However, fast and exact k-best algorithms are largely unknown to the parsing community. In this work, we develop efficient algorithms for exact k-best derivation trees in the framework of directed monotonic hypergraphs. To demonstrate the efficiency, scalability and accuracy of these algorithms, we present experiments on Bikel's...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Simon Corston-Oliver, Liang Huang
Microsoft Research Audio
audio

eye 1

favorite 0

comment 0

Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Liz Lawley, Danah Boyd, Clay Shirky
Microsoft Research Audio
audio

eye 4

favorite 0

comment 0

Pen and paper are key aspects of our everyday life. This simple technological system is easy to use, reliable and extremely versatile. Yet, it also stands on the margins of the digital world as information gathered on pen and paper is often difficult to manipulate in the digital realm. Two recent technologies are trying to address this problem. One, the Microsoft Tablet PC platform, is pushing toward a fully digital equivalent of the pen and paper system. The other, the Anoto digital pen...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, John SanGiovanni, François Guimbretière
In this study, a new discriminative learning framework, called soft margin estimation (SME), is proposed for estimating the parameters of continuous density hidden Markov models (HMMs). The proposed method makes direct use of the successful ideas of margin in support vector machines to improve generalization capability and decision feedback learning in discriminative training to enhance model separation in classifier design. SME directly maximizes the separation of competing models to enhance...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Li Deng, Jinyu Li
Over the past ten years, the Internet and the WWW have expanded our access to an incredible amount of information. While there can be a tremendous benefit in this, too often people are overwhelmed by the sheer volume and the complexities inherent in all that information. My research develops ways to help people better harness and take advantage of available information, focusing on projects that combine human-computer interaction and information visualization. In this talk, I will highlight...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Mary Czerwinski, John Stasko
The arithmetic of natural numbers with addition and divisibility has been shown undecidable as a consequence of the fact that multiplication of natural numbers can be interpreted into this theory, as shown by J. Robinson (1949). The most important decidable subsets of the arithmetic of addition and divisibility are the arithmetic of addition, proved by M. Presburger (1929), and the purely existential subset, proved independently by A. Beltyukov and L. Lipshitz (1976). In the first part of the...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Shaz Qadeer, Radu Losif
Among their many other roles, proteins are the scaffolds, workhorses, and computational devices of all organisms. For many pratical purposes, a protein is a string of charaters in a 20 letter alphabet. These charaters represent amino acids. A proten's 3D structure and biological function depend on its sequence of amino acids. Proteins are typically composed of several functional subunits, called domains. These subunits have relatively autonomous function. Domains are shuffled through evolution...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, David Heckerman, Elon Portugaly
This talk will focus on the Sample Compression learning framework emphasizing some of its advantages over more conventional frameworks such as the VC learning paradigm. Moreover, unlike traditional VC and Rademacher based learning paradigms, we will show how practical realizable guarantees on the generalization performance of the learning algorithms can be obtained in this framework. We will also study examples of learning algorithms where such risk bounds can practically guide the model...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Ofer Dekel, Mohak Shah