COMPUTER SCIENCE TECHNICAL REPORTS


1997 SERIES


SCHOOL OF COMPUTER SCIENCE
CARNEGIE MELLON UNIVERSITY
PITTSBURGH, PA 15213-3891

NOTE: Please read this Copyright notice before proceeding.


The following list references the availability of postscript (.ps)

files for our 1996 technical report series. Please note, not all
reports are included...this owing to various copyright constraints
(see COPYRIGHT.mss). If you have questions or concerns related to
these files, please direct your inquiries to reports@cs.cmu.edu.
Enjoy.


CMU-CS-97-100 (Unavailable via ftp)
STRIPE: Remote Driving Using Limited Image Data
Jennifer S. Kay
Ph.D. Thesis
January 1997
226 pages


CMU-CS-97-101
Statistical Selection Among Problem-Solving Methods
Eugene Fink
January 1997
39 pages


CMU-CS-97-102
Unavailable to date


CMU-CS-97-103
Improving Demonstration Using Better Interaction Techniques
Richard G. McDaniel, Brad A. Myers
January 1997
[Also appears as Human-Computer Interaction Institute Technical Report CMU-HCII-97-100.]
January 1997
15 pages


CMU-CS-97-104 CMU-CS-97-104A.ps
Simulating Soft Shadows with Graphics Hardware
Paul S.Heckbert, Michael Herf
January 1997
11 pages


CMU-CS-97-105
A Compositional Proof System for the Modal mu-calculus and CCS
Sergey Berezin, Dilian Gurov
January 1997
19 pages


CMU-CS-97-106
Level Spacings for SL(2,p)
John D. Lafferty, Daniel N. Rockmore
January 1997
17 pages


CMU-CS-97-107
Using Optimal Dependency-Trees for Combinatorial Optimization: Learning the Structure of the Search Space
Shumeet Baluja, Scott Davies
January 1997
20 pages


CMU-CS-97-108
Design and Implementation of Code Optimizations for a Type-Directed Compiler for Standard ML
David Tarditi
Ph.D. Thesis
December 1996
288 pages


CMU-CS-97-109 (Unavailable via ftp)
Guiding Interactive Drama
Peter Weyhrauch
Ph.D. Thesis
January 1997
210 pages


CMU-CS-97-110
Unavailable to date


CMU-CS-97-111
Video Skimming and Characterization through the Combination of Image and Language Understanding Techniques
Michael S. Smith, Takeo Kanade
February 1997
FTP: CMU-CS-97-111.ps.gz, CMU-CS-97-111A.ps.Z
14 pages


CMU-CS-97-112
Unavailable to date


CMU-CS-97-113
Unavailable to date


CMU-CS-97-114
Unavailable to date


CMU-CS-97-115 CMU-CS-97-115Color.ps.gz
An Empirical Comparison of Radiosity Algorithms
Andrew J. Willmott, Paul S. Heckbert
April 1997
89 pages


CMU-CS-97-116 (Unavailable via ftp)
Preliminary Results on the Analysis of HYDICE Data for Information Fusion in Cartographic Feature Extraction
Stephen J. Ford, Dirk Kalp, J. Chris McGlone, David M. McKeown, Jr.
June 1997
21 pages


CMU-CS-97-117
Unavailable to date


CMU-CS-97-118
Filesystems for Network-Attached Secure Disks
Gath A. Gibson, David D. Nagle, Khalil Amiri, Fay W. Chang, Howard Gobioff, Erik Riedel, David Rochberg, Jim Zelenka
July 1997
18 pages


CMU-CS-97-119
Using Speech and Natural Language Technology in Language Intervention
Jill Fain Lehman
March 1997
23 pages


CMU-CS-97-120
Breadth-First with Depth-First BDD Construction: A Hybrid Approach
Yirng-An Chen, Bwolen Yang, Randal E. Bryant
March 1997
18 pages


CMU-CS-97-121
Subtyping for Distributed Object Stores (Extended Abstract)
Jeannette M. Wing
April 1997
11 pages


CMU-CS-97-122
Translucent Sums: A Foundation for Higher-Order Module Systems
Ph.D. Thesis
May 1997
344 pages


CMU-CS-97-123 (Unavailable via ftp)
Believable Agents: Building Interactive Personalities
A. Bryan Loyall
Ph.D. Thesis
May 1997
224 pages


CMU-CS-97-124
The Essence of Parallel Algol
Stephen Brookes
April 1997
46 pages


CMU-CS-97-125
A Linear Spine Calculus
Iliano Cervesato, Frank Pfenning
April 1997
36 pages


CMU-CS-97-126
Unavailable to date


CMU-CS-97-127
An Evaluation of Statistical Approaches to Text Categorization
Yiming Yang
April 1997
12 pages


CMU-CS-97-128
Unavailable to date


CMU-CS-97-129
Implementation and Evaluation of an Efficient 2D Parallel Delaunay Triangulation Algorithm
Jonathan C. Hardwick
April 1997
21 pages


CMU-CS-97-130
Unavailable to date


CMU-CS-97-131
Creating Dynamic World Wide Web Pages by Demonstration
Robert C. Miller, Brad A. Myers
May 1997
18 pages


CMU-CS-97-132
Unavailable to date


CMU-CS-97-133
Parallel Gaussian Elimination with Liearn Work and Fill
Claudson Bornstein, Bruce Maggs, Gary Miller, Ramamoorthi Ravi
May 1997
34 pages


CMU-CS-97-134
*PBHD: An Efficient Graph Representation for Floating Point Circuit Verification
Yirng-An Chen, Randal E. Bryant
May 1997
22 pages


CMU-CS-97-135
Fusion-Based Register Allocation
Guei-Yuan (Ken) Lueh
Ph.D. Thesis (Electrical and Computer Engineering)
May 1997
197 pages


CMU-CS-97-136
Factoring Polynomials Modulo Composites
Adam R. Klivans
Master of Science (Honors Degree Program), Department of Mathematics
May 1997
38 pages


CMU-CS-97-139
Model Checking for Security Protocols
Will Marrero, Edmund Clarke, Somesh Jha
May 1997
20 pages


CMU-CS-97-140
Accurate Approximations for European-Style Asian Options
Prasad Chalasani, Somesh Jha, Ashok Varikooty
May 1997
15 pages


CMU-CS-97-141
A Transactional Approach to Redundant Disk Array Implementation
William V. Courtright II
Ph.D. Thesis (Electrical and Computer Engineering)
May 1997
253 pages


CMU-CS-97-142
RAIDframe: A Rapid Prototyping Tool for RAID Systems
William V. Courtright II, Garth Gibson, Mark Holland, LeAnn Neal Reilly, Jim Zelenka
June 1997
139 pages


CMU-CS-97-143
A Practical Parameterization of 2 and 3 Degree of Freedom Rotations
F. Sebastian Grassia
May 1997
15 pages


CMU-CS-97-144
A Formal Approach to Software Architecture
Robert J. Allen
Ph.D. Thesis
May 1997
250 pages


CMU-CS-97-145
Coordinating Foreign Modules with a Parallelizing Compiler
Peter Steenkiste, Jaspal Subhlok
June 1997
15 pages


CMU-CS-97-146
Skin-Color Modeling and Adaptation
Jie Yang, Weier Lu, Alex Waibel
May 1997
29 pages


CMU-CS-97-147
An Interpretation of Standard ML in Type Theory
Robert Harper, Christopher Stone
June 1997
pages


CMU-CS-97-148
Vocal Tract Length Normalization for Large Vocabulary Continuous Speech Recognition
Puming Zhan, Alex Waibel
May 1997
22 pages


CMU-CS-97-149
Hybrid Spectral Transform Diagrams
Edmund M. Clarke, Masahiro Fujita, Wolfgang Heinle
June 1997
16 pages


CMU-CS-97-150
Unavailable to date


CMU-CS-97-151
A Model for a List-oriented Extension of the Lambda Calculus
Glenn Durfee
May 1997
33 pages


CMU-CS-97-152
Large-scale Topic Detection and Language Model Adaptation
Kristie Seymore, Ronald Rosenfeld
June 1997
20 pages


CMU-CS-97-161
The Options Approach to Software Prototyping Decisions
Prasad Chalasani, Somesh Jha, Kevin Sullivan
July 1997
23 pages



This index was automatically generated on Tue Jul 29 11:24:56 EDT 1997.

reports@cs.cmu.edu