1989 SERIES
COMPUTER SCIENCE TECHNICAL REPORTS
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 1989 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-89-100
- Corrective and Reinforcement Learning for Speaker-Independent
Continuous Speech Recognition
Kai-Fu Lee, Sanjoy Mahajan
January 1989
- CMU-CS-89-101
- The Design of Nectar: A Network Backplane for Heterogeneous Multicomputers
Emmanuel A. Arnould, Francois J. Bitz, Eric C. Cooper, H.T. Kung,
Robert D. Sansom, Peter A. Steenkiste
January 1989
- CMU-CS-89-102
- BEAM: An Accelerator for Speech Recognition
Roberto Bisiani, Thomas Anantharaman, Lawrence Butcher
January 1989
- CMU-CS-89-103
- Explanation-Based Learning: A Problem-Solving Perspective
Steven Minton, Jaime Carbonell, Craig Knoblock, Daniel R. Kuokka,
Oren Etzioni, Yolanda Gil
January 1989
- CMU-CS-89-104
- iWarp: An Integrated Solution to High-Speed Parallel Computing
Shekhar Borkar, Robert Cohn, George Cox, Sha Gleason, Thomas Gross,
H.T. Kung, Monica Lam, Brian Moore, Craig Peterson, John Pieper,
Linda Rankin, P.S. Tseng, Jim Sutton, John Urbanski, Jon Webb
January 1989
- CMU-CS-89-105
- Layering Predictions: Flexible Use of Dialog Expectation in Speech
Recognition
Sheryl R. Young, Wayne H. Ward, Alexander G. Hauptmann
January 1989
- CMU-CS-89-106
- Toward a Learning Robot
Tom M. Mitchell, Matthew T. Mason, Alan D. Christiansen
January 1989
- CMU-CS-89-107
- ALVINN: An Autonomous Land Vehicle in a Neural Network
Dean A. Pomerleau
January 1989
- CMU-CS-89-108
- Concurrent Constraint Programming Languages
Vijay Anand Saraswat
Ph.D. Thesis
January 1989
- CMU-CS-89-109
- A Delay Insensitive Regular Expression Recognizer
Thomas S. Anantharaman
January 1989
- CMU-CS-89-110
- A Language for Compositional Specification and Verification of
Finite State Hardware Controllers
Edmund M. Clarke, David E. Long, Kenneth L. McMillan
January 1989
- CMU-CS-89-111
- Programming in Higher-Order Typed Lambda-Calculi
Benjamin Pierce, Scott Dietzen, Spiro Michaylov
March 1989
- CMU-CS-89-112
- Succinct Static Data Structures
Guy Jacobson
Ph.D. Thesis
January 1989
- CMU-CS-89-113
- Controlling Search Dynamics by Manipulating Energy Landscapes
David S. Touretzky
December 1989
- CMU-CS-89-114
- Distributed Logging for Transaction Processing
Dean Spencer Daniels
Ph.D. Thesis
December 1988
- CMU-CS-89-115
- Virtual Memory Management for Transaction Processing Systems
Jeffrey L. Eppinger
Ph.D. Thesis
February 1989
- CMU-CS-89-116
- A Survey of Distributed File Systems
Mahadev Satyanarayanan
February 1989
- CMU-CS-89-117
- Automatic Verification of Finite State Machines Using Temporal Logic
Michael C. Browne
Ph.D. Thesis
February 1989
- CMU-CS-89-118
- A Novel Objective Function for Improved Phoneme Recognition Using
Time-Delay Neural Networks
John B. Hampshire II, Alex H. Waibel
March 1989
- CMU-CS-89-119
- Tractable Decision-Analytic Control: An Expanded Version
Oren Etzioni
February 1989
- CMU-CS-89-120
- Modeling Sensor Detectability with VANTAGE Geometric/Sensor Modeler
Katsushi Ikeuchi, Jean-Christophe Robert
February 1989
- CMU-CS-89-121
- Towards a Theory of Narrative for Interactive Fiction
Sean Smith, Joseph Bates
February 1989
- CMU-CS-89-122
- A Strongly Competitive Randomized Paging Algorithm
Lyle A. McGeoch, Daniel D. Sleator
March 1989
- CMU-CS-89-123
- Space Efficient Processor Identity Protocols
Shang-Hua Teng
March 1989
- CMU-CS-89-124
- Cost-Sensitive Concept Learning of Sensor Use in Approach and Recognition
Ming Tan, Jeffrey C. Schlimmer
March 1989
- CMU-CS-89-125
- Measuring the Effectiveness of Task-Level Parallelism for High-Level Vision
Wilson Harvey, Dirk Kalp, Milind Tambe, David McKeown, Allen Newell
March 1989
- CMU-CS-89-126
- Translating Concurrent Communicating Programs into Delay-Insensitive
Circuits
Erik Brunvand, Robert F. Sproull
April 1989
- CMU-CS-89-127
- Scene Registration in Aerial Image Analysis
Frederic P. Perlant, David M. McKeown
March 1989
- CMU-CS-89-128
- Automating Algorithm Design Within A General Architecture for Intelligence
David Steier
Ph.D. Thesis
April 1989
- CMU-CS-89-129
- Implementation of Production Systems on Message Passing Computers:
Techniques, Simulation Results and Analysis
Milind Tambe, Anurag Acharya, Anoop Gupta
April 1989
- CMU-CS-89-130
- Syntactic Control of Interference: Part 2
John C. Reynolds
April 1989
- CMU-CS-89-131
- MKM: Mach Kernel Monitor Description, Examples and Measurements
Ted Lehr, David Black, Zary Segall, Dalibor Vrsalovic
March 1989
- CMU-CS-89-132
- CMU Common Lisp User's Manual Mach/IBM RT PC Edition
David B. McDonald, Editor
April 1989
- CMU-CS-89-132-R1
- CMU Common Lisp User's Manual Mach/IBM RT PC Edition
David B. McDonald, Editor
November 1989 -- Revision of CMU-CS-89-132
- CMU-CS-89-133
- Hemlock User's Manual
Robert A. MacLachlan, Bill Chiles
April 1989
- CMU-CS-89-133-R1
- Hemlock User's Manual
Robert A. MacLachlan, Bill Chiles
November 1989 -- Revision of CMU-CS-89-133
- CMU-CS-89-134
- Hemlock Command Implementor's Manual
Robert A. MacLachlan, Bill Chiles
April 1989
- CMU-CS-89-134-R1
- Hemlock Command Implementor's Manual
Robert A. MacLachlan, Bill Chiles
November 1989 -- Revision of CMU-CS-89-134
- CMU-CS-89-135
- Knowledge Based Planning in Games
Prasad Tadepalli
May 1989
- CMU-CS-89-136
- Multiple Codebook Semi-Continuous Hidden Markov Models for
Speaker-Independent Continuous Speech Recognition
X.D. Huang, Hsiao-Wuen Hon, Kai-Fu Lee
April 1989
- CMU-CS-89-137
- Extending the Valiant Framework to Detect Incorrect Bias
Lonnie Chrisman
May 1989
- CMU-CS-89-138
- Network-Based Multicomputers: Redefining High Performance
Computing in the 1990s
H.T. Kung
January 1989
- CMU-CS-89-139
- CLP(R) and Some Electrical Engineering Problems
Nevin Heintze, Spiro Michaylov, Peter Stuckey
April 1989
- CMU-CS-89-140
- Visualizing Performance Debugging
Ted Lehr, Zary Segall, Dalibor Vrsalovic, Eddie Caplan, Alan L. Chung,
Charles E. Fineman
April 1989
- CMU-CS-89-141
- Between-Word Coarticulation Modeling for Continuous Speech Recognition
Mai-Yuh Hwang, Hsiao-Wuen Hon, Kai-Fu Lee
April 1989
- CMU-CS-89-142
- KR: Constraint-Based Knowledge Representation
Dario Giuse
April 1989
- CMU-CS-89-143
- Parallel I/O Systems for Multicomputers
John S. Pieper
June 1989
- CMU-CS-89-144
- A Connectionist Implementation of Cognitive Phonology
Deirdre W. Wheeler, David S. Touretzky
October 1989
- CMU-CS-89-145
- Compositional Model Checking
Edmund M. Clarke, David E. Long, Kenneth L. McMillan
April 1989
- CMU-CS-89-146
- Prodigy 2.0: The Manual and Tutorial
Steven Minton, Craig A. Knoblock, Daniel R. Kuokka, Yolanda Gil,
Robert L. Joseph, Jaime G. Carbonell
May 1989
- CMU-CS-89-147
- Connectionism and Compositional Semantics
David S. Touretzky
May 1989
- CMU-CS-89-148
- A Parallelizing Compiler for Distributed Memory Parallel Computers
Ping-Sheng Tseng
Ph.D. Thesis (Electrical and Computer Engineering)
May 1989
- CMU-CS-89-149
- Matching Randomly in Parallel
Shang-Hua Teng
May 1989
- CMU-CS-89-150
- A Gentle Introduction to Subsymbolic Computation: Connectionism
for the A.I. Researcher
Kevin Knight
May 1989
- CMU-CS-89-151
- Legged Robots on Rough Terrain: Experiments in Adjusting Step Length
Jessica Kate Hodgins
Ph.D. Thesis
November 1989
- CMU-CS-89-152
- Distributed Lock Management in a Transaction Processing Environment
Andrew B. Hastings
May 1989
- CMU-CS-89-153
- Inductive Definitions Over Finite Structures
Daniel Leivant
June 1989
- CMU-CS-89-154
- Implementing a Mach Debugger for Multithreaded Applications
Deborah Caswell, David Black
November 1989
- CMU-CS-89-155
- A Framework for Specifying Robotic Agents
Alan D. Christiansen
June 1989
- CMU-CS-89-156
- Formal Verification of Memory Circuits by Switch-Level Simulation
Randal E. Bryant
June 1989
- CMU-CS-89-157
- Final Report on Supercomputer Research
Ellen P. Douglas, Alan R. Houser, C. Roy Taylor, Editors
June 1989
- CMU-CS-89-158
- Rules and Maps in Connectionist Symbol Processing
David S. Touretzky
June 1989
- CMU-CS-89-159
- Miro Tools
Allan Heydon, Mark W. Maimone, J.D. Tygar, Jeannette M. Wing,
Amy Moormann Zaremski
July 1989
- CMU-CS-89-160
- Higher-Order and Modal Logic as a Framework for Explanation-Based
Generalization
Scott Dietzen, Frank Pfenning
October 16, 1989
- CMU-CS-89-161
- Deadlock Analysis in Networks of Communicating Processes
Stephen D. Brookes, Andrew W. Roscoe
June 1989
- CMU-CS-89-162
- Autonomous Scene Description with Range Imagery
David R. Smith
Ph.D. Thesis
May 1989
- CMU-CS-89-163
- The Match Box Algorithm for Parallel Production System Match
Mark W. Perlin
May 1989
- CMU-CS-89-164
- Comprehensive Evaluation of a Two-Dimensional Configurable Array
O. Menzilcioglu, H.T. Kung, S.W. Song
June 1989
- CMU-CS-89-165
- Coda: A Highly Available File System for a Distributed Workstation
Environment
Mahadev Satyanarayanan, James J. Kistler, Puneet Kumar, Ellen H. Siegel,
David C. Steere
July 1989
- CMU-CS-89-166
- The Meta-Pi Network: Building Distributed Knowledge Representations for
Robust Pattern Recognition
John B. Hampshire II, Alex H. Waibel
August 1989
- CMU-CS-89-167
- Connectionist Architectures for Multi-Speaker Phoneme Recognition
John B. Hampshire II, Alex H. Waibel
August 1989
- CMU-CS-89-168
- Verifying Atomic Data Types
Jeannette M. Wing
July 1989
- CMU-CS-89-169
- A Decision Procedure for the Subtype Relation on Intersection
Types with Bounded Variables
Benjamin C. Pierce
August 1989
- CMU-CS-89-170
- Contracting Proofs to Programs
Daniel Leivant
July 1989
- CMU-CS-89-171
- Machine-Assisted Proofs of Properties of Avalon Programs
Jeannette M. Wing, Chun Gong
August 1989
- CMU-CS-89-172
- Raw Code, Specification, and Proof of the Avalon Queue Example
Chun Gong, Jeannette M. Wing
August 1989
- CMU-CS-89-173
- A Framework for Defining Logics
Robert Harper, Furio Honsell, Gordon Plotkin
January 1989
- CMU-CS-89-174
- Structure and Representation in LF
Robert Harper, Donald Sannella, Andrzej Tarlecki
July 1989
- CMU-CS-89-175
- Logic Representation
Robert Harper, Donald Sannella, Andrzej Tarlecki
July 1989
- CMU-CS-89-176
- Type Checking with Universes
Robert Harper, Robert Pollack
August 1989
- CMU-CS-89-177
- Frame-Based Geometric Reasoning for Construction and
Maintenance of 3D World Models
Ellen Gail Lowenfeld Walker
Ph.D. Thesis
August 1989
- CMU-CS-89-178
- Automated Customization of User Interfaces
Barbara Staudt Lerner
Ph.D. Thesis
September 1989
- CMU-CS-89-179
- Learning Retrodictive Knowledge from Scientific Laws:
The Case of Chemical Kinetics
Raul E. Valdes-Perez
August 1989
- CMU-CS-89-180
- What a Software Engineer Needs to Know: I. Program Vocabulary
Mary Shaw, Dario Giuse, Raj Reddy
August 1989
[Also appears as CMU/SEI-89-TR-30, ESD-TR-89-40]
- CMU-CS-89-181
- A Communications Architecture for Multiprocessor Networks
Andreas Nowatzyk
Ph.D. Thesis
August 1989
- CMU-CS-89-182
- BoltzCONS: Dynamic Symbol Structures in a Connectionist Network
David S. Touretzky
August 1989
- CMU-CS-89-183
- Finding Natural Clusters Through Entropy Minimization
Richard Scot Wallace
Ph.D. Thesis
June 1989
- CMU-CS-89-184
- Learning from the Environment Based on Percepts and Actions
Wei-Min Shen
Ph.D. Thesis
June 1989
- CMU-CS-89-185
- A Time-Delay Neural Network Architecture for Speech Recognition
Kevin J. Lang
Ph.D. Thesis
July 1989
- CMU-CS-89-186
- Reliable Distributed Computing with Avalon/Common Lisp
Stewart M. Clamen, Linda D. Leibengood, Scott M. Nettles, Jeannette M. Wing
September 1989
- CMU-CS-89-187
- A Connectionist Architecture for Sequential Symbolic Domains
Ajay N. Jain
December 1989
- CMU-CS-89-188
- Models of Reuse in Software Engineering
Charles W. Krueger
December 1989
- CMU-CS-89-189
- PRODIGY: An Integrated Architecture for Planning and Learning
Jaime G. Carbonell, Craig A. Knoblock, Steven Minton
October 1989
- CMU-CS-89-190
- Speaker-Independent Phoneme Recognition on TIMIT Database Using
Integrated Time-Delay Neural Networks (TDNNs)
Nobuo Hataoka, Alex H. Waibel
November 1989
[Also appears as CMU-CMT-89-115]
- CMU-CS-89-191
- Adaptive Parsing: Self-Extending Natural Language Interfaces
Jill Fain Lehman
Ph.D. Thesis
August 1989
- CMU-CS-89-192
- A Unified Approach for Showing Language Containment and
Equivalence Between Various Types of @g<w>-Automata
Edmund M. Clarke, Ioana A. Draghicescu, Robert P. Kurshan
September 1989
- CMU-CS-89-193
- Information Retrieval by Text Skimming
Michael Loren Mauldin
Ph.D. Thesis
August 1989
- CMU-CS-89-194
- Transcription Conventions and Evaluation Techniques for Spoken
Language System Research
Alexander I. Rudnicky, Michelle H. Sakamoto
November 1989
- CMU-CS-89-195
- Dynamic Stereo Vision
Larry Matthies
Ph.D. Thesis
October 1989
- CMU-CS-89-196
- The Garnet Toolkit Reference Manuals: Support for Highly-Interactive,
Graphical User Interfaces in Lisp
Brad A. Myers, Dario Giuse, Roger B. Dannenberg, Brad Vander Zanden,
David Kosbie, Philippe Marchal, Ed Pervin, John A. Kolojejchick
November 1989
- CMU-CS-89-197
- Higher-Order Modules and the Phase Distinction
Robert Harper, John C. Mitchell, Eugenio Moggi
October 1989
- CMU-CS-89-198
- Visualizing Evaluation in Applicative Languages
David S. Touretzky, Peter Lee
November 1989
- CMU-CS-89-198-R
- Visualizing Evaluation in Applicative Languages
David S. Touretzky, Peter Lee
December 1989
[Revision of CMU-CS-89-198]
- CMU-CS-89-199
- Miro: Visual Specification of Security
Allan Heydon, Mark W. Maimone, J.D. Tygar, Jeannette M. Wing,
Amy Moormann Zaremski
December 1989
- CMU-CS-89-200 What is a Formal Method?
- Jeannette M. Wing
November 1989
- CMU-CS-89-201
- Competitive Algorithms for Replication and Migration Problems
David L. Black, Daniel D. Sleator
November 1989
- CMU-CS-89-202
- Exporting a User Interface to Memory Management from a
Communication-Oriented Operating System
Michael Wayne Young
Ph.D. Thesis
November 1989
- CMU-CS-89-203
- Conversational Interacton with Speech Systems
Alexander I. Rudnicky, Alexander G. Hauptmann
December 1989
- CMU-CS-89-204
- Solution of the Frobenius Problem
Ravi Kannan
November 1989
- CMU-CS-89-205
- Program Changes and the Cost of Selective Recompilation
Ellen Ariel Borison
Ph.D. Thesis
July 1989
- CMU-CS-89-206
- Parallel Exponentiation of Concrete Data Structures
Stephen Brookes, Shai Geva
December 1989
- CMU-CS-89-207
- Metacircularity in the Polymorphic Lambda-Calculus
Frank Pfenning, Peter Lee
December 1989
- CMU-CS-89-208
- An Implementation of Back-Propagation Learning on GF11,
a Large SIMD Parallel Computer
Michael Witbrock, Marco Zagha
December 1989
- CMU-CS-89-209
- Inductively Defined Types in the Calculus of Constructions
Frank Pfenning, Christine Paulin-Mohring
December 1989
- CMU-CS-89-210
- Nonlinear Problem Solving Using Intelligent Casual-Commitment
Manuela M. Veloso
December 1989
- CMU-CS-89-211
- Unpublished
- CMU-CS-89-212
- Monotonic Use of Space and Computational Complexity Over
Abstract Structures
Daniel Leivant
October 1989
- CMU-CS-89-213
- Interactive Dynamics
Andrew Witkin, Michael Gleicher, William Welch
December 1989
This index was automatically generated on Sun Jan 14 23:39:30 EST 1996.reports@cs.cmu.edu