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