Search
Now showing items 51-60 of 68
Redundant Sensors for Mobile Robot Navigation
(1985-09-01)
Redundant sensors are needed on a mobile robot so that the accuracy with which it perceives its surroundings can be increased. Sonar and infrared sensors are used here in tandem, each compensating for deficiencies in ...
BUILD: A Tool for Maintaining Consistency in Modular Systems
(1985-11-01)
Build is a tool for keeping modular systems in a consistent state by managing the construction tasks (e.g. compilation, linking, etc.) associated with such systems. It employs a user supplied system model and a ...
Structural Dynamics Model of a Cartesian Robot
(1985-10-01)
Methods are developed for predicting vibration response characteristics of systems which change configuration during operation. A cartesian robot, an example of such a position-dependent system, served as a test case ...
The Synthesis of Stable Grasps in the Plane
(1985-10-01)
This paper addresses the problem of synthesizing stable grasps on arbitrary planar polygons. Each finger is a virtual spring whose stiffnes and compression can be programmed. The contacts between the finger tips and the ...
Generating Compliant Motion of Objects with an Articulated Hand
(1985-06-01)
The flexibility of the robot is the key to its success as a viable aid to production. Flexibility of a robot can be explained in two directions. The first is to increase the physical generality of the robot such that ...
Integrating vision modules with coupled MRFs
(MIT Artificial Intelligence Laboratory, 1985-12)
I outline a project for integrating several early visual modalities based on coupled Markov Random Fields models of the physical processes underlying image formation, such as depth, albedo and orientation of surfaces. The ...
Test Programming by Program Composition and Symbolic Simulation
(MIT Artificial Intelligence Laboratory, 1985-11)
Classical test generation techniques rely on search through gate-level circuit descriptions, which results in long runtimes. In some instances, classical techniques cannot be used because they would take longer than the ...
Construction and Refinement of Justified Causal Models Through Variable-Level Explanation and Perception, and Experimenting
(MIT Artificial Intelligence Laboratory, 1985-12)
The competence being investigated is causal modelling, whereby the behavior of a physical system is understood through the creation of an explanation or description of the underlying causal relations.
After developing a ...
Automated Program Recognition: A Proposal
(MIT Artificial Intelligence Laboratory, 1985-12)
The key to understanding a program is recognizing familiar algorithmic fragments and data structures in it. Automating this recognition process will make it easier to perform many tasks which require program understanding, ...
IDEME: A DBMS of Methods
(MIT Artificial Intelligence Laboratory, 1985-08)
In this paper, an intelligent database management system (DBMS) called IDEME is presented. IDEME is a program that takes as input a task specification and finds a set of methods potentially relevant to solving that task. ...