Date |
Speaker |
Title |
Host |
2/3/05 |
Ramin Zabih
Cornell |
Graph Cut Algorithms for Computer Vision and Medical Imaging
|
|
Tuesday
2/8/05 |
Adam Siepel
UC Santa Cruz |
Comparative Mammalian Genomics: Models of Evolution and
Detection of Functional Elements |
Elber/Keich |
2/10/05 |
Michael
Macy
Cornell |
Group Dynamics in Silico: Complex Networks and the
Human Flock |
|
Tuesday
2/15/05 |
Saurabh
Sinha
The Rockefeller University |
Hidden Markov Models and Mutant Fruitflies: A Case Study in
Computational Biology |
Elber |
2/17/05 |
Brian
Bershad
University of Washington |
The Data Turbine |
Sirer |
Tuesday
3/1/05 |
Karen Sparck-Jones
Cambridge University |
Salton
Lecture Series
Natural Language Information Processing: Words and Tasks,
Statistics and Models |
Cardie |
Monday
3/7/05
5130 Upson |
Sumit Gulwani
UC Berkeley |
Program Analysis Using Random Interpretation |
Rugina
|
Tuesday
3/8/05 |
Shivnath Babu
Stanford University |
Adaptive Query Processing |
Shanmugasundaram |
3/10/05 |
Michael Brudno
UC Berkeley |
Alignment of Whole Genomes: Techniques and Algorithms
|
Elber |
Monday
3/14/05
5130 Upson |
Prasanna Ganesan
Stanford University |
Data Management in Peer-to-Peer Systems |
Gehrke |
Tuesday
3/15/05 |
Nick Feamster
MIT |
Robust Internet Routing |
Birman |
3/17/05 |
Lakshmi Subramanian
UC Berkeley |
Decentralized Security Mechanisms for Internet Routing
|
Francis |
Tuesday
3/22/05 |
Spring Break
|
3/24/05 |
Monday
3/28/05
5130 Upson |
Mikhail Alekhnovich
Institute for Advanced Study |
Hard Satisfiable Instances for DPLL Algorithms and Other Common
Models of Computation |
Kozen |
Tuesday
3/29/05 |
Aditya Akella
Carnegie Mellon University |
End Point-Based Routing Strategies for Improving Internet
Performance |
Francis |
3/31/05 |
Robert Kleinberg
MIT |
Adaptive Algorithms for Price-Setting and Overlay Routing
|
Tardos |
Monday
4/4/05
5130 Upson |
Shuchi Chawla
Carnegie Mellon University |
Algorithms for Path-Planning |
Tardos |
Tuesday
4/5/05 |
Yanlei Diao
UC Berkeley |
Query Processing for Large-Scale XML Message Brokering
|
Gehrke |
4/7/05 |
Raj Reddy
Carnegie Mellon University |
Salton
Lecture Series
The Million Book Digital Library Project |
Gries |
Tuesday
4/12/05 |
Rod
Brooks
MIT |
Salton
Lecture Series
Flesh and Machines: Robots and People |
Selman |
4/14/05 |
Sorin Lerner
University of Washington |
Automatically Checking the Correctness of Program Analyses and
Transformations |
Myers |
Tuesday
4/19/05 |
Muthian Sivathanu
University of Wisconsin Madison |
Semantically-Smart Disk Systems |
Sirer |
4/21/05 |
Manuela Veloso
Carnegie Mellon University |
Integrated Perception, Cognition, and Action in Teams of Robots
|
Gomes |
Tuesday 4/26/05
|
William R.
Pulleyblank
IBM |
BlueGene and Business Optimization |
Shmoys |
5/5/05 |
K. Mani Chandy
Caltech |
Sense and Respond Systems |
Manohar |