Skip to main content

Computers & Technology

Featuring two television programs popular in the 1980's and 1990's: Computer Chronicles and Net Café, this library showcases videos about computing and technology. Collection topics include BBS, the Open Source movement, and Internet governance.

Many of these movies are available for free download.


More right-solid
More right-solid
SHOW DETAILS
up-solid down-solid
eye
Title
Date Archived
Creator
Microsoft Research Video
movies
eye 1,133
favorite 0
comment 0
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 Video Archive, Onur Mutlu, Tor Aamodt
Levy processes are random measures that give independent mass to independent increments. I will show how they can be used to model various types of data such as binary vectors or vectors of counts, with applications to text and images. These techniques fall in the category of nonparametric Bayesian methods, and are related to the better known Dirichlet process. ©2008 Microsoft Corporation. All rights reserved.
( 1 reviews )
Topics: Microsoft Research, Microsoft Research Video Archive, Emre Kiciman, Romain Thibaux
Microsoft Research Video
movies
eye 218
favorite 0
comment 0
Image-based object recognition is one of the quintessential problems for computer vision, and human faces are arguably the most important class of objects to recognize. Despite extensive studies and practices on face recognition in the past couple of decades, we in this talk contend that a critical piece of information has largely been over-looked, which holds the key for high-performance robust face recognition. That is, to a large extent, object recognition, and particularly face recognition...
Topics: Microsoft Research, Microsoft Research Video Archive, Sing Bing Kang, Yi Ma
Microsoft Research Video
movies
eye 210
favorite 0
comment 0
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 Video Archive, Jim Larus, Craig Zilles
Microsoft Research Video
movies
eye 203
favorite 0
comment 0
This talk summarizes Powerset's endeavor to set up a flexible and data driven approach to handling word senses.In a traditional keyword search engine setting, word sense disambiguation is believed to play a subordinate role. While keyword queries tend to disambiguate itself through the presence of other keywords e.g. 'flying jets' vs. 'ny jets', this is not the case in an index expansion setting, where wrong sense expansions lead to spurious semantic matches.A system is proposed that consists...
Topics: Microsoft Research, Microsoft Research Video Archive, Lucy Vanderwende, Chris Biemann
Microsoft Research Video
movies
eye 191
favorite 0
comment 0
AI systems must be able to reason about complex objects as well explicitly handle uncertainty. First order logic gives the formalism to handle the first. Probability gives the power to handle the latter. Combining the two has been a long standing goal of AI research. In this talk, I will present Markov Logic (Richardson & Domingos 06), which combines the power of full first order logic and Markov networks. Markov logic represents the underlying world by attaching real valued weights to...
Topics: Microsoft Research, Microsoft Research Video Archive, Matt Richardson, Parag Singla
Microsoft Research Video
movies
eye 185
favorite 0
comment 0
The number of African Americans and Latino/as receiving undergraduate and advanced degrees in computer science is disproportionately low. Relatively few African American and Latino/a high school students receive the kind of institutional encouragement, educational opportunities and preparation needed for them to choose computer science as a field of study and profession. Let us look at the daily experiences of students in three Los Angeles public high schools: an overcrowded urban high school,...
Topics: Microsoft Research, Microsoft Research Video Archive, Kim Ricketts and Kirsten Wiley, Jane Margolis
Microsoft Research Video
movies
eye 161
favorite 1
comment 0
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 Video Archive, Kim Ricketts and Kirsten Wiley, Gregory Berns
Microsoft Research Video
movies
eye 159
favorite 1
comment 0
Donald Knuth’s “The Art of Computer Programming” on algorithms and their analysis is a classic text in computer science. The image of computer programming that is reflected in this book is one that is highly analytical and mathematical. It calls to mind the figure of a lone developer sitting down at a keyboard to enter esoteric codes into computer. It is difficult to imagine a more “technical” activity; the code must be syntactically correct before it compiles and the algorithms must...
Topics: Microsoft Research, Microsoft Research Video Archive, Rob DeLine, Susan Elliott Sim
Microsoft Research Video
movies
eye 133
favorite 1
comment 0
In today’s world, transparency-acting with candor, disclosure, integrity and honesty-is increasingly linked to both survival and success. Not only does transparency enhance individual and organizational performance, but it also has the potential to tap into previously unthinkable levels of collective wisdom. The technologies that have accelerated this change are here to stay, and as a result there will only be a further interest in transparency. How to become this kind of organization? What...
Topics: Microsoft Research, Microsoft Research Video Archive, Kim Ricketts and Kirsten Wiley, James O'Toole
G4 Video Grabs
movies
eye 133
favorite 0
comment 0
Ubisoft's first development diary showcases the newest features in the action-adventure Prince of Persia for the PC, Xbox 360 and PS3.
Topics: G4TV.com videos, G4TV.com unpublic video ids, flvhd
Microsoft Research Video
movies
eye 132
favorite 0
comment 0
The claytronics project is working on realizing programmable matter. Programmable matter is any substance which can be programmed to effect a change in one or more of its physical characteristics. In claytronics, the substance is a collection of individual units, each of which can sense, compute, communicate, and actuate. The long range goal for claytronics is for the collection to behave as a coherent mass and mimic, with high-fidelity and in 3-dimensional solid form, the look, feel, and...
Topics: Microsoft Research, Microsoft Research Video Archive, Stewart Tansley, Seth Copen Goldstein
We present a technique which improves the Kneser- Ney smoothing algorithm on small data sets for bigrams and we develop a numerical algorithm which computes the parameters for the heuristic formula with a correction. We give motivation for the formula with correction on a simple example. Using the same example we show the possible difficulties one may run into with the numerical algorithm. Applying the algorithm to test data we show how the new formula improves the results on cross-entropy....
Topics: Microsoft Research, Microsoft Research Video Archive, Ye-Yi Wang, Peter Taraba
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 in the problem domain (organizational structure, for example), in the high level design (architectural configurations, for example) or in low level code (graphs and linked lists). Until recently, however, frameworks for solving relational constraints (such as Alloy3) have had limited applicability....
Topics: Microsoft Research, Microsoft Research Video Archive, Nikolaj Bjorner, Emina Torlak
Microsoft Research Video
movies
eye 123
favorite 0
comment 0
Many Artificial Intelligence (AI) tasks, such as natural language processing, commonsense reasoning and vision, could be naturally modeled by a language and associated inference engine using both relational (first-order) predicates and probabilistic information. While logic has been the basis for much AI development and is a powerful framework for using relational predicates, its lack of representation for probabilistic knowledge severely limits its application to many tasks. Graphical models...
Topics: Microsoft Research, Microsoft Research Video Archive, Eric Horvitz, Rodrigo de Salvo Braz
Identification and equalization of Room Transfer Functions (RTFs) is an important topic with several applications in acoustic signal processing. RTFs are often modelled as finite impulse response filters characterized by orders of thousands of taps and non-minimum phase. In practice, only approximate estimates of the actual RTFs are available due to measurement noise, limited estimation accuracy and temporal variation of source-receiver position. These issues make equalization a difficult...
Topics: Microsoft Research, Microsoft Research Video Archive, Ivan Tashev, Nikolay Gaubitch
Microsoft Research Video
movies
eye 107
favorite 0
comment 0
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 Video Archive, Kim Ricketts and Kirsten Wiley, Tom Vanderbilt
Microsoft Research Video
movies
eye 105
favorite 0
comment 0
A complete system for distant speech recognition (DSR) typically consists of several distinct components. Among these are: An array of microphone for far-field sound capture; An algorithm for tracking the positions of the active speaker or speakers; A beamforming algorithm for focusing on the desired speaker and suppressing noise, reverberation, and competing speech from other speakers; A recognition engine to extract the most likely hypothesis from the output of the beamformer; A speaker...
Topics: Microsoft Research, Microsoft Research Video Archive, Mike Seltzer, John McDonough
Microsoft Research Video
movies
eye 104
favorite 0
comment 0
This is a two-part talk. In the first part, we propose an approach to natural language inference (NLI) based on a model of natural logic, which identifies valid inferences by their lexical and syntactic features, without full semantic interpretation. We greatly extend past work in natural logic, which has focused solely on semantic containment and monotonicity, to incorporate both semantic exclusion and implicativity. Our system decomposes an inference problem into a sequence of atomic edits...
Topics: Microsoft Research, Microsoft Research Video Archive, Chris Brockett, Bill MacCartney
Microsoft Research Video
movies
eye 100
favorite 0
comment 0
The legendary Omaha investor has sworn never to write a memoir, but now has allowed one writer unprecedented access to explore directly with him and those closest to him his work,opinions, struggles, triumphs, follies and wisdom. Warren Buffett is an array of paradoxes:He set out to prove that nice guys finish first, and over the years has treated his investors as partners and championed honesty to all. At the same time he became the world’s richest man, all from the modest Omaha headquarters...
Topics: Microsoft Research, Microsoft Research Video Archive, Kirsten Wiley, Alice Schroeder
Microsoft Research Video
movies
eye 99
favorite 0
comment 0
Accurate models often are complex models. For example, ensembles often contain 100's or 1000's of base-level classifiers. This complexity makes ensembles more difficult to store, more expensive to execute, and also harder to interpret. Ultimately, this complexity restricts their use in applications where test sets are very large (e.g. web search and image/video recognition), where storage is at a premium (e.g. cell phones and digital cameras), and where computational power is limited (e.g....
Topics: Microsoft Research, Microsoft Research Video Archive, John Platt & Paul Viola, Rich Caruana
G4 Video Grabs
movies
eye 95
favorite 0
comment 0
Topics: G4TV.com videos, G4TV.com unpublic video ids, flvhd
Many recent computational photography techniques decompose an image into a piecewise smooth base layer, containing large scale variations in intensity, and a residual detail layer capturing the smaller scale details in the image. In many of these applications, it is important to control the spatial scale of the extracted details, and it is often desirable to manipulate details at multiple scales, while avoiding visual artifacts. In this paper we introduce a new way to construct edge-preserving...
Topics: Microsoft Research, Microsoft Research Video Archive, Richard Szeliski, Dani Lischinski, Zeev...
In the amazing new world of billion-transistor chips, computers can achieve a form of self-improvement scarcely imagined before. Since 2002, UCR researchers have been developing a technology, known as 'Warp Processing,' in which the execution of a program on a microprocessor is automatically replaced by execution on an FPGA, using a coprocessor circuit custom-designed on-the-fly for the program's specific needs, sometimes resulting in transparent performanceimprovement, or 'warping.' That...
Topics: Microsoft Research, Microsoft Research Video Archive, Alessandro Forin, Frank Vahid
Microsoft Research Video
movies
eye 89
favorite 0
comment 0
Augmented Reality requires accurate camera pose estimates to correctly render virtual graphics into the real world. In unknown or partially known enviroments, visual SLAM (Simultanesous Localisation and Mapping) can provide this while also estimating the geometry of the enviroment. This talk argues that the traditional approach to visual SLAM - to jointly optimise camera pose and a 3D map of features at 30Hz - is inappropriate for AR. Instead I propose to build the map from a small sub-set of...
Topics: Microsoft Research, Microsoft Research Video Archive, David Nister, Georg Klein
Microsoft Research Video
by Microsoft Research
movies
eye 87
favorite 0
comment 0
I will consider the design of efficient and profit-maximizing Bayesian incentive-compatible mechanisms for general dynamic environments with private information. In the environment, agents observe a sequence of private signals over a number of periods. In each period, the agents report their private signals and make public (contractible) and private decisions based on the reports. The probability distribution over future signals may depend on both past signals and past decisions. First I...
Topics: Microsoft Research, Microsoft Research Video Archive, Jennifer Chayes, Ilya Segal
Microsoft Research Video
movies
eye 85
favorite 0
comment 0
While most of us only know E. coli as a lethal kind of food poisoning, we actually carry hundreds of billions of these bacteria in our bodies for our entire lives. Over the past fifty years E. coli has been probed and dissected by thousands of biologists who are seeking answers to the most fundamental questions of biology. Why? Despite its microscopic size, the E. coli bacteria contains over four thousand genes that operate a sophisticated network of millions of molecules. Currently we only...
Topics: Microsoft Research, Microsoft Research Video Archive, Kim Ricketts and Kirsten Wiley, Carl Zimmer
Microsoft Research Video
movies
eye 82
favorite 0
comment 0
There is a trend to advance the functionality of search engines to a moreexpressive semantic level. This is enabled by employing large-scale information extractionof entities and relationships from semistructured as well as natural-language Web sources.In addition, harnessing Semantic-Web-style ontologies and reaching into Deep-Web sourcescan contribute towards a grand vision of turning the Web into a comprehensive knowledgebase that can be efficiently searched with high precision. This talk...
Topics: Microsoft Research, Microsoft Research Video Archive, David Lomet, Gerhard Weikum
In this talk, I will present techniques for organizing two types of photo collections downloaded from Flickr.com: (1) famous landmark sites such as the Statue of Liberty and (2) general visual concepts such as “love” and “beauty.” In the first part of the talk, I will present a system that integrates 2D appearance and 3D geometric constraints to efficiently build 3D models of landmarks, extract scene summaries, and recognize the landmark in new test images. The system starts by...
Topics: Microsoft Research, Microsoft Research Video Archive, Rick Szeliski, Svetlana Lazebnik
The acoustic interface for future multimedia and communication terminals should be hands-free and as natural as possible, which implies that the user should be free to move and and should not need to wear any devices. For digital signal processing this poses major challenges both for signal acquisition and reproduction, which reach far beyond the current state of the technology. For ideal acquisition of an acoustic source signal in noisy and reverberant environments, we need to compensate...
Topics: Microsoft Research, Microsoft Research Video Archive, Ivan Tashev, Walter Kellermann
Microsoft Research Video
movies
eye 81
favorite 0
comment 0
A surprising amount of human behavior can be reliably predicted from unconscious communication mechanisms. These unconscious social signals are not just a back channel or a complement to our conscious language; they form a separate communication network. Biologically based “honest signaling” is an ancient channel of communication, and if we understand it, we can accurately predict the outcomes of situations ranging from job interviews to first dates to sealing a deal. To this end we have...
Topics: Microsoft Research, Microsoft Research Video Archive, Kim Ricketts and Kirsten Wiley, Alex (Sandy)...
Microsoft Research Video
movies
eye 81
favorite 0
comment 0
The Time-Triggered Architecture (TTA) provides a computing infrastructure for the design and implementation of dependable distributed embedded systems. A large real-time application is decomposed into nearly autonomous clusters and nodes, and a fault-tolerant global time base of known precision is generated at every node. In the TTA, this global time is used to precisely specify the interfaces among the nodes, to simplify the communication and agreement protocols, to perform prompt error...
Topics: Microsoft Research, Microsoft Research Video Archive, Alessandro Forin, Hermann Kopetz
Indoor and outdoor urban environments possess many regularities which can be efficiently exploited and used for general image parsing tasks, matching, or 3D dense reconstruction from multiple widely separated views. These environments exhibit often shadows, lack textured areas, or contain repetitive textures which multiply the ambiguities in standard computer vision pipelines. During my talk I will consider those specific environments and show the way we tackle the aforementioned...
Topics: Microsoft Research, Microsoft Research Video Archive, David Nister, Branislav Micusik
Microsoft Research Video
movies
eye 78
favorite 0
comment 0
In a proof-of-retrievability system, a data storage center must prove to a verifier that he is actually storing all of a client's data. The central challenge is to build systems that are both efficient and provably secure – that is, it should be possible to extract the client's data from any prover that passes a verification check. We present the first proof-of-retrievability schemes with full proofs of security against arbitrary adversaries in the strongest model, that of Juels and Kaliski....
Topics: Microsoft Research, Microsoft Research Video Archive, Melissa Chase, Hovav Shacham
Before the mid-seventeenth century, scholars generally agreed that it was impossible to predict something by calculating mathematical outcomes. One simply could not put a numerical value on the likelihood that a particular event would occur. Even the outcome of something as simple as a dice roll or the likelihood of showers instead of sunshine was thought to lie in the realm of pure, unknowable chance. The issue remained intractable until Blaise Pascal wrote to Pierre de Fermat in 1654,...
Topics: Microsoft Research, Microsoft Research Video Archive, Kirsten Wiley, Keith Devlin
Array of microphone structures are capable of processing acoustic signals to extract useful spatial information of three-dimensional surroundings, and are important in a plethora of applications such as beamforming, direction of arrival estimation, and spatial sound field recording. This talk first shows why the spherical harmonic analysis is the ideal tool to use in these applications. Then we review the theory of spherical microphone arrays. The spherical array of microphones is suited in...
Topics: Microsoft Research, Microsoft Research Video Archive, Ivan Tashev, Thushara Abhayapala, Aastha Gupta
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? How can people in any role, from development to management to design, benefit from their playbook?This fun, fast-paced, and interactive talk, loosely based on the bestseller Making Things Happen (formerly known as The Art of Project Management), explains how to make good things happen, and how to triumph...
Topics: Microsoft Research, Microsoft Research Video Archive, EETALK, Scott Berkun
In my work over the past five years I have generalised the Simultaneous Localisation and Mapping (SLAM) methodology of sequential probabilistic mapping, developed to enable mobile robots to navigate in unknown environments, to demonstrate real-time 3D motion estimation and visual scene mapping with an agile single camera. Via my MonoSLAM algorithm, a webcam attached to a laptop becomes a low cost but high-performance position and mapping sensor, which can be used by advanced mobile robots or...
Topics: Microsoft Research, Microsoft Research Video Archive, David Nister, Andrew Davison
G4 Video Grabs
movies
eye 77
favorite 0
comment 0
Donna gets the scoop on 'F.E.A.R. 2: Project Origin' from the Associate Producer Eric Studer.
Topics: G4TV.com videos, G4TV.com unpublic video ids, flvhd
Microsoft Research Video
movies
eye 75
favorite 0
comment 0
Joint work with Tamara Rezk and Gurvan le Guernic (MSR-INRIA Joint Centre http://msr-inria.inria.fr/projects/sec) We relate two notions of security: one simple and abstract, based on information flows in programs, the other more concrete, based on cryptography. In language-based security, confidentiality and integrity policies specify the permitted flows of information between parts of a system with different levels of trust. These policies enable a simple treatment of security, but their...
Topics: Microsoft Research, Microsoft Research Video Archive, Kristin Lauter, Cedric Fournet
Microsoft Research Video
movies
eye 74
favorite 0
comment 0
In recent years there has been considerable interest in analyzing random graph models for the Web. We consider two such models - the Random Surfer model introduced by Blum et al. and the PageRank-based selection model proposed by Pandurangan et al.. It has been observed that search engines influence the growth of the Web. The PageRank-based selection model tries to capture the effect that these search engines have on the growth of the Web by adding new links according to Pagerank. The PageRank...
Topics: Microsoft Research, Microsoft Research Video Archive, Abraham Flaxman, Pall Melsted
We will survey recent work in the design of approximation algorithms for several discrete stochastic optimization problems, with a particular focus on 2-stage problems with recourse. In each of the problems we discuss, we are given a probability distribution over inputs, and the aim is to find a feasible solution that minimizes the expected cost of the solution found (with respect to the input distribution); an approximation algorithm finds a solution that is guaranteed to be nearly optimal....
Topics: Microsoft Research, Microsoft Research Video Archive, Jennifer Chayes, David Shmoys
This talk will present two advances made recently in my group. First, I will introduce a new network reachability problem where the goal is to find the most reliable path between two nodes in a network, represented as a directed acyclic graph. Individual edges within this network may fail according to certain probabilities, and these failure probabilities may depend on the values of one or more hidden variables. I will explain why this problem is harder than similar problems encountered in...
Topics: Microsoft Research, Microsoft Research Video Archive, Eric Horvitz, Eyal Amir
Microsoft Research Video
movies
eye 70
favorite 0
comment 0
'Meet George Jetson…' Remember the orange-haired techno-savvy character we grew up watching at the breakfast table? Although we aren't quite driving to work in flying cars or demanding chores from robot maids, with today's technology our lifestyle is not too far from the Jetsons. Perhaps the Jetson-era never had high levels of sedentarism or an obesity epidemic. But if they did, how would they face it? In this seminar Biray will discuss how social software (Twitter, Facebook, exergames,...
Topics: Microsoft Research, Microsoft Research Video Archive, John Nordlinger, Biray Alsac
Microsoft Research Video
movies
eye 69
favorite 0
comment 0
In the first part of my talk, I shall present a platform-based compilation and synthesis system, named xPilot, developed at UCLA. The xPilot provides advanced behavioral synthesis capability for compiling C, C++ , or SystemC applications to high quality RTL code optimized for FPGA platforms for logic, interconnects, and memory optimization with flexibile performance and area trade-off. It includes a number of algorithmic innovations, such as scheduling based on the system of difference...
Topics: Microsoft Research, Microsoft Research Video Archive, Darko Kirovski, Jason Cong
Classical newforms are cusp forms on congruence subgroups of SL(2,Z) that are eigenvectors for the Hecke operators. These modular forms give rise to two-dimensional representations of the absolute Galois group of the rational field. Conversely, if one starts with a semisimple two-dimensional representation of this Galois group over a finite field, the representation should arise from a newform if a mild necessary condition (involving complexconjugation) is satisfied. When the representation is...
Topics: Microsoft Research, Microsoft Research Video Archive, Kristin Lauter, Kenneth A. Ribet
The subprime mortgage crisis has already wreaked havoc on the lives of millions of people and now it threatens to derail the U.S. economy and economies around the world. Much of this crisis comes from the “irrational exuberance” that drove the economy’s two most recent bubbles-in stocks in the 1990’s and in housing between 2000 and 2007. These bubbles led to the dangerous overextension of credit and a global credit crunch and to restore confidence in the market short-term bailouts are...
Topics: Microsoft Research, Microsoft Research Video Archive, Ben Kunz and Kirsten Wiley, Robert J. Shiller
The recent successes of server-side applications (e.g. Google and Facebook applications) hint that tomorrow's computing platform might not be the local desktop but rather the extensible remote Web site. Unfortunately, these new server-side platforms, built on conventional operating systems, are committing the same security mistakes already ossified in today's insecure desktops. In this talk, I will discuss how to secure both today's Web sites and tomorrow's Web computing platforms with a new OS...
Topics: Microsoft Research, Microsoft Research Video Archive, Helen Wang, Maxwell Krohn
Microsoft Research Video
movies
eye 63
favorite 0
comment 0
In this talk I will discuss a potential path towards building a massively connected machine with the processing power and connectivity similar to that of the human brain in one cubic meter. The construction method uses stochastic aggregation of modules to form a coherent highly-interconnected computer. We hope that the resulting system will provide a platform for performing brain related simulation and understanding algorithms and programming methods for massively connected computers. The most...
Topics: Microsoft Research, Microsoft Research Video Archive, Stewart Tansley, Seth Copen Goldstein
This is an extended version of the video showcase published in CHI 2009. This demo was completed in October, 2008. CHI 2009 Showcase Information: Title: Digital Heritage Authors: Archana Prasad, Aditya Sankar, Joseph Joy, Naren Datha, Ajay Manchepalli Abstract: The India Digital Heritage Project is a collaborative initiative between the industry and academia, with the aim of using novel techniques to efficiently capture and present various aspects of India's diverse heritage, while at the same...
Topics: Microsoft Research, Microsoft Research Video Archive
G4 Video Grabs
by G4TV.com
movies
eye 63
favorite 0
comment 0
Topics: G4TV.com videos, G4TV.com unpublic video ids, flvhd
Microsoft Research Video
movies
eye 62
favorite 0
comment 0
Randomness, change, and probability reveal a tremendous amount about our daily lives, and how we misunderstand the significance of everything from a casual conversation to a major financial setback. As a result, successes and failures in life are often attributed to clear and obvious cases, when in actuality they are more profoundly influenced by chance. Physicist Mlodinow will guide us through the mathematical laws of randomness and how they affect our daily lives. ©2008 Microsoft...
Topics: Microsoft Research, Microsoft Research Video Archive, Kim Ricketts and Kirsten Wiley, Leonard...
Microsoft Research Video
movies
eye 61
favorite 0
comment 0
I will speak about my past and current research in automatic 3D reconstruction from images. While the two-view camera calibration is a well studied problem, the multiview camera calibration remains a challenging task. It is also the most crucial step in the scene reconstruction as the quality of the resulting dense 3D model is fundamentally limited by precision of the multiview camera calibration. My PhD thesis studies mainly the problem of multiview camera calibration. The largest difficulty...
Topics: Microsoft Research, Microsoft Research Video Archive, Rick Szeliski, Daniel Martinec
Energy consumption is a fundamental barrier in taking full advantage of integration capability of today and future semiconductor manufacturing technology. With technology scaling to nanometer dimensions, leakage (static) power is gaining a bigger share in total power consumption, and furthermore, variation is increasing in transistor parameters (such as gate length, width, and threshold voltage, V th ) such that leakage as well as delay varies even among SRAM cells located within the same die....
Topics: Microsoft Research, Microsoft Research Video Archive, Engin Ipek, Maziar Goudarzi
Microsoft Research Video
movies
eye 61
favorite 0
comment 0
There is a growing need for ad-hoc analysis of extremely large data sets, especially at internet companies which routinely process petabytes. Parallel database products, e.g., Teradata, offer a solution, but are usually prohibitively expensive at this scale. Besides, many of the people who analyze this data are entrenched procedural programmers, who find the declarative, SQL style to be unnatural. The success of the more procedural map-reduce programming model, and its associated scalable...
Topics: Microsoft Research, Microsoft Research Video Archive, Emre Kiciman, Christopher Olston
Modern phones are being equipped with numerous sensors such as cameras, microphones, GPS, accelerometers, and health monitors. This project aims to design a 'Virtual Information Telescope', where the 'lenses' of the telescope are metaphors for the sensors in people's mobile phones. Using such a telescope, an Internet user will be able to zoom into any part of the human-populated world, and observe events of interest. Users will be able to direct queries to phones located in a given region, and...
Topics: Microsoft Research, Microsoft Research Video Archive, Ranveer Chandra, Romit Roy Choudhury
Bill Gates Congratulates Microsoft Research Asia on Turning 10 ©2011 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Video Archive
Microsoft Research Video
movies
eye 60
favorite 0
comment 0
In view of the recent hardness results for mixed Nash equilibria, there has been increased interest in computing approximate equilibrium points, albeit progress has been slow. We will overview the hardness results and present recent developments on the subject, in particular, algorithms which achieve constant factor approximations for 2-player games, and a quasi-polynomial time approximation scheme for the multi-player setting. Next, we will consider a very natural and important class of games,...
Topics: Microsoft Research, Microsoft Research Video Archive, Jennifer Chayes, Constantinos Daskalakis
G4 Video Grabs
movies
eye 59
favorite 0
comment 0
Victor Lucas and the EP crew bring you Previews of Call of Duty: World at War, Wrath of the Lich King, Mirror's Edge, WWE Smackdown Vs. Raw 2009, and more.
Topics: G4TV.com videos, G4TV.com unpublic video ids, flvhd
Program analysis and verification require decision procedures for satisfiability modulo theories(SMT),that decides the satisfiability, or, dually, the validity, of formulae in decidable fragments of specific theories or combinations thereof. Examples include the quantifier-free fragments of theories of data structures such as lists, arrays and records. The challenge is to have decision procedures that are simultaneously sound, complete, expressive and efficient, to handle problems of practical...
Topics: Microsoft Research, Microsoft Research Video Archive, Leonardo de Moura, Maria Paola Bonacina
The standard approach to generating test suites, manual generation of the test inputs in the suite, is tedious and error-prone, especially for code that takes complex test inputs. This talk presents our approach that automates generation of test suites using test abstractions. Conceptually, test abstractions provide a high-level description of desired test suites; developers do not need to manually write large suites of individual tests but instead write test abstractions from which tools...
Topics: Microsoft Research, Microsoft Research Video Archive, Nikolai Tillmann, Darko Marinov
Microsoft Research Video
movies
eye 56
favorite 0
comment 0
In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to tame, or control, the complexity of concurrent interactions, but neither is the ultimate approach. Rely guarantee copes naturally with interference, but its specifications are complex because they describe the entire state. Conversely separation logic has difficulty dealing with interference, but its specifications are simpler...
Topics: Microsoft Research, Microsoft Research Video Archive, Wolfram Schulte, Matthew Parkinson
We describe an approach to testing complex safety critical software that combines unit-level symbolic execution and system-level concrete execution for generating test cases that satisfy user-specified testing criteria. We have developed Symbolic (Java) PathFinder – a symbolic execution framework that implements a non-standard bytecode interpreter on top of the Java PathFinder model checking tool. The framework propagates the symbolic information via attributes associated with the program...
Topics: Microsoft Research, Microsoft Research Video Archive, Nikolai Tillmann, Corina Pasareanu
Microsoft Research Video
movies
eye 55
favorite 0
comment 0
Assume-guarantee reasoning is a “divide and conquer” approach to the verification of large systems that makes use of 'assumptions' about the environment of a system component. Coming up with appropriate assumptions used to be a difficult manual process. We will present recently developed techniques for performing assume-guarantee verification of software in a fully automated fashion. These techniques generate assumptions that model the operational context of a component when checking the...
Topics: Microsoft Research, Microsoft Research Video Archive, Nikolai Tillmann, Corina Pasareanu
Microsoft Research Video
movies
eye 53
favorite 0
comment 0
Optimization of communication networks has recently witnessed an impressive growth of research activities. In addition to viewing networks as objects to be optimized, some of these works also view networks as optimizers themselves. In addition to “Design by Optimization”, some recent results also demonstrate the principle of “Design for Optimizability”. Indeed, more than a tool to solve for optimal resource allocation, optimization theory provides to networking applications all of the...
Topics: Microsoft Research, Microsoft Research Video Archive, Phil Chou, Mung Chiang
G4 Video Grabs
movies
eye 53
favorite 0
comment 0
SOE gives you a double take of this hardcore-casual in their MMORPG Free Realms for the PC and PS3.
Topics: G4TV.com videos, G4TV.com unpublic video ids, flvhd
Microsoft Research Video
by Microsoft Research
movies
eye 52
favorite 0
comment 0
Unexpectedly, JavaScript has become one of the world's most popular programming language while still remaining one of the world's most misunderstood. What does the future hold for this much maligned and deeply flawed language? What can it teach us about the process of standards evolution? Can JavaScript ever become respected? Will JavaScript ultimately save the world? ©2008 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Video Archive, Wolfram Schulte, Douglas Crockford
Microsoft Research Video
movies
eye 52
favorite 0
comment 0
One of the biggest challenges facing us today is how to design parallel architectures that efficiently support a highly-programmable environment. In this talk, I will present the Bulk Multicore Architecture, a new architecture that is highly programmable, while delivering high performance and keeping the hardware simple. The Bulk Multicore is based on the idea of eliminating the commit of individual instructions. It supports sequential consistency and offers advantages for new software...
Topics: Microsoft Research, Microsoft Research Video Archive, Doug Burger, Josep Torrellas
Microsoft Research Video
by Microsoft Research
movies
eye 52
favorite 0
comment 0
Announcing the fifteenth Symposium in Computational Linguistics sponsored by the UW Departments of Linguistics, Electrical Engineering, and Computer Science, Microsoft Research, and UW alumni at Microsoft. Come take advantage of this opportunity to connect with the computational linguistics community at Microsoft and the University of Washington. This is a regular opportunity for computational linguists at the University of Washington and at Microsoft to discuss topics in the field and to...
Topics: Microsoft Research, Microsoft Research Video Archive, Will Lewis and Michael Gamon, Danyel Fisher,...
Microsoft Research Video
movies
eye 51
favorite 0
comment 0
Bond percolation on a graph G with parameter p in [0,1] is the random subgraph G p of G obtained by independently deleting each edge with probability 1-p and retaining it with probability p. For many graphs, the size of the largest component of G p exhibits a phase transition: it changes sharply from logarithmic to linear as p increases. When G is the complete graph, this model is known as the Erdos-Renyi random graph: at the phase transition, i.e. p=1/n, the largest component satisfies a...
Topics: Microsoft Research, Microsoft Research Video Archive, Jennifer Chayes, Asaf Nachmias
We discuss several fascinating concepts and algorithms in graph theory that arose in the design of a nearly-linear time algorithm for solving diagonally-dominant linear systems. We begin by defining a new notion of what it means to approximate a graph by another graph, and explain why these sparse approximations enable the fast solution of linear equations. To build these sparsifiers, we rely on low-stretch spanning trees, random matrix theory, spectral graph theory, and graph partitioning...
Topics: Microsoft Research, Microsoft Research Video Archive, Yuval Peres, Dan Alan Spielman
Microsoft Research Video
by Microsoft Research
movies
eye 51
favorite 0
comment 0
Sensors and imaging systems and networks are under increasing pressure to accommodate ever larger and higher-dimensional data sets; ever faster capture, sampling, and processing rates; ever lower power consumption; communication over ever more difficult channels; and radically new sensing modalities. The foundation of today's digital data acquisition systems is the Shannon/Nyquist sampling theorem, which asserts that to avoid losing information when digitizing a signal or image, one must sample...
Topics: Microsoft Research, Microsoft Research Video Archive, Feng Zhao and Rico Malvar, Richard G. Baraniuk
An important class of applications is data-driven web applications, i.e., web applications that run on top of a back-end database system. Examples of such applications include online shopping sites, online auctions, and business-to-business portals. Data-driven web applications can conceptually be divided into four layers: (1) Database, which stores the persistent data, (2) Application logic, which contains the business logic for performing user actions, (3) Web site structures, which group the...
Topics: Microsoft Research, Microsoft Research Video Archive, Trishul Chilimbi, Fan Yang
Microsoft Research Video
movies
eye 50
favorite 0
comment 0
In the Photo Tourism project, we demonstrated the potential for leveraging large, unstructured Internet photo collections to produce compelling 3D visualizations of real-world scenes, through acombination of new computer vision and 3D interaction techniques. More recently, we have extended these techniques in several directions. In this talk, I will describe a new 3D photo browser which addresses some of the challenges in providing effective navigation controls for 3D scenes represented as a...
Topics: Microsoft Research, Microsoft Research Video Archive, Rick Szeliski, Noah Snavely
Microsoft Research Video
movies
eye 50
favorite 0
comment 0
A relatively new technique for finding errors in concurrent programs proceeds by identifying *generic* properties that capture correct concurrent interaction patterns, and by identifying errors by observing deviations from these specifications. One such generic specification is that of identifying blocks of code that one expects to be atomicity. We study the problem of monitoring concurrent program runs for atomicity (serializability) violations. Unearthing fundamental results behind scheduling...
Topics: Microsoft Research, Microsoft Research Video Archive, Shaz Qadeer, Madhusudan Parthasarathy