Doctoral Degrees Conferred Search Academic Year: 2002-2003 Name Thesis Advisor(s) Thesis Title Eli Underhill Brandt Roger Dannenberg Computer Music Programming with Temporal Type Constructors Shawn A. Butler Mary Shaw Security Attribute Evaluation Method Scott Davies Andrew Moore Fast Factorized Density Estimation and Compression with Bayesian Networks Alexander G. Gray Andrew Moore Bringing Tractability to Generalized N-Body Problems in Statistical and Scientific Computation Aaron Greenhouse William Scherlis, Thomas Gross A Programmer-Oriented Approach to Safe Concurrency Yih-Chun Hu David Johnson Enabling Secure High-Performance Wireless Ad Hoc Networking Shyjan Mahamud Martial Hebert, Reid Simmons Discriminative Distance Measures for Object Detection Dimitris Margaritis Sebastian Thrun Learning Bayesian Network Model Structure from Data Michael Mateas Jaime Carbonell, Joseph Bates Interactive Drama, Art and Artificial Intelligence Mark Moll Michael Erdmann Shape Reconstruction Using Active Tactile Sensors Dushyanth Narayanan M. Satyanarayanan Operating System Support for Mobile Interactive Applications J. Gregory Steffan Todd Mowry Hardware Support for Thread-Level Speculation James D Thomas Katia Sycara News and Trading Rules William T. B. Uther Manuela Veloso Tree Based Hierarchical Reinforcement Learning Academic Year: 2001-2002 Name Thesis Advisor(s) Thesis Title Sergey Berezin Edmund Clarke Model Checking and Theorem Proving: A Unified Framework Raluca Budiu John Anderson The Role of Background Knowledge in Sentence Processing Fay W. Chang Garth Gibson Using speculative execution to automatically hide I/O latency Perry Sze-Din Cheng Guy Blelloch, Robert Harper Scalable Real-time Parallel Garbage Collection for Symmetric Multiprocessors Frank Dellaert Charles Thorpe, Sebastian Thrun Monte Carlo EM for Data Association and its Applications in Computer Vision David A. Eckhardt Peter Steenkiste An Internet-style Approach to Managing Wireless Link Errors Jason Flinn M. Satyanarayanan Extending Mobile Computer Battery Life through Energy-Aware Adaptation Matthew Glickman Katia Sycara, Joseph Bates An Empirical Investigation of the Evolution of Parent-Offspring Transmission in Evolutionary Search John Langford Avrim Blum Quantitatively Tight Sample Complexity Bounds Wilfredo Marrero Edmund Clarke Brutus: A Model Checker for Security Protocols Robert C. Miller Brad Myers Lightweight Structure in Text John F. Pane Brad Myers A Programming System for Children that is Designed for Usability Adrian Perrig Doug Tygar Security Protocols for Broadcast Networks Jeffrey S. Pierce Randy Pausch Expanding the Interaction Lexicon for 3D Graphics Jeff Polakow Frank Pfenning, John Reynolds Ordered Linear Logic and Applications Jovan Popović Michael Erdmann, Steven Seitz Interactive Design of Rigid-Body Simulations for Computer Animation Douglas L. T. Rohde David Plaut A Connectionist Model of Sentence Comprehension and Production Bryan W. Singer Manuela Veloso Automating the Modeling and Optimization of the Performance of Signal Processing Algorithms Seán Slattery Tom Mitchell Hypertext Classification Belinda Thom Manuela Veloso BoB: An Improvisational Music Companion Academic Year: 2000-2001 Name Thesis Advisor(s) Thesis Title Andrej Bauer Dana Scott The Realizability Approach to Computable Analysis and Topology Adam Berger John Lafferty Statistical Machine Learning for Information Retrieval Mei C. Chuah James Morris, Stephen Roth AVID: Automatic Visualization Interface Designer Craig A. Damon Jeannette Wing Selective Enumeration F. Sebastian Grassia Andrew Witkin Believable Automatically Synthesized Motion by Knowledge-Enhanced Motion Transformation Neil T. Heffernan III John Anderson, Kenneth Koedinger Intelligent Tutoring Systems Have Forgotten the Tutor: Adding a Cognitive Model of Human Tutors Adam Kalai Avrim Blum Probabilistic and On-line Methods in Machine Learning Bruce Lowekamp Thomas Gross, David O'Hallaron Discovery and Application of Network Information David A. Maltz David Johnson On-Demand Routing in Multi-hop Wireless Mobile Ad Hoc Networks Kamal Paul Nigam Tom Mitchell Using Unlabeled Data to Improve Text Classification Robert T. Olszewski Roy Maxion, Daniel Siewiorek Generalized Feature Extraction for Structural Pattern Recognition in Time-Series Data Robert O'Callahan Daniel Jackson, Jeannette Wing Generalized Aliasing as a Basis for Program Analysis Tools Carsten Schüermann Frank Pfenning Automating the Meta Theory of Deductive Systems Christopher Allan Stone Robert Harper Singleton Kinds and Singleton Types Andrew J. Willmott Paul Heckbert Hierarchical Radiosity with Multiresolution Meshes Hao Chi Wong Jeannette Wing Protecting Individuals' Interests in Electronic Commerce Protocols Academic Year: 1999-2000 Name Thesis Advisor(s) Thesis Title Lars Birkedal Dana Scott Developing Theories of Types and Computability via Realizability Carl Burch Avrim Blum Machine learning in metrical task systems and other on-line problems Rob DeLine Mary Shaw Resolving Packaging Mismatch Peter August Dinda David O'Hallaron Resource Signal Prediction and Its Application To Real-time Scheduling Advisors Jüergen Dingel Stephen Brookes Systematic parallel programming Eugene Fink Herbert Simon, Jaime Carbonell Automatic Representation Changes in Problem Solving Howard Gobioff Garth Gibson, Doug Tygar Security for a High Performance Commodity Storage Subsystem Geoffrey Gordon Tom Mitchell Approximate Solutions to Markov Decision Processes Marius Minea Edmund Clarke Partial Order Reduction for Verification of Timed Systems Robert T. Monroe David Garlan Rapid Development of Custom Software Architecture Design Environments Thomas M. Stricker Thomas Gross Direct Deposit – When Message Passing meets Shared Memory Academic Year: 1998-1999 Name Thesis Advisor(s) Thesis Title Leemon C. Baird III Andrew Moore Reinforcement Learning Through Gradient Descent Claudson Ferriera Bornstein Bruce Maggs, Gary Miller Parallelizing and De-parallelizing Elimination Orders Justin Andrew Boyan Scott Fahlman, Andrew Moore Learning Evaluation Functions for Global Optimization Denis R. Dancanet Stephen Brookes Intensional Investigations Dayne Freitag Tom Mitchell Machine Learning for Information Extraction Michael Garland Paul Heckbert Quadric-Based Polygonal Surface Simplification Lorin V. Grubb Roger Dannenberg A Probabilistic Method for Tracking a Vocalist Darrell Kindred Jeannette Wing Theory Generation for Security Protocols Christian Lebiere Scott Fahlman The Dynamics of Cognition: An ACT-R Model of Cognitive Arithmetic Richard G. McDaniel Brad Myers, James Morris Building Whole Applications Using Only Programming-by-Demonstration Arup Mukherjee Daniel Siewiorek Supporting Online Services in Environments Constrained by Communication Girija Narlikar Guy Blelloch Space-efficient Scheduling for Parallel, Multithreaded Computations George Ciprian Necula Peter Lee Compiling with Proofs Ljubomir Perković Dana Scott, Bruce Reed Edge Coloring, Polyhedra and Probability Pagination First page « First Previous page ‹ Previous … Page 6 Page 7 Current page 8 Page 9 Page 10 … Next page Next › Last page Last » Academics Spring Courses Summer Courses Fall Courses Doctoral Breadth Courses Undergraduate Curriculum Requirements Schedule of Classes Undergraduate Catalog Bachelor's Programs Master's Programs Doctoral Programs Ph.D. in Computer Science Ph.D. in ACO Ph.D. in PAL CNBC Certificate Program Ph.D. Dual Degree Portugal Doctoral - How to Apply Core CSD Ph.D. Advisors Doctoral Degrees Conferred Other SCS Doctoral Programs Student Resources Thesis Repositories SCS Technical Reports Kilthub Proquest (requires CMU login)
