Search
Now showing items 641-646 of 646
Extending 2-D Smoothed Local Symmetries to 3-D
(MIT Artificial Intelligence Laboratory, 1985-11)
3-D Smoothed Local Symmetries (3-D SLS's) are presented as a representation for three-dimensional shapes. 3-D SLS's make explicit the perceptually salient features of 3-D objects and are especially suited to representing ...
Principles of Knowledge Representation and Reasoning in the FRAPPE System
(MIT Artificial Intelligence Laboratory, 1989-05)
The purpose of this paper is to elucidate the following four important architectural principles of knowledge representation and reasoning with the example of an implemented system: limited reasoning, truth maintenance, ...
The GSL Cookbook
(MIT Artificial Intelligence Laboratory, 1989-03)
This cookbook contains recipes prepared for the GSL (Graduate Student Lunch) at the Massachusetts Institute of Technology Artificial Intelligence Laboratory.
Introduction to Using the Window System
(MIT Artificial Intelligence Laboratory, 1982-10-14)
This document is a draft copy of a portion of the Lisp Machine window system manual. It is being published in this form now to make it available, since the complete window system manual is unlikely to be finished in the ...
Dependency-Directed Backtracking in Non-Deterministic Scheme
(MIT Artificial Intelligence Laboratory, 1988-08)
Non-deterministic LISP can be used to describe a search problem without specifying the method used to solve the problem. We show that SCHEMER, a non-deterministic dialect of SCHEME, can support dependency-directed backtracking ...
The Measurement of Visual Motion
(1982-12-01)
The analysis of visual motion divides naturally into two stages: the first is the measurement of motion, for example, the assignment of direction and magnitude of velocity to elements in the image, on the basis of the ...