Videos tagged with Computer Science

A more formal approach to Relational Database Management Systems, compared the way they were covered during Web Applications. Database systems are discussed from the physical layer of B-trees and file servers to the abstract layer of relational design. Also includes alternative and generic approaches to database design and database management system including relational, object-relational, and ...

Google Tech Talks May 1, 2007 ABSTRACT Images and videos form a rich source of information about the visual world. The extraction of 3D information from images is an important research problem in computer vision and graphics. The ubiquitous presence of cameras and the tremendous advances of processing and communication technologies yields important opportunities and challenges in those areas. M...

A Complete Beginner's Introduction to the Mathematics of Computing Most hackers have heard of Turing Machine, the Halting Problem and the Godel's Incompleteness Theorem. Most hackers firmly believe the the following facts: Turing was cool. Godel was even cooler. Neither Turing nor Godel are relevant to the Linux Kernel. In the space of 45 minutes, I will endevour to confirm the first two belief...

Google TechTalks June 14, 2006 David Ross ABSTRACT We propose a new model for the probabilistic estimation of continuous state variables from a sequence of observations, such as tracking the position of an object in video. This mapping is modeled as a product of dynamics features and observation features. Individual features are flexible in that they can switch on or off at each time-step depen...

Google Tech Talks April 25, 2007 ABSTRACT Chip-level multiprocessing has recently emerged as one of the most effective solutions to the problem of increasing processor performance. As a result, issues related to construction of scalable and reliable concurrent applications have become increasingly important. In particular, providing effective means for controlling concurrent accesses to shared ...

Google Tech Talks April 12, 2007 ABSTRACT Sequential data --- speech, text, genomic sequences --- floods our storage servers. Much useful information in these data is carried by implicit structure: phonemes and prosody in speech, syntactic structure in text, genes and regulatory elements in genomic sequences. Over the last six years, several of us have been investigating structured linear model...

Google Tech Talks April 19, 2007 ABSTRACT Keyboards are inefficient for two reasons: they do not exploit the redundancy in normal language; and they waste the fine analogue capabilities of the user's motor system (fingers and eyes, for example). I describe a system intended to rectify both these inefficiencies. Dasher is a text-entry system in which a language model plays an integral role, ...

Google Tech Talks April 18, 2007 ABSTRACT Advanced Topics in Programming Languages Series: Parametric Polymorphism and the Girard-Reynolds Isomorphism. This talk is based on a series of papers by Philip Wadler, a principal designer of the Haskell programming language. Featured are a number of double-barreled names in computer science: Hindley-Milner (Strong typing without having to type the typ...

Everybody software developer makes mistakes. Most of the time they can be fixed.But as you gain more experience and your projects get larger and larger you enter the dangerous and exotic world of large-scale software design, with mistakes so seductive you won’t notice until years after you make them, and so dangerous you can’t risk fixing them even once you know about them.Based on knowledge fr...

Google Tech Talks April 10, 2007 ABSTRACT Support Vector Machines (SVMs) have become one of the most popular tools for discriminative classification of static data. However, research in SVM classification of dynamic (continuous) data has gained in interest only recently. In this presentation, I first give an overview of existing sequence kernels for classification of sets of vectors. I then pre...