Browsing Computer Science and Artificial Intelligence Lab (CSAIL) by Title
Now showing items 2437-2456 of 3804
-
PAC-Learning Prolog Clauses With or Without Errors
(1994-02)Recently researchers have been interested in trying to expand the domain of learnability to subsets of first-order logic, in particular Prolog programs. This new research area has been named Inductive Logic Programming ... -
A Package of LISP Functions for Making Movies and Demos
(MIT Artificial Intelligence Laboratory, 1972-06)A collection of functions have been written to allow LISP users to record display calls in a disk file. This file can be UREAD into a small LISP to reproduce the display effects of the program without doing the required ... -
Packet Communication
(1973-12)This report develops a theory of packet communication; it analyzes users of computers in digital communication systems and examines structures for organizing computers in highly communicative environments. Various examples ... -
Packet Trains: Measurements and a New Model for Computer Network Traffic
(1985-11)Traffic measurements on a ring local area computer network at Massachusetts Institute of Technology are presented. The analysis of the arrival pattern shows that the arrival processes are neither Poisson nor Compound ... -
PADL - A Packet Architecture Description Language: A Preliminary Reference Manual
(1983-10)PADL is a hardware description language for specifying the behavior and structure of packet communication systems. In such systems, hardware units called modules communicate by sending and receiving packets. The behavior ... -
Paradigms for Structure in an Amorphous Computer
(1997-10-01)Recent developments in microfabrication and nanotechnology will enable the inexpensive manufacturing of massive numbers of tiny computing elements with sensors and actuators. New programming paradigms are required for ... -
Parallel Algorithms for Computer Vision on the Connection Machine
(1986-11-01)The Connection Machine is a fine-grained parallel computer having up to 64K processors. It supports both local communication among the processors, which are situated in a two-dimensional mesh, and high-bandwidth ... -
Parallel and Deterministic Algorithms for MRFs: Surface Reconstruction and Integration
(1989-05-01)In recent years many researchers have investigated the use of Markov random fields (MRFs) for computer vision. The computational complexity of the implementation has been a drawback of MRFs. In this paper we derive ... -
Parallel Computation of Vernier Offsets, Curvature and Chevrons in Humans
(1989-12-01)A vernier offset is detected at once among straight lines, and reaction times are almost independent of the number of simultaneously presented stimuli (distractors), indicating parallel processing of vernier offsets. ... -
Parallel Coupled Micro-Macro Actuators
(1996-01-01)This thesis presents a new actuator system consisting of a micro-actuator and a macro-actuator coupled in parallel via a compliant transmission. The system is called the Parallel Coupled Micro-Macro Actuator, or PaCMMA. ... -
A Parallel Crossbar Routing Chip for a Shared Memory Multiprocessor
(1991-03-01)This thesis describes the design and implementation of an integrated circuit and associated packaging to be used as the building block for the data routing network of a large scale shared memory multiprocessor system. ... -
Parallel Flow Graph Matching for Automated Program Recognition
(MIT Artificial Intelligence Laboratory, 1988-07)A flow graph matching algorithm has been implemented on the Connection Machine which employs parallel techniques to allow efficient subgraph matching. By constructing many different matchings in parallel, the algorithm is ... -
Parallel Function Application on a DNA Substrate
(1996-12-01)In this paper I present a new model that employs a biological (specifically DNA -based) substrate for performing computation. Specifically, I describe strategies for performing parallel function application in the ... -
Parallel Methods for Synthesizing Whole-Hand Grasps from Generalized Prototypes
(1994-01-01)This report addresses the problem of acquiring objects using articulated robotic hands. Standard grasps are used to make the problem tractable, and a technique is developed for generalizing these standard grasps to ... -
Parallel Networks for Machine Vision
(1988-12-01)The amount of computation required to solve many early vision problems is prodigious, and so it has long been thought that systems that operate in a reasonable amount of time will only become feasible when parallel ... -
A Parallel Processing Model of Musical Structures
(1971-09-01)Euterpe is a real-time computer system for the modeling of musical structures. It provides a formalism wherein familiar concepts of musical analysis may be readily expressed. This is verified by its application to the ... -
Parallel Simulation of Digital LSI Circuits
(1985-02)Integrated circuit technology has been advancing at a phenomenal rate over the last several years, and promises to continue to do so. If circuit design is to keep pace with fabrication technology, radically new approaches ... -
Parallel Simulation of Subsonic Fluid Dynamics on a Cluster of Workstations
(1995-12-01)An effective approach of simulating fluid dynamics on a cluster of non- dedicated workstations is presented. The approach uses local interaction algorithms, small communication capacity, and automatic migration of parallel ... -
Parallel Solutions to Geometric Problems on the Scan Model of Computation
(1988-02-01)This paper describes several parallel algorithms that solve geometric problems. The algorithms are based on a vector model of computation---the scan-model. The purpose of this paper is both to show how the model can ... -
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 ...
