Search
Now showing items 681-690 of 4210
Pattern-Directed Invocation with Changing Equations
(1988-05-01)
The interaction of pattern-directed invocation with equality in an automated reasoning system gives rise to a completeness problem. In such systems, a demon needs to be invoked not only when its pattern exactly matches ...
The Alignment of Objects with Smooth Surfaces
(1988-07-01)
This paper examines the recognition of rigid objects bounded by smooth surfaces using an alignment approach. The projected image of such an object changes during rotation in a manner that is difficult to predict. A ...
What Are Plans For?
(1989-10-01)
What plans are like depends on how they're used. We contrast two views of plan use. On the plan-as-program-view, plan use is the execution of an effective procedure. On the plan-as-communication view, plan use is like ...
A Parallel Crossbar Routing Chip for a Shared Memory Multiprocessor
(1991-03-01)
This thesis describes the design and implementation of an integrated circuit and associated packaging to be used as the building block for the data routing network of a large scale shared memory multiprocessor system. ...
On Directional Selectivity in Vertebrate Retina: An Experimental and Computational Study
(1992-01-01)
This thesis describes an investigation of retinal directional selectivity. We show intracellular (whole-cell patch) recordings in turtle retina which indicate that this computation occurs prior to the ganglion cell, ...
A Coupled Multi-ALU Processing Node for a Highly Parallel Computer
(1992-09-01)
This report describes Processor Coupling, a mechanism for controlling multiple ALUs on a single integrated circuit to exploit both instruction-level and inter-thread parallelism. A compiler statically schedules individual ...
Automated Program Recognition by Graph Parsing
(1992-07-01)
Recognizing standard computational structures (cliches) in a program can help an experienced programmer understand the program. We develop a graph parsing approach to automating program recognition in which programs ...
Reliable Interconnection Networks for Parallel Computers
(1991-10-01)
This technical report describes a new protocol, the Unique Token Protocol, for reliable message communication. This protocol eliminates the need for end-to-end acknowledgments and minimizes the communication effort ...
Probabilistic Analysis of Multistage Interconnection Network Performance
(1992-04-01)
We present methods of calculating the value of two performance parameters for multipath, multistage interconnection networks: the normalized throughput and the probability of successful message transmission. We develop ...
Temporal Surface Reconstruction
(1991-05-01)
This thesis investigates the problem of estimating the three-dimensional structure of a scene from a sequence of images. Structure information is recovered from images continuously using shading, motion or other visual ...