BU CS Department Seminar -- Talks from Academic Year 1999-2000

(reverse chronological)


July 19:
Visual Models of Interaction

David Hogg
School of Computer Studies
University of Leeds


April 28:
Towards Automated Verification of Safety Architectures

Carsten Schurmann
Carnegie-Mellon University


April 19:
Title TBA

George Kollios
Computer Science Department
Polytechnic University


April 12:
Type Theory and the TILT Compiler

Chris Stone
Carnegie-Mellon University


April 5:
Recognition, Resolution, and Complexity of Objects Subject to Affine Transformations

Margrit Betke
Boston College


March 29:
Adaptive Real-Time Management of Communication and Computation Resources

Richard West
Georgia Tech


Monday, March 27:
The Future of Internet Applications: Enabling Network-Adaptive Desig

Srini Seshan
IBM T. J. Watson


Friday, March 24:
Fair Congestion Control for Large-Scale Continuous-Media Internet Sessions

Dan Rubenstein
University of Massachusetts, Amherst


March 22:
Discovery and Application of Network Information

Bruce Lowekamp
School of Computer Science
Carnegie-Mellon University


Friday March 17:
Hot Pages: Software Caching for Raw Microprocessors

Csaba Andras Moritz
Laboratory for Computer Science
MIT


March 15:
Randomized Motion Planning: Algorithms and Applications

Nancy Amato
Texas A&M University


March 1:
Predicting Running Time Using Resoruce Signals

Peter Dinda
Carnegie-Mellon University


February 23:
Motion Pattern Analysis and Vision-Based Human Computer Interactions

Ming-Hsuan Yang
Computer Vision Lab
Beckman Institute
University of Illinois at Urbana-Champaign



February 16:
Algebraic Feedback Shift Registers and the Security of Stream Ciphers

Andrew Klapper
Dept. of Computer Science
University of Kentucky



December 15:
Cellular automata with non-Gibbs invariant measures

Andre Toom
Departamento de Estatistica
Universidade Federal de Pernambuco
Recife, Brazil


December 8:
TOP-C: Mature Parallel Computing

Gene Cooperman
Northeastern University


November 10:
Detection and Volumetric Assessment of Pulmonary Nodules on Repeat CT

Margrit Betke
Boston College and Harvard Medical School


Monday, November 8, 2PM:
Efficient Reconstruction of Sequences

Vladimir Levenchtein
Moscow


October 27:
Optimal Proof Systems and Sparse Sets

Lance Fortnow
NEC Research


October 13:
Faculty Research Overviews, Part II

Professors Azer Bestavros, Mark Crovella and Stan Sclaroff
Department of Computer Science
Boston University


October 6:
Building Virtual Worlds With Blocks and Clay

Paul Beardsley
MERL - A Mitsubishi Electric Research Laboratory


September 29:
New Faculty Research Overviews

John Byers, Gene Itkis and Ibrahim Matta
Boston University


Talks from academic year 1998-1999