YALEU/DCS/TR944 [.pdf] A Fast Direct Algorithm for the Solution of the Laplace Equation on Regions with Fractal Boundaries
P. Jones
J. Ma
V. Rokhlin
January 1993
YALEU/DCS/TR945 [.pdf] Greedy Lagrangians for Neural Networks: Three Levels of Optimization in Relaxation Dynamics
Eric Mjolsness
Willard Miranker
January 1993
YALEU/DCS/TR946 [.pdf] Place Recognition Using Image Signatures
Sean Engelson
January 1993
YALEU/DCS/TR947 Class Notes on Interactive Proof Systems
Richard Beigel
et al
January 1993
YALEU/DCS/TR948 [.pdf] Some Problems in Adaptive Visual Servoing or How to Keep the Left Eye From Knowing what the Right Eye is Doing
Greg Hager
January 1993
YALEU/DCS/TR949 [.pdf] Mean Field Point Matching by Vernier Network and by Generalized Hough Transform: Preliminary Report
Chien-Ping Lu
Eric Mjolsness
January 1993
YALEU/DCS/TR950 [.pdf] DAMG: An Abstract Multilevel Solver
Craig Douglas
February 1993
YALEU/DCS/TR951 [.pdf] DPMG: A Multilevel Solver for the Poisson Equation in Two and Three Dimensions
Craig Douglas
February 1993
YALEU/DCS/TR952 * Implementing Abstract Multigrid or Multilevel Methods
Craig Douglas
February 1993
YALEU/DCS/TR953 [.pdf] C++ Interval and Constraint Solving Package
Gregory D. Hager
John M. Lu
February 1993
YALEU/DCS/TR954 [.pdf] Adaptive Parallelism with Piranha
Nicholas Carriero
David Gelernter
David Kaminsky
Jeffery Westbrook
February 1993
YALEU/DCS/TR955 [.pdf] Numerical Solution of Flame Sheet Problems with and Without Multigrid Methods
Craig Douglas
Alexandre Ern
February 1993
YALEU/DCS/TR956 [.pdf] Ordering Times
Vincente Dornic
April 1993
YALEU/DCS/TR957 * Solving Large Systems of Nonlinear Constraints with Application to Data Modeling
Greg Hager
April 1993
YALEU/DCS/TR958 * Experience with the Linda Coordination Language and its Environment
N. Carriero
D. Gelernter
T. Mattson
April 1993
YALEU/DCS/TR959 [.pdf] Partial Evaluation for Dictionary-free Overloading
Mark P. Jones
April 1993
YALEU/DCS/TR960 [.pdf] Towards Geometric Decision Making in Unstructured Environments
Gregory D. Hager
May 1993
YALEU/DCS/TR961 * A Constraint-Based View of Selective Perception
Gregory D. Hager
May 1993
YALEU/DCS/TR962 [.pdf] On Expressing the Mutation of State in a Functional Programming Language
Juan Guzman
May 1993
YALEU/DCS/TR963 [.pdf] A Type System for a Lambda Calculus with Assignments
Kung Chen
Martin Odersky
May 1993
YALEU/DCS/TR964 [.pdf] A Syntactic Method Proving Observational Equivalence
Martin Odersky
May 1993
YALEU/DCS/TR965 [.pdf] A Syntactic Theory of Local Names
Martin Odersky
May 1993
YALEU/DCS/TR966 [.pdf] A Stable and Fast Algorithm for Updating the Singular Value Decompostion
Ming Gu
Stanley Eisenstat
May 1993
YALEU/DCS/TR967 [.pdf] An Efficient Algorithm for Computing a Rank-Revealing QR Factorization
Ming Gu
Stanley C. Eisenstat
May 1993
YALEU/DCS/TR968 Workshop on STATE in Program Languages
Paul Hudak
May 1993
YALEU/DCS/TR969 [.pdf] Adaptive Parallelism on Multiprocessors: Preliminary Experience with Piranha on the Ch-5
Nicholas Carriero
Eric Freeman
David Gelernter
May 1993
YALEU/DCS/TR970 [.pdf] Optimization Dynamics for Partitioned Neural Networks
Dimitris I. Tsioutsias
Eric Mjolsness
May 1993
YALEU/DCS/TR971 * The Haskell-to-CL Interface Document
John Peterson
Sheng Liang
June 1993
YALEU/DCS/TR972 [.pdf] The Haskell X Users Manual
John Peterson
Sheng Liang
June 1993
YALEU/DCS/TR973 * On the Inverse Scattering Problem for the Helmholtz Equation in Two Dimensions
Yu Chen
Vladimir Rokhlin
June 1993
YALEU/DCS/TR974 [.pdf] Mean Field Point Matching by Vernier Network and by Generalized Hough Transform
Chien-Ping Lu
Eric Mjolsness
June 1993
YALEU/DCS/TR975 [.pdf] A Comparison of CPS, Linda, P4, POSYBL, PVM, and TCGMSG: Two Node Communication Times
Craig C. Douglas
Timothy G. Mattson
Martin H. Schultz
June 1993
YALEU/DCS/TR976 [.pdf] A Generalized Multigrid theory in the Style of Standard Iterative Methods
Craig C. Douglas
July 1993
YALEU/DCS/TR977 [.pdf] Fast Algorithms for Polynomial Interpolation Integration and Differentiation
A. Dutt
M. Gu
V. Rokhlin
July 1993
YALEU/DCS/TR978 * Backward Errors for Eigenvalue and Singular Value Decompositons
S. Chandrasekaran
I.C.F. Ipsen
July 1993
YALEU/DCS/TR979 [.pdf] Modeling the Connection between Development and Evolution: Preliminary Report
Eric Mjolsness
Charles D. Garrett
John Reinitz
David H. Sharp
July 1993
YALEU/DCS/TR980 [.pdf] Fast Fourier Transforms for Nonequispaced Data II
Aloke Dutt
Vladimir Rokhlin
August 1993
YALEU/DCS/TR981 [.pdf] Fast Fourier Transforms for Nonequispaced Data
Aloke Dutt
August 1993
YALEU/DCS/TR982 [.pdf] Implicit and Explicit Parallel Programming in Haskell
Mark P. Jones
Paul Hudak
August 1993
YALEU/DCS/TR983 [.pdf] Piranha Scheduling: Strategies and Their Implememtations
David Gelernter
Mark R. Jourdenais
David Kaminsky
September 1993
YALEU/DCS/TR984 [.pdf] Linda and Message Passing: What Have We Learned?
Nicholas Carriero
David Gelernter
September 1993
YALEU/DCS/TR985 [.pdf] Program Transformation with Piecewise Linear Domain Morphism
Young-il Choo
J. Alan Yang
September 1993
YALEU/DCS/TR986 [.pdf] Fast Fourier Transforms of Piecewise Constant Functions
Eugene Sorets
September 1993
YALEU/DCS/TR987 * On Iterative Techniques for a Load Balancing Problem
Bhaskar Ghosh
Eric Mjolsness
Martin Schultz
September 1993
YALEU/DCS/TR988 [.pdf] A Framework for Real-time Window-based Tracking Using Off-the-shelf Hardware
Greg Hager
Sidd Puri
Kentaro Toyama
September 1993
YALEU/DCS/TR989 [.pdf] Coherence for Qualified Types
Mark P. Jones
September 1993
YALEU/DCS/TR990 [.pdf] Generalized Gaussian Quadreture Rules for Systems of Arbitrary Functions
J. Ma
V. Rokhlin
S. Wandzura
September 1993
YALEU/DCS/TR991 * A Vision Based Grasping System for Unfamiliar Planar Objects
Aage Bendiksen
Greg Hager
October 1993
YALEU/DCS/TR992 [.pdf] Robot Feedback Control Based on Stereo Vision: Towards Calibration-Free Hand-Eye Coordination
Greg Hager
Wen-Chung Chang
Steven Morse
October 1993
YALEU/DCS/TR993 [.pdf] On Line Processes, Outlier Rejection, and Robust Statistics
Michael Black
Anand Rangarajan
October 1993
YALEU/DCS/TR994 [.pdf] Experiments and Bounds on block Diagonal Preconditioning
Mark Yan-Ming Chang
Martin H. Schultz
November 1993
YALEU/DCS/TR995 [.pdf] A Parallel 3D Parabolic Wave Equation Solver
Ding Lee
Diana Resasco
Martin H. Schultz
Faisal Saied
November 1993
YALEU/DCS/TR996 [.pdf] Temporal Domain Parallelism: Does it Work?
Ashish Deshpande
Sachit Malhotra
Craig C. Douglas
Martin H. Schultz
November 1993
YALEU/DCS/TR997 [.pdf] The Design of an Operating System for Modern Programming Languages
James Philbin
May 1993
YALEU/DCS/TR998 [.pdf] Real-Time Feature Tracking and Projective Invarience as a Basis for Hand-Eye Coordination
Greg Hager
November 1993
YALEU/DCS/TR999 [.tex] [.pdf] On the Power of Preemption
Jeffery Westbrook
January 1994
YALEU/DCS/TR1000 [.pdf] Toward an Efficient Reliable Persistent Associative Shared-Object Memory (Postition Paper)
David Gelernter
Jeff Westbrook
Lenore Zuck
November 1993
YALEU/DCS/TR1001 * Formal Reasoning about PASO Systems
Lenore Zuck
November 1993
YALEU/DCS/TR1002 [.tex] [.pdf] The Power of Local Self-Reductions
Richard Beigel
November 1993
YALEU/DCS/TR1003 [.pdf] Semantics and Coherence for Parametric Type Classes
Kung Chen
December 1993
YALEU/DCS/TR1004 [.pdf] Composing Monads
M. Jones
Luc Duponcheel
December 1993
YALEU/DCS/TR1005 A Cache for Associative Memory
Willard Miranker
December 1993