Search
Now showing items 601-610 of 625
Merging Illustrations and Printing on Big Paper
(MIT Artificial Intelligence Laboratory, 1987-07)
How to guide for some of the printing utilities in the AI lab. Describes how TEX tiles are processed and how some illustrations may be merged into the final copy. Also describes how to use TEX to print on 8.5x14 (legal) ...
Gnat Robots (And How They Will Change Robotics)
(MIT Artificial Intelligence Laboratory, 1987-06)
A new concept in mobile robots is proposed, namely that of a gnat-sized autonomous robot with on-board sensors, brains, actuators and power supplies, all fabricated on a single piece of silicon. Recent breakthroughs in ...
Discovery Systems: From AM to CYRANO
(MIT Artificial Intelligence Laboratory, 1987-03)
The emergence in 1976 of Doug Lenat's mathematical discovery program AM [Len76] [Len82a] was met with suprise and controversy; AM's performance seemed to bring the dream of super-intelligent machines to our doorstep, with ...
A Requirements Analyst's Apprentice: A Proposal
(MIT Artificial Intelligence Laboratory, 1986-09)
The Requirements Analyst's APprentice (RAAP) partially automates the modeling process involved in creating a software requirement. It uses knowledge of the specific domain and general experience regarding software requirements ...
Knowledge-Based Schematics Drafting: Aesthetic Configuration as a Design Task
(MIT Artificial Intelligence Laboratory, 1987-01)
Depicting an electrical circuit by a schematic is a tedious task that is a good candidate for automation. Programs that draft schematics with the usual algorithmic approach do not fully exploit knowledge of circuit function, ...
Critical Analysis of Programming in Societies of Behaviors
(MIT Artificial Intelligence Laboratory, 1986-12)
Programming in societies of behavior-agents is emerging as a promising method for creating mobile robot control systems that are responsive both to internal priorities for action and to external world constraints. It is ...
The Interaction Between Truth Maintenance, Equality, and Pattern-Directed Invocation: Issues of Completeness and Efficiency
(MIT Artificial Intelligence Laboratory, 1987-05)
We have implemented a reasoning system, called BREAD, which includes truth maintenance, equality, and pattern-directed invocation. This paper reports on the solution of two technical problems arising out of the interaction ...
Readable Layout of Unbalanced N-ary Trees
(MIT Artificial Intelligence Laboratory, 1986-08)
The automatic layout of unbounded n-ary tree structures is a problem of subjectively meshing two independent goals: clarity and space efficiency. This paper presents a minimal set of subjective aesthetics which insures ...
ACE: A Cliché-based Program Structure Editor
(MIT Artificial Intelligence Laboratory, 1987-05)
ACE extends the syntax-directed paradigm of program editing by adding support for programming clichés. A programming cliché is a standard algorithmic fragment. ACE supports the rapid construction of programs through the ...
GROK Doc: An Image Display Tool
(MIT Artificial Intelligence Laboratory, 1986-04-14)
The image display tool GROK provides a facility for displaying images on the black-and-white screen of a Symbolics 3600 monitor. It allows display of images and their manipulation through a special window it manages. Images ...