Search
Now showing items 601-610 of 646
Further Evidence Against the Recovery Theory of Vision
(MIT Artificial Intelligence Laboratory, 1989-02)
The problem of three-dimensional vision is generally formulated as the problem of recovering the three-dimensional scene that caused the image.
We have previously presented a certain line-drawing and shown that it has the ...
A Counterexample to the Theory that Vision Recovers Three-Dimensional Scenes
(MIT Artificial Intelligence Laboratory, 1988-11)
The problem of three-dimensional vision is generally formulated as the problem of recovering the three-dimensional scene that caused the image. Here we present a certain line-drawing and show that it has the following ...
A Partial Mechanical Design Compiler
(MIT Artificial Intelligence Laboratory, 1987-02)
I have implemented a simple "mechanical design compiler", that is a program which can convert high-level descriptions of a mechanical design into detail descriptions. (Human interaction is sometimes required.) The program ...
How to do Research At the MIT AI Lab
(MIT Artificial Intelligence Laboratory, 1988-10)
This document presumptuously purports to explain how to do research. We give heuristics that may be useful in pickup up specific skills needed for research (reading, writing, programming) and for understanding and enjoying ...
Specification and verification of context conditions for programming languages
(1986)
Context conditions - also called static semantics - are the constraints on computer programs that cannot be reasonably expressed by a context-free grammar, but that can be statically checked without considering the execution ...
DistriX : an implementation of UNIX on transputers
(1989)
Two technologies, distributed operating systems and UNIX are very relevant in computing today. Many distributed systems have been produced and many are under development. To a large extent, distributed systems are considered ...
The development of an expert system shell with a mixed knowledge representation, explicit control of reasoning and a truth maintenance system
(1988)
This thesis concentrates on several important issues in expert system research, namely - representation of knowledge - control of reasoning - implementation of non-monotonic logics via truth maintenance systems. There are ...
The implementation of a generalized table driven back end processor
(1987)
This thesis discusses the University of Cape Town implementation of a table driven back end processor. The back end processor takes as input an intermediate tree representation of a high level programming language. It ...
Electronic text processing in the large South African life assurance companies
(1981)
The use of computer technology and magnetic storage media for production typing led to a new term "word processing". In this research word processing is considered to be part only of a more comprehensive concept - electronic ...
FLOW : a programming environment using diagrams
(1984)
A graphical language is developed as a generalization of the structured flowcharts proposed by Nessi and Shneiderman. This language can be used in the specification of procedures, procedure interfaces and data structures. ...