Search
Now showing items 201-210 of 625
PRISM: A Practical Real-Time Imaging Stereo Matcher
(1984-05-01)
A binocular-stereo-matching algorithm for making rapid visual range measurements in noisy images is described. This technique is developed for application to problems in robotics where noise tolerance, reliability, and ...
An Information Storage Mechanism: Calcium and Spines
(1984-04-01)
This proposal addresses some of the biophysical events possibly underlying fast activity-dependent changes in synaptic efficiency. Dendritic spines in the cortex have attracted increased attention over the last years ...
An Analog Model of Computation for the Ill-Posed Problems of Early Vision
(1984-05-01)
A large gap exists at present between computational theories of vision and their possible implementation in neural hardware. The model of computation provided by the digital computer is clearly unsatisfactory for the ...
The Coordination of Arm Movements: An Experimentally Confirmed Mathematical Model
(1984-11-01)
This paper presents studies of the coordination f voluntary human arm movements. A mathematical model is formulated which is shown to predict both the qualitative features and the quantitative details observed ...
Ill-Posed Problems and Regularization Analysis in Early Vision
(1984-04-01)
One of the best definitions of early vision is that it is inverse optics --- a set of computational problems that both machines and biological organisms have to solve. While in classical optics the problem is to determine ...
A Generalized Ordering Constraint for Stereo Correspondence
(1984-05-01)
The ordering constraint along epipolar lines is a powerful constraint that has been exploited by some recent stereomatching algorithms. We formulate a generalized ordering constraint, not restricted to epipolar lines. ...
Linguistic Support of Receptionists for Shared Resources
(1984-09-01)
This paper addressed linguistic issues that arise in providing support for shared resources in large scale concurrent systems. Our work is based on the Actor Model of computation which unifies the lambda calculus, the ...
Some Scientific Subroutines in LISP
(1984-09-01)
Here's a LISP library of mathematical functions that calculate hyperbolic and inverse hyperbolic functions. Bessel functions, elliptic integrals, the gamma and beta functions, and the incomplete gamma and beta functions. ...
Computational Complexity of Current GPSG Theory
(1986-04-01)
An important goal of computational linguistics has been to use linguistic theory to guide the construction of computationally efficient real-world natural language processing systems. At first glance, the entirely new ...
Issues in Model Based Troubleshooting
(1987-03-01)
To determine why something has stopped working, it's helpful to know how it was supposed to work in the first place. This simple fact underlies recent work on a number of systems that do diagnosis from knowledge about ...