Technical Reports by Author
Theses by Author

CMU-CS-99-100
Simple, Efficient Object Encoding using Intersection
Abstract, .ps, .pdf

CMU-CS-99-101
Symbolic Model Checking without BDDs
Abstract, .ps, .pdf

CMU-CS-99-102
Comparing Methods for Multivariate Nonparametric Regression
Abstract, .ps, .pdf

CMU-CS-99-103
Program Slicing of Hardware Description Languages
Abstract, .ps, .pdf

CMU-CS-99-104
Machine Learning for Information Extraction in Informal Domains
Abstract, .ps, .pdf

CMU-CS-99-105
Quadric-Based Polygonal Surface Simplification
Abstract, .ps, .pdf

CMU-CS-99-106
Motion Transformation by Physically Based Spacetime Optimization
Abstract, .ps, .pdf

CMU-CS-99-107
A Real-Time Push-Pull Communications Model for Distributed Real-Time and Multimedia Systems
Abstract, .ps, .pdf

CMU-CS-99-108
A Guassian Prior for Smoothing Maximum Entropy
Abstract, .ps, .pdf

CMU-CS-99-109
Unavailable to date

CMU-CS-99-110
Distance Exponent: A New Concept for Selectivity Estimation in Metric Trees
Abstract, Unavailable Electronically

CMU-CS-99-111
Scalable Concurrency Control and Recovery for Shared Storage Arrays
Abstract, .ps, .pdf

CMU-CS-99-112
Unavailable to date

CMU-CS-99-113
Density Biased Sampling: An Improved Method for Data Mining and Clustering
Abstract, .ps, .pdf

CMU-CS-99-114
Iterative Macro-Operators Revisited: Applying Program Synthesis to Learning in Planning
Abstract, .ps, .pdf

CMU-CS-99-115
Processor Verification Using Efficient Reductions of the Logic of Uninterpreted Functions to Propositional Logic
Abstract, .ps, .pdf

CMU-CS-99-116
Experiences Designing and Building a Multi-Hop Wireless Ad Hoc Network Testbed
Abstract, .ps, .pdf

CMU-CS-99-117
Neural Network-Based Face Detection
Abstract, .ps, .ps.gz

CMU-CS-99-118
Optimizing Symbolic Model Checking for Constraint-Rich Models
Abstract, .ps, .pdf

CMU-CS-99-119
Space-efficient Scheduling for Parallel, Multithreaded Computations
Abstract, .ps, .pdf

CMU-CS-99-120
A Monte Carlo Algorithm for Multi-Robot Localization
Abstract, .ps, .pdf

CMU-CS-99-121
Scheduling Threads for Low Space Requirements and Good Locality
Abstract, .ps, .pdf

CMU-CS-99-122
Learning State Features from Policies to Bias Exploration in Reinforcement Learning
Abstract, .ps, .pdf

CMU-CS-99-123
The Simple Language Generator: Encoding Complex Languages with Simple Grammars
Abstract, .ps, .pdf

CMU-CS-99-124
Unavailable to date

CMU-CS-99-125
Unavailable to date

CMU-CS-99-126
Formalizing a Specification for Analysis: The HLA Ownership Properties
Abstract, .ps, .pdf

CMU-CS-99-127
Appearance-Based Virtual View Generation of Temporally-Varying Events from Multi-Camera Images in the 3D Room
Abstract, .ps, .pdf

CMU-CS-99-128
Building Whole Applications Using Only Programming-by-Demonstration
Abstract, .ps, .pdf

CMU-CS-99-129
Optimizing Model Checking Based on BDD Characterization
Abstract, .ps, .pdf

CMU-CS-99-130
Theory Generation for Security Protocols
Abstract, .ps, .pdf

CMU-CS-99-131
Mapping Eye Movements to Cognitive Processes
Abstract, .ps, .ps.gz, .pdf

CMU-CS-99-132
Reinforcement Learning Through Gradient Descent
Abstract, .ps, .pdf

CMU-CS-99-133
Providing Guaranteed Services Without Per Flow Management
Abstract, .ps, .pdf

CMU-CS-99-134
Bayesian Network Induction via Local Neighborhoods
Abstract, .ps, .pdf

CMU-CS-99-135
The Design of Program Analysis Services
Abstract, .ps, .pdf

CMU-CS-99-136
Optimizing a Solver of Polymorphism Constraints: SEMI
Abstract, .ps, .pdf

CMU-CS-99-137
The Performance of FoxNet 2.0
Abstract, .ps, .pdf

CMU-CS-99-138
An Extensible Toolkit For Resource Prediction In Distributed Systems
Abstract, .ps, .pdf

CMU-CS-99-139
An Implementation Architecture to Support Single-Display Groupware
Abstract, .ps, .pdf

CMU-CS-99-140
Dynamic Function Placement in Active Storage Clusters
Abstract, .ps, .pdf

CMU-CS-99-141
BitValue Inference: Detecting and Exploting Narrow Bandwith Computation
Abstract, .pdf

CMU-CS-99-142
Respectful Type Converters For Mutable Types
Abstract, .ps, .pdf

CMU-CS-99-143
Approximate Solutions to Markov Decision Processes
Abstract, .ps, .pdf

CMU-CS-99-144
A Scalable Solution to the Multi-Resource QoS Problem
Abstract, .ps, .ps.gz, .pdf

CMU-CS-99-145
Symbolic Model Checking using SAT Procedures Instead of BDDs
Abstract, .ps, .pdf

CMU-CS-99-146
Verifying Safety Properties of a PowerPC^TM Microprocessor Using Symbolic Model Checking without BDDs
Abstract, .ps, .pdf

CMU-CS-99-147
Unavailable to date

CMU-CS-99-148
A Survey of Rollback-Recovery Protocols in Message-Passing Systems
Abstract, .ps, .pdf

CMU-CS-99-149
Unavailable to date

CMU-CS-99-150
Automatic Representation Changes in Problem Solving
Abstract, .ps, .pdf

CMU-CS-99-151
Data Mining on an OLTP System (Nearly) for Free
Abstract, .ps, .pdf

CMU-CS-99-152
Unavailable to date

CMU-CS-99-153
A Modal Analysis of Staged Computation
Abstract, .ps, .pdf

CMU-CS-99-154
Embedded Security for Network-Attached Storage
Abstract, .ps, .pdf

CMU-CS-99-155
Deciding Type Equivalence in a Lanugage with Singleton Kinds
Abstract, .ps, .pdf

CMU-CS-99-156
Behavioral Subtyping Using Invariants and Constraints
Abstract, .ps, .pdf

CMU-CS-99-157
Unavailable to date

CMU-CS-99-158
Unavailable to date

CMU-CS-99-159
On Equivalence and Canonical Forms in the LF Type Theory
Abstract, .ps, .ps.gz, .pdf

CMU-CS-99-160
Security for a High Performance Commodity Storage Subsystem
Abstract, .ps, .pdf

CMU-CS-99-161
Rapid Development of Custom Software Architecture Design Environments
Abstract, .pdf

CMU-CS-99-162
Task Assignment with Unknown Duration
Abstract, .ps, .pdf

CMU-CS-99-163
Unavailable to date

CMU-CS-99-164
LENS: The light, efficient network simulator
Abstract, .ps, .pdf

CMU-CS-99-165
On Quality of Service Management
Abstract, .ps, .pdf

CMU-CS-99-166
Coscheduling of Computation and Communication Resources in Push-Pull Communications to Provide End-to-End QoS Guarantees
Abstract, .ps, .pdf

CMU-CS-99-167
Unavailable to date

CMU-CS-99-168
Unavailable to date

CMU-CS-99-169
Supporting Best-Effort Traffic with Fair Service Curve
Abstract, .ps, .pdf

CMU-CS-99-170
Slim-trees: High Performance Metric Trees Minimizing Overlap Between Nodes
Abstract, .ps, .pdf

CMU-CS-99-171
Online Data Mining for Co-Evolving Time Sequences
Abstract, .ps, .pdf

CMU-CS-99-172
Systematic Parallel Programming
Abstract, .ps, .pdf

CMU-CS-99-173
Developing Theories of Types and Computability via Realizability
Abstract, .ps, .pdf, Files Temporarily Unavailable

CMU-CS-99-174
Filling the Memory Access Gap: A Case for On-Chip Magentic Storage
Abstract, .ps, .pdf

CMU-CS-99-175
Classifying Adversarial Behaviors in a Dynamic Inaccessbile Multi-Agent Environment
Abstract, .ps, .pdf

CMU-CS-99-176
Automated Disk Drive Characterization
Abstract, .ps, .pdf

CMU-CS-99-177
Active Disks - Remote Execution for Network-Attached Storage
Abstract, .ps, .ps.Z, .pdf

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