Search
Now showing items 1-10 of 81
Stereo and Eye Movement
(1988-01-01)
We describe a method to solve the stereo correspondence using controlled eye (or camera) movements. These eye movements essentially supply additional image frames which can be used to constrain the stereo matching. ...
System Validation via Constraint Modeling
(1988-02-01)
Constraint modeling could be a very important system validation method, because its abilities are complementary to both testing and code inspection. In particular, even though the ability of constraint modeling to ...
A Lexical Conceptual Approach to Generation for Machine Translation
(1988-01-01)
Current approaches to generation for machine translation make use of direct-replacement templates, large grammars, and knowledge-based inferencing techniques. Not only are rules language-specific, but they are too ...
Obviously Synchronizable Series Expressions: Part II: Overview of the Theory and Implementation
(1988-03-01)
The benefits of programming in a functional style are well known. In particular, algorithms that are expressed as compositions of functions operating on series/vectors/streams of data elements are much easier to ...
A Standard Architecture for Controlling Robots
(1988-07-01)
This paper describes a fully implemented computational architecture that controls the Utah-MIT dextrous hand and other complex robots. Robots like the Utah-MIT hand are characterized by large numbers of actuators and ...
Utilizing Dynamic Stability to Orient Parts
(1988-02-01)
The intent of this research is to study the dynamic behavior of a solid body resting on a moving surface. Results of the study are then used to propose methods for controlling the orientation of parts in preparation ...
Knowledge Base Integration: What Can We Learn from Database Integration Research?
(1988-01-01)
This paper examines the issues and the solutions that have been studied in database (DB) integration research and tries to draw lessons from them for knowledge base (KB) integration.
A Lifetime-based Garbage Collector for LISP Systems on General-Purpose Computers
(1988-02-01)
Garbage collector performance in LISP systems on custom hardware has been substantially improved by the adoption of lifetime-based garbage collection techniques. To date, however, successful lifetime-based garbage ...
Control of Vibration in Mechanical Systems Using Shaped Reference Inputs
(1988-01-01)
Dynamic systems which undergo rapid motion can excite natural frequencies that lead to residual vibration at the end of motion. This work presents a method to shape force profiles that reduce excitation energy at the ...
Automatic Qualitative Analysis of Ordinary Differential Equations Using Piecewise Linear Approximations
(1988-03-01)
This paper explores automating the qualitative analysis of physical systems. It describes a program, called PLR, that takes parameterized ordinary differential equations as input and produces a qualitative description of ...