MIT: Recent submissions
Now showing items 1741-1760 of 2625
-
Herbert: A Second Generation Mobile Robot
(1988-01-01)In mobile robot research we believe the structure of the platform, its capabilities, the choice of sensors, their capabilities, and the choice of processors, both onboard and offboard, greatly constrains the direction of ...
-
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 ...
-
Soft Objects: A Paradigm for Object Oriented Programming
(1990-03-01)This paper introduces soft objects, a new paradigm for object oriented programming. This paradigm replaces the traditional notion of object classes with the specification of transforming procedures which transform ...
-
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 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 ...
-
Relaxing the Brightness Constancy Assumption in Computing Optical Flow
(1987-06-01)Optical flow is the apparent (or perceived) motion of image brightness patterns arising from relative motion of objects and observer. Estimation of the optical flow requires the application of two kinds of constraint: ...
-
Synapses That Compute Motion
(1987-06-01)Biophysics of computation is a new field that attempts to characterize the role in information processing of the several biophysical mechanisms in neurons, synapses, and membranes that have been uncovered in recent ...
-
Visual Integration and Detection of Discontinuities: The Key Role of Intensity Edges
(1987-10-01)Integration of several vision modules is likely to be one of the keys to the power and robustness of the human visual system. The problem of integrating early vision cues is also emerging as a central problem in current ...
-
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 ...
-
Synchronizable Series Expressions: Part II: Overview of the Theory and Implementation
(1987-11-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 ...
-
Obviously Synchronizable Series Expression: Part I: User's Manual for the OSS Macro Package
(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 ...
-
Simplified Voronoi Diagrams
(1987-04-01)The Voronoi diagram has proved to be a useful tool in a variety of contexts in computational geometry. Our interest here is in using the diagram to simplify the planning of collision-free paths for a robot among ...
-
The Dynamicist's Workbench: I Automatic Preparation of Numerical Experiments
(1987-05-01)The dynamicist's workbench is a system for automating some of the work of experimental dynamics. We describe a portion of our system that deals with the setting up and execution of numerical simulations. This part of ...
-
Formalizing Reusable Software Components in the Programmer's Apprentice
(1987-02-01)There has been a long-standing desire in computer science for a way of collecting and using libraries of standard software components. The limited success in actually doing this stems not from any resistance to the ...
-
Scheme 86: An Architecture for Microcoding a Scheme Interpreter
(1988-08-01)I describe the design and implementation plans for a computer that is optimized as a microcoded interpreter for Scheme. The computer executes SCode, a typed-pointer representation. The memory system has low-latency as ...
-
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 ...
-
Comparative Analysis
(1987-11-01)Comparative analysis is the problem of predicting how a system will react to perturbations in its parameters, and why. For example, comparative analysis could be asked to explain why the period of an oscillating ...
-
Extracting Qualitative Dynamics from Numerical Experiments
(1987-03-01)The Phase Space is a powerful tool for representing and reasoning about the qualitative behavior of nonlinear dynamical systems. Significant physical phenomena of the dynamical system---periodicity, recurrence, stability ...
-
Program Translation via Abstraction and Reimplementation
(1986-12-01)Essentially all program translators (both source-to-source translators and compilers) operate via transliteration and refinement. This approach is fundamentally limited in the quality of the output it can produce. In ...
