Technical Reports by Author
Theses by Author

CMU-CS-97-100
STRIPE: Remote Driving Using Limited Image Data
Abstract, Unavailable Electronically

CMU-CS-97-101
Statistical Selection Among Problem-Solving Methods
Abstract, .ps

CMU-CS-97-102
Unpublished

CMU-CS-97-103
Improving Demonstration Using Better Interaction Techniques
Abstract, .ps

CMU-CS-97-104
Simulating Soft Shadows with Graphics Hardware
Abstract, .ps, A.ps, .ps.gz

CMU-CS-97-105
A Compositional Proof System for the Modal mu-calculus and CCS
Abstract, .ps

CMU-CS-97-106
Level Spacings for SL(2,p)
Abstract, .ps

CMU-CS-97-107
Using Optimal Dependency-Trees for Combinatorial Optimization: Learning the Structure of the Search Space
Abstract, .ps

CMU-CS-97-108
Design and Implementation of Code Optimizations for a Type-Directed Compiler for Standard ML
Abstract, .ps

CMU-CS-97-109
Guiding Interactive Drama
Abstract, Unavailable Electronically

CMU-CS-97-110
Unpublished

CMU-CS-97-111
Video Skimming and Characterization through the Combination of Image and Language Understanding Techniques
Abstract, .ps, .ps.gz, A.ps, A.ps.gz

CMU-CS-97-112
Unpublished

CMU-CS-97-113
Semantics-Based Parallel Cost Models and Their Use in Provably Efficient Implementations
Abstract, .pdf

CMU-CS-97-114
The Prodigy User Interface
Abstract, .ps

CMU-CS-97-115
An Empirical Comparison of Radiosity Algorithms
Abstract, .ps, .ps.gz, Color.ps.gz

CMU-CS-97-116
Preliminary Results on the Analysis of HYDICE Data for Information Fusion in Cartographic Feature Extraction
Abstract, Unavailable Electronically

CMU-CS-97-117
Unpublished

CMU-CS-97-118
Filesystems for Network-Attached Secure Disks
Abstract, .ps, .pdf

CMU-CS-97-119
Using Speech and Natural Language Technology in Language Intervention
Abstract, .ps

CMU-CS-97-120
Breadth-First with Depth-First BDD Construction: A Hybrid Approach
Abstract, .ps

CMU-CS-97-121
Subtyping for Distributed Object Stores (Extended Abstract)
Abstract, .ps

CMU-CS-97-122
Translucent Sums: A Foundation for Higher-Order Module Systems
Abstract, .ps, .ps.gz, .pdf

CMU-CS-97-123
Believable Agents: Building Interactive Personalities
Abstract, .ps

CMU-CS-97-124
The Essence of Parallel Algol
Abstract, .ps

CMU-CS-97-125
A Linear Spine Calculus
Abstract, .ps

CMU-CS-97-126
Idealized CSP: Combining Procedures with Communicating Processes
Abstract, Unavailable Electronically

CMU-CS-97-127
An Evaluation of Statistical Approaches to Text Categorization
Abstract, .ps

CMU-CS-97-128
Service Decomposition: A Structuring Principle for Flexible, High-Performance Operating Systems
Abstract, Unavailable Electronically

CMU-CS-97-129
Implementation and Evaluation of an Efficient 2D Parallel Delaunay Triangulation Algorithm
Abstract, .ps, .ps.gz

CMU-CS-97-130
Unpublished

CMU-CS-97-131
Creating Dynamic World Wide Web Pages by Demonstration
Abstract, .ps

CMU-CS-97-132
Unpublished

CMU-CS-97-133
Parallel Gaussian Elimination with Liearn Work and Fill
Abstract, .ps

CMU-CS-97-134
*PBHD: An Efficient Graph Representation for Floating Point Circuit Verification
Abstract, .ps

CMU-CS-97-135
Fusion-Based Register Allocation
Abstract, .ps

CMU-CS-97-136
Factoring Polynomials Modulo Composites
Abstract, .ps, title2.ps

CMU-CS-97-137
Delaunary Refinement Mesh Generation
Abstract, .ps, .pdf

CMU-CS-97-138
Unpublished

CMU-CS-97-139
Model Checking for Security Protocols
Abstract, .ps

CMU-CS-97-140
Accurate Approximations for European-Style Asian Options
Abstract, .ps

CMU-CS-97-141
A Transactional Approach to Redundant Disk Array Implementation
Abstract, .ps, .pdf

CMU-CS-97-142
RAIDframe: A Rapid Prototyping Tool for RAID Systems
Abstract, .ps, .pdf

CMU-CS-97-143
A Practical Parameterization of 2 and 3 Degree of Freedom Rotations
Abstract, .ps, .ps.gz

CMU-CS-97-144
A Formal Approach to Software Architecture
Abstract, .ps, .pdf

CMU-CS-97-145
Coordinating Foreign Modules with a Parallelizing Compiler
Abstract, .ps

CMU-CS-97-146
Skin-Color Modeling and Adaptation
Abstract, .ps.gz

CMU-CS-97-147
An Interpretation of Standard ML in Type Theory
Abstract, .ps

CMU-CS-97-148
Vocal Tract Length Normalization for Large Vocabulary Continuous Speech Recognition
Abstract, .ps

CMU-CS-97-149
Hybrid Spectral Transform Diagrams
Abstract, .ps

CMU-CS-97-150
Unpublished

CMU-CS-97-151
A Model for a List-oriented Extension of the Lambda Calculus
Abstract, .ps

CMU-CS-97-152
Large-scale Topic Detection and Language Model Adaptation
Abstract, .ps

CMU-CS-97-153
Towards a Formal Treatment of Implicit Invocation
Abstract, .ps

CMU-CS-97-154
A Hierarchical Fair Service Curve Algorithm for Link-Sharing, Real-time and Priority Services
Abstract, .ps

CMU-CS-97-155
Operating System Resource Reservation for Real-Time and Multimedia Applications
Abstract, .pdf

CMU-CS-97-156
An Oz-Centric Review of Interactive Drama and Believable Agents
Abstract, .ps

CMU-CS-97-157
Combining Multiple Optimization Runs with Optimal Dependency Trees
Abstract, .ps

CMU-CS-97-158
Modeling and Simulating A Software Architecture Design Space
Abstract, .ps, .pdf

CMU-CS-97-159
Automatic Program Specialization for Interactive Media
Abstract, .ps, .pdf

CMU-CS-97-160
Linear Higher-Order Pre-Unification
Abstract, .ps

CMU-CS-97-161
The Options Approach to Software Prototyping Decisions
Abstract, .ps

CMU-CS-97-162
Formal Verification of Memory Arrays
Abstract, .ps, .pdf

CMU-CS-97-163
On-Line Algorithms in Machine Learning
Abstract, .ps

CMU-CS-97-164
Well-Spaced Points for Numerical Methods
Abstract, .ps, .ps.gz

CMU-CS-97-165
Generating Code for High-Level Operations through Code Composition
Abstract, .ps, .pdf

CMU-CS-97-166
Beyond the Cognitive Map: Contributions to a Computational Neuroscience Theory of Rodent Navigation
Abstract, .ps, .pdf

CMU-CS-97-167
Geometric Tools for Algorithms
Abstract, .ps, .pdf

CMU-CS-97-168
Secure Mobile Computing: Final Report 1993-97
Abstract, .ps

CMU-CS-97-169
Using Option Pricing to Value Commitment Flexibility in Multi-agent Systems
Abstract, .ps

CMU-CS-97-170
Unpublished

CMU-CS-97-171
Hybrid Algorithms for On-Line Search and Combinatorial Optimization Problems
Abstract, .ps

CMU-CS-97-172
Efficient Representation and Validation of Logical Proofs
Abstract, .ps, .ps.gz

CMU-CS-97-173
Lattice Based Language Models
Abstract, .ps

CMU-CS-97-174
Unpublished

CMU-CS-97-175
Predicting Data Cache Misses in Non-Numeric Applications Through Correlation Profiling
Abstract, .ps

CMU-CS-97-176
Effects of Data Passing Semantics and Operating Systems Structure on Network I/O Performance
Abstract, .ps, .pdf

CMU-CS-97-177
New Approximation Techniques for Some Ordering Problems
Abstract, .ps

CMU-CS-97-178
Spark98: Sparse Matrix Kernels for Shared Memory and Message Passing Systems
Abstract, .ps

CMU-CS-97-179
Unpublished

CMU-CS-97-180
Unpublished

CMU-CS-97-181
Practical and Theoretical Issues in Prefetching and Caching
Abstract, .ps, .pdf

CMU-CS-97-182
A Tracker for Broken and Closely-Spaced Lines
Abstract, .ps, .ps.gz

CMU-CS-97-183
A Probabilistic Approach for Concurrent Map Acquisition and Localization for Mobile Robots
Abstract, .ps.gz

CMU-CS-97-184
Unpublished

CMU-CS-97-185
Security for Network Attached Sotrage Devices
Abstract, .ps

CMU-CS-97-186
Unpublished

CMU-CS-97-187
Unpublished

CMU-CS-97-188
Architectural Support for Thread-Level Data Speculation
Abstract, .ps, .ps.gz

CMU-CS-97-189
Architectural Implications of a Family of Irregular Applications
Abstract, .ps

CMU-CS-97-190
Unpublished

CMU-CS-97-191
Protocols for Asymmetric Communication Channels
Abstract, .ps

CMU-CS-97-192
Modeling and Interpreting Multimodal Inputs: A Semantic Integration Approach
Abstract, .ps, .ps.gz

CMU-CS-97-193
Multiagent Systems: A Survey from a Machine Learning Perspective
Abstract, .ps, .ps.gz

CMU-CS-97-194
ReMoS: A Resource Monitoring System for Network-Award Applications
Abstract, .ps

CMU-CS-97-195
Darwin: Resource Management for Application-Aware Networks
Abstract, .ps, .pdf

CMU-CS-97-196
Unpublished

CMU-CS-97-197
Practical Parallel Divide-and-Conquer Algorithms
Abstract, .ps, .pdf

CMU-CS-97-198
Active Disks - Remote Execution for Network-Attached Storage
Abstract, .ps

CMU-CS-97-199
Goal-Directed Acting with Incomplete Information
Abstract, Unavailable Electronically

CMU-CS-97-200
Unpublished

CMU-CS-97-201
Rotation Invariant Neural Network-Based Face Detection
Abstract, .ps

CMU-CS-97-202
Unpublished

CMU-CS-97-203
Multitask Learning
Abstract, .ps, .ps.Z

CMU-CS-97-204
Informed Prefetching and Caching
Abstract, .ps, .pdf

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

This page maintained by [email protected]