Browsing Computer Science and Artificial Intelligence Lab (CSAIL) by Title
Now showing items 2432-2451 of 3804
-
An Overview of MOOS-IvP and a Brief Users Guide to the IvP Helm Autonomy Software
(2009-06-18)This document describes the IvP Helm - an Open Source behavior-based autonomy application for unmanned vehicles. IvP is short for interval programming - a technique for representing and solving multi-objective optimizations ... -
An Overview of MOOS-IvP and a Users Guide to the IvP Helm - Release 4.2.1
(2011-08-03)This document describes the IvP Helm - an Open Source behavior-based autonomy application for unmanned vehicles. IvP is short for interval programming - a technique for representing and solving multi-objective optimizations ... -
An Overview of MOOS-IvP and a Users Guide to the IvP Helm Autonomy Software
(2010-08-27)This document describes the IvP Helm -- an Open Source behavior-based autonomy application for unmanned vehicles. IvP is short for interval programming -- a technique for representing and solving multi-objective optimizations ... -
An Overview of OWL, A Language for Knowledge Representation
(1977-06)We describe the motivation and overall organization of the OWL language for knowledge representation. OWL consists of a memory of concepts in terms of which all English phrases and all knowledge of an application domain ... -
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 ...