Browsing Computer Science and Artificial Intelligence Lab (CSAIL) by Title
Now showing items 868-887 of 3804
-
Derived Pairs, Overlap Closures, and Rewrite Dominoes: New Tools for Analyzing Term Rewriting Systems
(1981-12)Starting from the seminal work of Knuth and Bendix, we develop several notions useful in the study of term rewriting systems. In particular we introduce the notions of "derived pairs" and "overlap closure" and show that ... -
Describing Surfaces
(1985-01-01)This paper continues our work on visual representation s of three-dimensional surfaces [Brady and Yuille 1984b]. The theoretical component of our work is a study of classes of surface curves as a source of constraint ... -
Description and Control of Manipulation by Computer-Controlled Arm
(1968-09-01)The immediate purpose of the research on Intelligent Automata is to have an autonomous machine able to understand uncomplicated commands and to manipulate simple objects without human intervention. This thesis is concerned ... -
Description and Flow Chart of the PDP-7/9 Communications Package
(1970-07)The PDP-7/9 Communications Package was written to provide data transfers between the buffer controller (PDP-7 or PDP-9) of an ESL Display Console and a host computer via a 50-kilobit serial Dataphone link. Initially, only ... -
Description and Theoretical Analysis (Using Schemata) of Planner: A Language for Proving Theorems and Manipulating Models in a Robot
(1972-04-01)Planner is a formalism for proving theorems and manipulating models in a robot. The formalism is built out of a number of problem-solving primitives together with a hierarchical multiprocess backtrack control structure. ... -
The Description of Large Systems
(1984-09-01)In this paper we discuss the problems associated with the description and manipulation of large systems when their sources are not maintained as single fields. We show why and how tools that address these issues, such ... -
A Description of the CNTOUR Program
(1966-11-01)The CNTOUR program plots an intensity relief map of an image which is read from the vidisector camera (TV-B). It may be used as a general purpose aiming, monitoring and focusing program, especially for high-contrast images, ... -
Description of Visual Texture by Computers
(MIT Artificial Intelligence Laboratory, 1973-03-09)Some general properties of textures are discussed for a restricted class of textures. A program is described which inputs a scene using vidisector camera, discerns the texture elements, calculates values for a set of ... -
Descriptions and the Specialization of Concepts
(1978-03)The OWL II System computes with expressions which describe an object from a particular viewpoint. These partial descriptions form a tree structure under the specialization operation, which preserves intensional properties. ... -
Descriptive Simulation: Combining Symbolic and Numerical Methods in the Analysis of Chemical Reaction Mechanisms
(1989-09-01)The Kineticist's Workbench is a computer program currently under development whose purpose is to help chemists understand, analyze, and simplify complex chemical reaction mechanisms. This paper discusses one module ... -
Design and Control of a Closed-Loop Brushless Torque Actuator
(1990-05-01)This report explores the design and control issues associated with a brushless actuator capable of achieving extremely high torque accuracy. Models of several different motor - sensor configurations were studied to ... -
Design and Control of an Anthropomorphic Robotic Finger with Multi-point Tactile Sensation
(2001-05-01)The goal of this research is to develop the prototype of a tactile sensing platform for anthropomorphic manipulation research. We investigate this problem through the fabrication and simple control of a planar 2-DOF robotic ... -
Design and Evaluation of the Hamal Parallel Computer
(2002-12-05)Parallel shared-memory machines with hundreds or thousands of processor-memory nodes have been built; in the future we will see machines with millions or even billions of nodes. Associated with such large systems is a new ... -
Design and Implementation of a Distributed Program for Collaborative Editing
(1985-09)This thesis presents the design and implementation of a distributed program for the support of multi-author collaboration on shared documents. The Collaborative Editing System, CES, provides an environment in which authors ... -
Design and Implementation of a Flexible Robot
(1989-08-01)This robot has low natural frequencies of vibration. Insights into the problems of designing joint and link flexibility are discussed. The robot has three flexible rotary actuators and two flexible, interchangeable ... -
Design and Implementation of a Packet Switched Routing Chip
(1990-12)Monsoon is a parallel processing dataflow computer that will require a high bandwidth interconnection network. A packet switched routing chip (PaRC) is described that will be used as the basis of this network. PaRC is a ... -
The Design and Implementation of a Parallel Persistent Object System
(1992-02)This report describes Anga, an experimental persistent object system that we have developed that utilizes parallelism in a fundamental way to enhance performance. Parallelism is incorporated into the design of the system ... -
Design and Implementation of a Table-Driven Compiler System
(1967-07)Our goal is to provide users of the table-driven compiler system with an environment within which they can freely design and produce their compilers. The primary design criterion is generality so that the users can define ... -
The Design and Implementation of an Online Directory Assistance System
(1983-12)This thesis describes the design and implementation of an online directory assistance system called DIRSYS that was modeled after the white pages of a paper telephone book and a full-screen display editor such as Emacs. ... -
Design Considerations for an Earth-Based Flexible Robotic System
(1989-03-01)This paper provides insights into the problems of designing a robot with joint and link flexibility. The relationship between the deflection of the robot under gravity is correlated with the fundamental frequency of ...
