Search
Now showing items 21-30 of 59
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. ...
Motion Planning with Six Degrees of Freedom
(1984-05-01)
The motion planning problem is of central importance to the fields of robotics, spatial planning, and automated design. In robotics we are interested in the automatic synthesis of robot motions, given high-level ...
Parallelism in Manipulator Dynamics
(1984-12-01)
This paper addresses the problem of efficiently computing the motor torques required to drive a lower-pair kinematic chain (e.g., a typical manipulator arm in free motion, or a mechanical leg in the swing phase) given ...
Presentation Based User Interface
(1984-08-01)
A prototype presentation system base is described. It offers mechanisms, tools, and ready-made parts for building user interfaces. A general user interface model underlies the base, organized around the concept of a ...
Switching Between Discrete and Continuous Process Models to Predict Molecular Genetic Activity
(1984-05-01)
Two kinds of process models have been used in programs that reason about change: Discrete and continuous models. We describe the design and implementation of a qualitative simulator, PEPTIDE, which uses both kinds of ...
Multigrid Relaxation Methods and the Analysis of Lightness, Shading and Flow
(1984-10-01)
Image analysis problems, posed mathematically as variational principles or as partial differential equations, are amenable to numerical solution by relaxation algorithms that are local, iterative, and often parallel. ...
Color Vision: Representing Material Categories
(1984-05-01)
We argue that one of the early goals of color vision is to distinguish one kind of material from another. Accordingly, we show that when a pair of image regions is such that one region has greater intensity at one wavelength ...
Planning of Minimum-Time Trajectories for Robot Arms
(1984-11-01)
The minimum-time for a robot arm has been a longstanding and unsolved problem of considerable interest. We present a general solution to this problem that involves joint-space tesselation, a dynamic time-scaling ...