Search
Now showing items 111-120 of 625
TEMPEST: A Template Editor for Structured Text
(1985-06-01)
TEMPEST is a full-screen text editor that incorporates a structural paradigm in addition to the more traditional textual paradigm provided by most editors. While the textual paradigm treats the text as a sequence of ...
ACTORS: A Model of Concurrent Computation in Distributed Systems
(1985-06-01)
A foundational model of concurrency is developed in this thesis. We examine issues in the design of parallel systems and show why the actor model is suitable for exploiting large-scale parallelism. Concurrency in actors ...
Finding Texture Boundaries in Images
(1987-06-01)
Texture provides one cue for identifying the physical cause of an intensity edge, such as occlusion, shadow, surface orientation or reflectance change. Marr, Julesz, and others have proposed that texture is represented ...
AFL-1: A Programming Language for Massively Concurrent Computers
(1986-11-01)
Computational models are arising is which programs are constructed by specifying large networks of very simple computational devices. Although such models can potentially make use of a massive amount of concurrency, ...
A Computational Model for Observation in Quantum Mechanics
(1987-03-01)
A computational model of observation in quantum mechanics is presented. The model provides a clean and simple computational paradigm which can be used to illustrate and possibly explain some of the unintuitive and ...
KAM: Automatic Planning and Interpretation of Numerical Experiments Using Geometrical Methods
(1989-08-01)
KAM is a computer program that can automatically plan, monitor, and interpret numerical experiments with Hamiltonian systems with two degrees of freedom. The program has recently helped solve an open problem in ...
On Probabilistic Strategies for Robot Tasks
(1989-08-01)
Robots must act purposefully and successfully in an uncertain world. Sensory information is inaccurate or noisy, actions may have a range of effects, and the robot's environment is only partially and imprecisely ...
Modelling the Somantic Electrical Response of Hippocampal Pyramidal Neurons
(1989-09-01)
A modeling study of hippocampal pyramidal neurons is described. This study is based on simulations using HIPPO, a program which simulates the somatic electrical activity of these cells. HIPPO is based on a) descriptions ...
Three-Dimensional Motion Estimation Using Shading Information in Multiple Frames
(1989-09-01)
A new formulation for recovering the structure and motion parameters of a moving patch using both motion and shading information is presented. It is based on a new differential constraint equation (FICE) that links the ...
The Computation of Color
(1989-09-01)
This thesis takes an interdisciplinary approach to the study of color vision, focussing on the phenomenon of color constancy formulated as a computational problem. The primary contributions of the thesis are (1) the ...