Search
Now showing items 621-630 of 646
Office automation
(1989)
Office automation systems have become an essential tool for the operation of the modern office. With the emphasis of a modern office being placed on efficiency and ease of communication, office automation systems have ...
Specification and implementation of the Larch shared language
(1989)
This project aims to prototype formal specification in Larch. The motivation for looking at formal specifications stems from an appreciation of the problem outlined above, frustration with current methods, and a desire to ...
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 ...