Search
Now showing items 61-68 of 68
Jordan Form of (i+j over j) over Z[subscript p]
(MIT Artificial Intelligence Laboratory, 1985-07)
The Jordan Form over field Z[subscript p] of J[superscript p][subscript p]n is diagonal for p > 3 with characteristic polynomial, ϕ(x) = x[superscript 3] - 1, for p prime, n natural number. These matrices have dimension ...
Vision Utilities
(MIT Artificial Intelligence Laboratory, 1985-12)
This paper documents a collection of Lisp utilities which I have written while doing vision programming on a Symbolics Lisp machine. Many of these functions are useful both as interactive commands invoked from the Lisp ...
Using the PUMA System
(MIT Artificial Intelligence Laboratory, 1985-04)
This document describes the operation of the Lisp Machine interface to the Unimation Puma 600 Robot Arm. The interface is evolved from a system described in an earlier paper, and much is the same. However, the under-lying ...
Toward a Principle-Based Translator
(MIT Artificial Intelligence Laboratory, 1985-06)
A principle-based computational model of natural language translation consists of two components: (1) a module which makes use of a set of principles and parameters to transform the source language into an annotated surface ...
A Proposal for Research With the Goal of Formulating a Computational Theory of Rational Action
(MIT Artificial Intelligence Laboratory, 1985-04)
A theory of rational action can be used to determine the right action to perform in a situation. I will develop a theory of rational action in which an agent has access to an explicit theory of rationality. The agent makes ...
Toward a Richer Language for Describing Software Errors
(MIT Artificial Intelligence Laboratory, 1985-05)
Several approaches to the meaning and uses of errors in software development are discussed. An experiment involving a strong type-checking language, CLU, is described, and the results discussed in terms of the state of the ...
Puma/Cougar Implementor's Guide
(MIT Artificial Intelligence Laboratory, 1985-04)
This document is intended to be a guide to assist a programmer in modifying or extending the Lisp Puma system, the Puma PDP-11 system, or the Cougar PDP-11 system. It consists mostly of short descriptions or hints, and is ...
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 ...