1992 Technical Reports

YALEU/DCS/TR889 [.pdf] Incremental Computation via Partial Evaluation
Raman Sundaresh
January 1992

YALEU/DCS/TR890 * Fast Ineremental Planarity Testing
Jeffery Westbrook
February 1992

YALEU/DCS/TR891 [.pdf] A Robust Gradient Method for Determining Optical Flow
Michael J. Black
October 1991

YALEU/DCS/TR892 * An Interpersonal Model of Goal-based Decision Making
Stephen Slade
March 1992

YALEU/DCS/TR893 [.pdf] On the Rapid Evaluation of Trigometric Series
V. Rokhlin
Aloke Dutt
March 1992

YALEU/DCS/TR894 [.pdf] Diagonal Forms of Translation Operators for the Helmholtz Equation in 3 Dimensions
V. Rokhlin
March 1992

YALEU/DCS/TR895 * Abstractions for Parallel N-Body Simulations
Sandeep Bhatt
Marina Chen
Cheng-Yee Lin
Pangfeng Liu
March 1992

YALEU/DCS/TR896 [.pdf] Parameterized Partial Evolutions: Semantic Specifications and Correctness Proofs
C. Consel
S. Khoo
March 1992

YALEU/DCS/TR897 [.tex] Pace Migration Algorithms Using Work Functions
Marek Chrobak
Laurence L. Larmore
Nick Reingold
Jeffery Westbrook
March 1992

YALEU/DCS/TR898 [.pdf] Passive Robot Map Building with Exploration Scripts
Sean P. Engelson
Drew V. McDermott
March 1992

YALEU/DCS/TR899 [.pdf] A Computational and Evolutionary Perspective on the Role of Representation in Vision
Michael J. Tarr
Michael J. Black
October 1991

YALEU/DCS/TR900 [.pdf] Type Inference for Parametric Type Classes
Kung Chen
Martin Odersky
Paul Hudak
April 1992

YALEU/DCS/TR901 [.pdf] A Gentle Introduction to HASKELL
Paul Hudak
Joseph Fasel
April 1992

YALEU/DCS/TR902 [.pdf] Systems of Negative Boolean Constraints
Martin Odersky
Kim Marriott
April 1992

YALEU/DCS/TR903 [.pdf] On the Evaluation of Bessel Functions
Gregory Matvienko
April 1992

YALEU/DCS/TR904 [.pdf] GEMMW: A Portable Level 3 Blas Winograd Variant of Strassen’s Matrix-Matrix Multiply Algorithm
Craig C. Douglas
Michael Heroux
Gordon Slishman
Roger M. Smith
May 1992

YALEU/DCS/TR905 Theory & Art of Semantics-Directed Program Execution Monitoring
Amir Kishon
May 1992

YALEU/DCS/TR906 [.tex] [.pdf] Computing Arbitrary Symmetric Functions
Daniel A. Spielman
May 1992

YALEU/DCS/TR907 [.tex] Fault Diagnosis in 33 Parallel Testing Rounds
Richard Beigel
Daniel A. Spielman
May 1992

YALEU/DCS/TR908 [.tex] [.pdf] An Efficient for Unconditionally Secure Secret Key Exchange
Michael Fischer
Rebecca Wright
May 1992

YALEU/DCS/TR909 [.pdf] PEPM ‘92 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation
Charles Consel
May 1992

YALEU/DCS/TR910 * A Simple Tree Data Structure for On-Line Problems
Jeffery Westbrook
May 1992

YALEU/DCS/TR911 [.pdf] The Performance of Greedy Algorithms for On-Line Steiner Tree and Related Problems
Jeffery Westbrook
D.C.K. Yan
May 1992

YALEU/DCS/TR912 [.pdf] On-Line & Off-Line Partial Evaluation: Pemantic Specifications and Correctness Proofs
Charles Consel
Siau Cheng Khoo
June 1992

YALEU/DCS/TR913 [.pdf] On the Inverse Scattering Problem for the Helmholtz Equation in One Dimension
Yu Chen
June 1992

YALEU/DCS/TR914 [.pdf] Mutable Abstract Datatypes
Paul Hudak
July 1992

YALEU/DCS/TR915 Inference Record 5th Workshop on Languages & Compilers for Parallel Programming
David Gelernter
August 1992

YALEU/DCS/TR916 [.pdf] A Stable and Efficient Algorithm for the Rank-One Modification Eigenproblem
Ming Gu
Stanley Eisenstat
August 1992

YALEU/DCS/TR917 [.pdf] Analysis of a QR Algorithm for Computing Singular Values
Shivkumar Chandrasekaran
Ilse Ipsen
August 1992

YALEU/DCS/TR918 [.pdf] Uniform Stability of Markov Chains
Ilse Ipsen
Carl D. Meyer
September 1992

YALEU/DCS/TR919 * Finite Precision Analysis of Inverse Iteration
Shivkumar Chandrasekaran
Ilse Ipsen
August 1992

YALEU/DCS/TR920 [.pdf] Automated Fingerprint Identification: An Independent Study
Eric Mjolsness
Carol Crawford
August 1992

YALEU/DCS/TR921 [.pdf] Task-Directed Computation of Qualitative Decisions from Sensor Data
Gregory D. Hager
August 1992

YALEU/DCS/TR922 * Model for Cooperative Control of Positional Information in Drosophila by bcd and Maternal hb
John Reinitz
Eric Mjolsness
David H. Sharp
August 1992

YALEU/DCS/TR923 * Robust Incremental Optical Flow
Michael Julian Black
September 1992

YALEU/DCS/TR924 [.pdf] On Comparing Statistical and Set-Based Methods in Sensor Data Fusion
Gregory D. Hager
Sean Engelson
September 1992

YALEU/DCS/TR925 [.pdf] Sensor Planning for Reactive Robotic Systems
Gregory D. Hager
Gerhard Grumwald
October 1992

YALEU/DCS/TR926 [.pdf] Parameterized Partial Evaluation Principle and Practice
Siau Cheng Khoo
October 1992

YALEU/DCS/TR927 [.pdf] The Rapid Solution of the Laplace Equation on Regions with Fractal Boundaries
Jin Hong Ma
October 1992

YALEU/DCS/TR928 [.tex] [.pdf] ARS MAGNA: The Abstract Robot Simulator Manual
Sean P. Engelson
Niklas Bertani
October 1992

YALEU/DCS/TR929 [.pdf] Call-by-name, Assignment, and the Lambda-Calculus
Martin Odersky
Dan Rabin
Paul Hudak
October 1992

YALEU/DCS/TR930 [.pdf] The Unexpurgated Call-by-name, Assignment, and the Lambda-Calculus
Martin Odersky
Dan Rabin
October 1992

YALEU/DCS/TR931 [.pdf] Linda on Distributed Memory Multiprocessors
Robert Bjornson
November 1992

YALEU/DCS/TR932 [.pdf] A Divide-and-Conquer Algorithm for the Symetric Tridiagonal Eigenproblem
Ming Gu
Stanley C. Eisenstat
November 1992

YALEU/DCS/TR933 [.pdf] A Divide-and-Conquer Algorithm for the Bidiagonal SVD
Ming Gu
Stanley C. Eisenstat
November 1992

YALEU/DCS/TR934 [.pdf] Relative Perturbation Theory for Eigenproblems
Ming Gu
Stanley C. Eisenstat
November 1992

YALEU/DCS/TR935 [.pdf] Yale Haskell Users Manual Version Y2.0 Beta The Yale Haskell Group
Paul Hudak
John Peterson
Sandra Loosemore
November 1992

YALEU/DCS/TR936 [.tex] [.pdf] Inductive Inference of Total Recursive Functions by Problemistic and Deterministic Strategies
Martinch Krikis
Rusins Freivalds
November 1992

YALEU/DCS/TR937 [.pdf] Loop Transformations for Massive Parallelism
Lee-Chung Lu
November 1992

YALEU/DCS/TR938 [.pdf] Connectionist Grammars for High-Level Vision
Eric Mjolsness
November 1992

YALEU/DCS/TR939 [.pdf] Downdating the Singular Value Decomposition
Ming Gu
Stanley C. Eisenstat
December 1992

YALEU/DCS/TR940 Analysis of Static Condenstation for Laplace Equation on a Rectangle
Mark Yan-Ming Chang
Martin Schultz
December 1992

YALEU/DCS/TR941 [.tex] [.pdf] Transformational Planning of Reactive Behavior
Drew McDermott
December 1992

YALEU/DCS/TR942 [.pdf] Relative Pertubation Techniques for Singular Value Problems
Stanley C. Eisenstat
Ilse C. F. Ipsen
December 1002

YALEU/DCS/TR943 [.pdf] Some Remarks on Completely Vectorizing Point Gauss-Seidel While Using the Natural Ordering
Craig C. Douglas
December 1992