Technical Reports by Author
Theses by Author

CMU-CS-01-100
Specifying Interaction Surfaces Using Interaction Maps
Jeffrey S. Pierce, Randy Pausch
Abstract, .ps, .pdf

CMU-CS-01-101
Data Mining Meets Performance Evaluation: Fast Algorithms for Modeling Bursty Traffic
Mengzhi Wang, Tara Madhyastha, Ngai Hang Chan, Spiros Papadimitriou, Christos Faloutsos
Abstract, .ps, .ps,gz, .pdf

CMU-CS-01-102
Bounds for Averaging Classifiers
John Langford, Matthias Seeger
Abstract, .ps, .pdf

CMU-CS-01-103
A Feasibility Study of the HLA Bridge
Juergen Dingel, David Garlan, Craig A. Damon
Abstract, .ps, .pdf

CMU-CS-01-104
Support for Interactive Heavyweight Services
Julio Lopez, David O'Hallaron
Abstract, .ps, .pdf

CMU-CS-01-105
PASTENSE: A Fast Start-up Algorithm for Scalable Video Libraries
Stavros Harizopoulos Garth A. Gibson
Abstract, .ps, .pdf

CMU-CS-01-106
Unpublished

CMU-CS-01-107
Shape Reconstruction in a Planar Dynamic Environment
Mark Moll, Michael A. Erdmann
Abstract, .ps, .ps.gz, .pdf

CMU-CS-01-108
Generalized Feature Extraction for Structural Pattern Recognition in Time-Series Data
Robert T. Olszewski, PhD Thesis
Abstract, .ps, .pdf

CMU-CS-01-109
Duality and Auxiliary Functions for Bregman Distances
Stephen Della Pietra, Vincent Della Pietra, John Lafferty
Abstract, .ps, .pdf

CMU-CS-01-109R
Duality and Auxiliary Functions for Bregman Distances
Stephen Della Pietra, Vincent Della Pietra, John Lafferty
Abstract, .ps, .pdf

CMU-CS-01-110
Statistical Machine Learning for Information Retrieval
Adam Berger, PhD Thesis
Abstract, .ps, .pdf

CMU-CS-01-111
Analytical Design of Evolvable Software for High-Assurance Computing
Carol Hoover, PhD Thesis
Abstract, .ps, .pdf

CMU-CS-01-112
Toward a Practical Type Theory for Recursive Modules
Derek R. Dreyer, Robert Harper, Karl Crary
Abstract, .ps, .pdf

CMU-CS-01-113
An Expressive, Scalable Type Theory for Certified Code
Karl Crary, Joseph C. Vanderwaart
Abstract, .ps, .pdf

CMU-CS-01-114
What Makes a Good Molecular-Scale Computer Device?
Seth Copen Goldstein, Dan Rosewater
Abstract, .ps, .pdf

CMU-CS-01-115
Unpublished

CMU-CS-01-116
Unpublished

CMU-CS-01-117
Unpublished

CMU-CS-01-118
Unpublished

CMU-CS-01-119
Track-aligned Extents: Matching Access Patterns to Disk Drive Characteristics
Jiri Schindler, John Linwood Griffin, Christopher R. Lumb, Gregory R. Ganger
Abstract, .ps, .pdf

CMU-CS-01-120
Selecting the Right Data Distribution Scheme for a Survivable Storage System
Jay J. Wylie, Mehmet Bakkaloglu, Vijay Pandurangan,Michael W. Bigrigg, Semih Oguz, Ken Tew, Cory Williams, Gregory R. Ganger, Pradeep K. Khosla
Abstract, .ps, .pdf

CMU-CS-01-121
Enforcing Formal Security Properties
Andrew Bernard, Peter Lee
Abstract, .ps, .pdf

CMU-CS-01-122
Unpublished

CMU-CS-01-123
Authentication Confidences
Gregory R. Ganger
Abstract, .ps, .pdf

CMU-CS-01-124
Generalized Aliasing as a Basis for Program Analysis Tools
Robert O'Callahan, PhD Thesis
Abstract, .ps, .pdf

CMU-CS-01-125
eServices Capability Model (e^SCM) Annotated Bibliography
Bennet Kumar, Vivek Mahendra, Elaine Hyder, Elise Nawrocki, K. Madhu, Rajesh Gupta
Abstract, .ps, .pdf

CMU-CS-01-126
Kamal Paul Nigam, PhD Thesis
Using Unlabeled Data to Improve Text Classification
Abstract, .ps, .pdf

CMU-CS-01-127
Intelligent Tutoring Systems have Forgotten the Tutor: Adding a Cognitive Model of Human Tutors
Neil T. Heffernan, PhD Thesis
Abstract, .ps, .pdf

CMU-CS-01-128
Locality in Search Enginer Queries and Its Implications for Caching
Yinglian Xie, David O'Hallaron
Abstract, .ps, .pdf

CMU-CS-01-129
Fixpoint Semantics for a Fragment of First-Order Linear Logic
Marco Bozzano
Abstract, .ps, .pdf

CMU-CS-01-130
On-Demand Routing in Multi-hop Wireless Mobile Ad Hoc Networks
David A. Maltz, PhD Thesis
Abstract, .ps, .ps.gz, .pdf

CMU-CS-01-131
IETM Usability: Using Empirical Studies to Improve Performance Aiding
Jane Siegel, Elaine Hyder, Jack Moffett, Elise Nawrocki
Abstract, .ps (B&W), .ps (Color), .pdf (Color)

CMU-CS-01-132
Probabilistic and On-line Methods in Machine Learning
Adam Kalai, PhD Thesis
Abstract, .ps, .pdf

CMU-CS-01-133
NetCube: A Scalable Tool for Fast Data Mining and Compression
Dimitris Margaritis, Christos Faloutsos, Sebastian Thrun
Abstract, .ps, .pdf

CMU-CS-01-134
Scheduling Solutions for Coping with Transient Overload
Nikhil Bansal, Mor Harchol-Balter
Abstract, .ps, .pdf

CMU-CS-01-135
The Impact of False Sharing on Shared Congestion Management
Srinivasa Aditya Akella, Srinivasan Seshan, Hari Balakirshman
Abstract, .ps

CMU-CS-01-136
Unavailable to date

CMU-CS-01-137
Stochastic Search for Signal Processing Algorithm Optimization
Bryan Singer, Manuela Veloso
Abstract, .ps, .pdf

CMU-CS-01-138
BoB: An Improvisational Music Companion
Belinda Thom, PhD Thesis
Abstract, .ps, .pdf

CMU-CS-01-139
Text Detection and Translation from Natural Scenes
Jiang Gao, Jie Yang, Ying Zhang, and Alex Waibel
Abstract, .ps, .pdf

CMU-CS-01-140
Interactive Design of Rigid-Body Simulatons for Computer Animation
Jovan Popovic, PhD Thesis
Abstract, .ps, .pdf

CMU-CS-01-141
Automatic Generation of Staged Geometric Predicates
Aleksandar Nanevski, Guy Blelloch, Robert Harper
Abstract, .ps, .pdf

CMU-CS-01-142
Unpublished

CMU-CS-01-143
Tri-Plots: Scalable Tools for Multidimensional Data Mining
Agma Traina, Caetano Traina, Spiros Papadimitriou, Christos Faloutsos
Abstract, .ps, .pdf

CMU-CS-01-144
Boosting and Maximum Likelihood for Exponential Models
Guy Lebanon, John Lafferty
Abstract, .ps, .pdf

CMU-CS-01-145
Exploring Thread-Level Speculation in Software: The Effects of Memory Access Tracking Granularity
Spiros Papadimitrious, Todd C. Mowry
Abstract, .ps, .ps.gz, .pdf

CMU-CS-01-146
Timing-accurate Storage Emulation
John Linwood Griffin, Jiri Schindler, Steven W. Schlosser, Gregory R. Ganger
Abstract, .ps, .pdf

CMU-CS-01-147
Word Learning in Context: Metaphors and Neologisms
Raluca Budiu, John R. Anderson
Abstract, .ps, .pdf

CMU-CS-01-148
The Role of Background Knowledge in Sentence Processing
Raluca Budiu, PhD Thesis
Abstract, .ps, .pdf

CMU-CS-01-149
Freeblock Scheduling Outside of Disk Firmware
Christopher R. Lumb, Jiri Schindler, Gregory R. Ganger
Abstract, .ps, .pdf

CMU-CS-01-150
Unpublished

CMU-CS-01-151
Unpublished

CMU-CS-01-152
Ordered Linear Logic and Applications
Jeffrey Polakow, PhD Thesis
Abstract, .ps, .pdf

CMU-CS-01-153
Monte Carol EM for Data-Association and its Applications in Computer Vision
Frank Dellaert, PhD Thesis
Abstract, .ps, .ps.gz, .pdf

CMU-CS-01-154
A Simplified Account of the Metatheory of Linear LF
Joseph C. Vanderwaart, Karl Crary
Abstract, .ps, .pdf

CMU-CS-01-155
Verifiable Secret Redistribution
Theodore M. Wong, Jeannette M. Wing
Abstract, .ps, .pdf

CMU-CS-01-156
Automating the Modeling and Optimization of the Performance of Signal Processing Algorithms
Bryan W. Singer, PhD Thesis
Abstract, .ps, .pdf

CMU-CS-01-157
Anomaly Detection in Embedded Systems
Roy A. Maxion, Kymie M.C. Tan
Abstract, .ps, .pdf

CMU-CS-01-158
"Why 6?" Defining the Operational Limits of Stide, an Anomaly-Based Intrusion Detector
Kymie M.C. Tan, Roy A. Maxion
Abstract, .ps, .pdf

CMU-CS-01-159
Towards Robust Teams with Many Agents
Gal A. Kaminka, Michael Bowling
Abstract, .ps, .pdf

CMU-CS-01-160
Expanding the Interaction Lexicon for 3D Graphics
Jeffrey S. Pierce, PhD Thesis
Abstract, .ps, .pdf

CMU-CS-01-161
Adaptive Functional Programming
Umut A. Acar, Guy E. Blelloch, Robert Harper
Abstract, .ps, .pdf

CMU-CS-01-162
An Overview of the Capability Model for IT-enabled Outsourcing Service Providers
Elaine B. Hyder, Bennet Kumar, Vivek Mahendra, Jane Siegel, Rajesh Gupta, Habeen Mahaboob, Palanivelrajan Subramanian
Abstract, .ps, .pdf

CMU-CS-01-163
The Capability Model for IT-enabled Outsourcing Service Providers
Elaine B. Hyder, Bennet Kumar, Vivek Mahendra, Jane Siegel, Rajesh Gupta, Habeeb Mahaboob, Palanivelrajan Subramanian
Abstract, .ps, .pdf

CMU-CS-01-164
Selected Papers from the Proceedings of the
Fourth Student Symposium on Computer Systems (SOCS-4)
Theodore Wong, Editor
Abstract, .ps, .pdf

CMU-CS-01-165
Selecting Heterogeneous Team Players by Case-Based Reasoning: A Case Study in Robotic Soccer Simulation
Thomas Gabel, Manuela Veloso
Abstract, .ps, .pdf

CMU-CS-01-166
Blurring the Line Between OSes and Storage Devices
Gregory R. Ganger
Abstract, .ps, .pdf

CMU-CS-01-167
Non-Clairvoyant Scheduling for Mean Slowdown
Nikhil Bansal, Kedar Dhamdhere, Jochen Konemann, Amitabh Sinha
Abstract, .ps, .pdf

CMU-CS-01-168
A Subspace Approach to Layer Extraction and Its Application to Patch-Based Structure from Motion and Video Compression
Qifa Ke, Takeo Kanade
Available as of 8/2003
Abstract, .ps, .pdf

CMU-CS-01-169
Unpublished

CMU-CS-01-170
BRUTUS: A Model Checker for Security Protocols
Wilfredo Marrero, PhD Thesis
Abstract, .ps, .pdf

CMU-CS-01-171
Extending Mobile Computer Battery Life through Energy-Aware Adaptation
Jason Flinn, PhD Thesis
Abstract, .ps, .pdf

CMU-CS-01-172
Using Speculative Execution to Automatically Hide I/O Latency
Fay W. Chang, PhD Thesis
Abstract, .ps, .pdf

CMU-CS-01-173
Unavailable to Date

CMU-CS-01-174
Scalable Real-time Parallel Garbage Collection for Symmetric Multiprocessors
Perry Sze-Din Cheng, PhD Thesis
Abstract, .pdf

Return to: SCS Technical Report Collection
School of Computer Science homepage