Technical Reports by Author

CMU-CS-96-100
Final Report on Research in Parallel Computing: 1990-95 1. Very Large Scale Operating Systems 2. The Gigabit Nectar Project 3. Network-Based Multicomputers
Abstract, A.ps, B.ps, C.ps, D.ps, E.ps

CMU-CS-96-101
Research in the Automated Analysis of Remotely Sensed Imagery: 1994-1995
Abstract, Unavailable Electronically

CMU-CS-96-102
Progress in Automated Virtual World Construction
Abstract, Unavailable Electronically

CMU-CS-96-103
Signature and Specification Matching
Abstract, .ps

CMU-CS-96-104
Unpublished

CMU-CS-96-105
Recognition of the Multi Specularity Objects using the Eigen-Window
Abstract, .ps.gz

CMU-CS-96-106
Global Register Allocation Based on Graph Fusion
Abstract, .ps, .pdf

CMU-CS-96-107
Mobile Information Access
Abstract, .ps

CMU-CS-96-108
TIL: A Type-Directed Optimizing Compiler for ML
Abstract, .ps

CMU-CS-96-109
Nitpick: A Checker for Software Specifications (Reference Manual)
Abstract, .ps, A.ps, .pdf, .pdf

CMU-CS-96-110
Top Ten lessons Learned in Automated Cartography
Abstract, Unavailable Electronically

CMU-CS-96-111
Fundamental Challenges in Mobile Computing
Abstract, .ps

CMU-CS-96-112
Atomicity in Electronic Commerce
Abstract, .ps

CMU-CS-96-113
Cryptographic Postage Indicia
Abstract, .ps

CMU-CS-96-114
An Investigation of the Gradient Descent Process in Neural Networks
Barak A. Pearlmutter, Ph.D. Thesis
Abstract, .pdf

CMU-CS-96-115
The Influence of Domain Properties on the Performance of Real-Time Search Algorithms
Abstract, .ps

CMU-CS-96-116
Hand Action Perception and Robot Instruction
Abstract, .ps.Z

CMU-CS-96-117
Unpublished

CMU-CS-96-118.ps
A Probabilistic Analysis of the Rocchio Algorithm with TFIDF for Text Categorization
Abstract, .ps

CMU-CS-96-119
Controlling Effects
Abstract, .ps

CMU-CS-96-120
Supporting Nondeterministic Execution in Fault-Tolerant Systems
Abstract, Unavailable Electronically

CMU-CS-96-121
Learning Maps for Indoor Mobile Robot Navigation
Abstract, .ps.Z

CMU-CS-96-122
A Bayesian Approach to Landmark Discovery and Active Perception in Mobile Robot Navigation
Abstract, .ps.Z

CMU-CS-96-123
Combinatorial Preconditioners for Sparse, Symmetric, Diagonally Dominant Linear Systems
Abstract, .ps

CMU-CS-96-124
A Case Study in Model Checking Software Systems
Abstract, .ps

CMU-CS-96-125
Characterizing Stereo Matching Problems using Local Spatial Frequency
Abstract, .ps.gz, A.ps.gz, B.ps.gz

CMU-CS-96-126
GLR*: A Robust Grammar-Focused Parser for Spontaneously Spoken Language
Abstract, Unavailable Electronically

CMU-CS-96-127
Design of Maximum-Cardinality and Maximum-Weight Clique Heuristics with Applications
Abstract, Unavailable Electronically

CMU-CS-96-128
Model for Characterizing and Creating Certificate Programs in Technology-Specific Areas
Abstract, .ps

CMU-CS-96-129
Protection from the Underspecified
Abstract, .ps

CMU-CS-96-130
Practical Program Understanding With Type Inference
Abstract, .ps

CMU-CS-96-131
Improving Data Consistency for Mobile File Access Using Isolation-Only Transactions
Abstract, .ps.gz

CMU-CS-96-132
Usability Issues in the Design of Novice Programming Systems
Abstract, .ps

CMU-CS-96-133
Source Level Debugging of Globally Optimized Code
Abstract, .ps

CMU-CS-96-134
Anisotropic Mesh Generation with Partiles
Abstract, .ps

CMU-CS-96-135
Learning Models of Speaker Variation
Abstract, Unavailable Electronically

CMU-CS-96-136
A Type-Theoretic Account of Standard ML 1996 (Version 1)
Abstract, See CMU-CS-96-136R

CMU-CS-96-136R
A Type-Theoretic Account of Standard ML 1996 (Version 2)
Abstract, .ps

CMU-CS-96-137
A Structured Approach to Redundant Disk Array Implementation
Abstract, .ps

CMU-CS-96-138
Believable Social and Emotional Agents
Abstract, .ps

CMU-CS-96-139
Scalable Trigram Backoff Language Models
Abstract, .ps

CMU-CS-96-140
Adaptive Precision Floating-Point Arithmetic and Fast Robust Geometric Predicates
Abstract, .ps

CMU-CS-96-141
Properties of a Family of Parallel Finite Element Simulations
Abstract, .ps

CMU-CS-96-142
A Case for Network-Attached Secure Disks
Abstract, .ps

CMU-CS-96-143
Efficient Algorithms for Speech Recognition
Abstract, .ps

CMU-CS-96-144
Storage Strategies for Fault-Tolerance Video Servers
Abstract, .ps

CMU-CS-96-145
Unpublished

CMU-CS-96-146
Design of the Programming Language Forsythe
Abstract, .ps.gz

CMU-CS-96-147
Verifying the Performance of the PCI Local Bus using Symbolic Techniques
Abstract, .ps

CMU-CS-96-148
Symbolic Techniques for Formally Verifying Industrial Systems
Abstract, .ps

CMU-CS-96-149
Verification of Arithmetic Circuits
Abstract, Unavailable Electronically

CMU-CS-96-150
Focus of Attention in Video Conferencing
Abstract, .ps.gz

CMU-CS-96-151
Modeling Analogical Problem Solving in a Production System Architecture
Abstract, .ps

CMU-CS-96-152
Fast Algorithms for Finding O(Congestion + Dilation) Packet Routing Schedules
Abstract, .ps

CMU-CS-96-153
AFS and the Web: Competitors or Collaborators?
Abstract, .ps

CMU-CS-96-154
Learning Planning Operators by Observation and Practice
Abstract, Unavailable Electronically

CMU-CS-96-155
Tasks and Connection Sets: Choreographed Communications on a Reconfigurable Connection-Based Parallel Computer
Abstract, .ps

CMU-CS-96-156
Anonymous Atomic Transactions
Abstract, .ps

CMU-CS-96-157
Application Level Fault Tolerance in Heterogeneous Networks of Workstations
Abstract, .ps

CMU-CS-96-158
Understanding Customer Dissatisfaction With Underutilized Distributed File Servers
Abstract, .ps

CMU-CS-96-159
Verus: A tool for Quantitative Analysis of Finite-State Real-Time Systems
Abstract, .ps

CMU-CS-96-160
Tracking the Effectiveness of Usability Evaluation Methods
Abstract, .ps, fig.ps

CMU-CS-96-161
Java as an Intermediate Language
Abstract, .ps

CMU-CS-96-162
Semantics-based Program Analysis via Symbolic Composition of Transfer Relations
Abstract, .ps

CMU-CS-96-163
Unpublished

CMU-CS-96-164
Projective Geometry and Photometry for Object Detection and Delineation
Abstract, Unavailable Electronically

CMU-CS-96-165
Proof-Carrying Code
Abstract, .ps

CMU-CS-96-166
Unpublished

CMU-CS-96-167
Episodic Memory for External Information
Abstract, .ps

CMU-CS-96-168
3D Shape and Reflectance Morphing
Abstract, Unavailable Electronically

CMU-CS-96-169
Application-Allocated I/O Buffering with System-Allocated Performance
Abstract, .ps

CMU-CS-96-170
Unpublished

CMU-CS-96-171
Issues in Register Allocation by Graph Coloring
Abstract, .ps

CMU-CS-96-172
Primitive Recursion for Higher Order Abstract Syntax
Abstract, .ps.gz

CMU-CS-96-173
Unpublished

CMU-CS-96-174
A Trace-Driven Comparison of Algorithms for Multi-Process Prefetching and Caching
Abstract, .ps

CMU-CS-96-175
Compiling Knowledge for Dialogue Generation and Interpretation
Abstract, Unavailable Electronically

CMU-CS-96-176
Semantics of Memory Management for Polymorphic Languages
Abstract, .ps

CMU-CS-96-177
Purely Functional Data Structures
Abstract, Unavailable Electronically

CMU-CS-96-178
Formal Methods: State of the Art and Future Directions
Abstract, .ps

CMU-CS-96-179
Unpublished

CMU-CS-96-180
Model Checking Algorithms for the mu-Calculus
Abstract, .ps

CMU-CS-96-181
A Survey of Rollback-Recovery Protocols in Message-Passing Systems
Abstract, .ps

CMU-CS-96-182
Expectation-Based Selective Attention
Abstract, Unavailable Electronically

CMU-CS-96-183
Evolution-Based Methods for Selecting Point Data for Object Localization: Applications to Computer-Assisted Surgery
Abstract, .ps.gz

CMU-CS-96-184
Unpublished

CMU-CS-96-185
Unpublished

CMU-CS-96-186
Meta-Level Control for Decision-Theoretic Planners
Abstract, .ps

CMU-CS-96-187
Equivalence Checking Using Abstract BDDs
Abstract, .ps

CMU-CS-96-188
Automatic Modeling and Localization for Object Recognition
Abstract, .ps, .ps.gz, .pdf

CMU-CS-96-189
The Amulet Environment: New Models for Effective User Interface Software Development
Abstract, .ps

CMU-CS-96-190
Software Metrics for Distributed Development
Abstract, .ps

CMU-CS-96-191
An Efficient Commerce System
Abstract, .ps

CMU-CS-96-192
Improved Routing and Sorting on Multibutterflies
Abstract, .ps

CMU-CS-96-193
Proposal for a Common Parallel File System Programming Interface 1.0
Abstract, .ps

CMU-CS-96-194
Using Dynamic Sets to Reduce the Aggregate Latency of Data Access
Abstract, Unavailable Electronically

CMU-CS-96-195
Exploiting Weak Connectivity in a Distributed File System
Abstract, .ps

CMU-CS-96-196
Multi-baseline Stereo Using Surface Extraction
Abstract, .ps

CMU-CS-96-197
A Framework for Space and Time Efficient Scheduling of Parallelism
Abstract, .ps

CMU-CS-96-198
Privacy and Reliability in Internet Commerce
Abstract, .ps

CMU-CS-96-199
A Quantitative Approach to the Formal Verification of Real-Time Systems
Abstract, Unavailable Electronically

CMU-CS-96-200
Compiling Recurrent and Irregular Serial Code for High Performance Computers
Abstract, Unavailable Electronically

CMU-CS-96-201
Interactive Sketching for the Early Stages of User Interface Design
Abstract, .ps, .pdf

CMU-CS-96-202
Symmetry and Induction in Model Checking
Abstract, .ps, .pdf

CMU-CS-96-203
Modular Neural Networks for Speech Recognition
Abstract, .ps.gz

CMU-CS-96-204
A Denotational Framework for Fair Communicating Processes
Abstract, .ps, .pdf

CMU-CS-96-205
Name-It: Association of Face and Name in Video
Abstract, .ps.gz

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

This page maintained by copetas@cs.cmu.edu