AI Memos (1959 - 2004): Recent submissions
Now showing items 442-444 of 1217
-
Symmetric Set Theory: A General Theory of Isomorphism, Abstraction, and Representation
(1983-08-01)It is possible to represent a finite set of points (atoms) by a finite sequence of points. However a finite set of points has no distinguished member and therefore it is impossible to define a function which takes a ... -
Solving Uninterpreted Equations with Context Free Expression Grammars
(1983-05-01)It is shown here that the equivalence class of an expression under the congruence closure of any finite set of equations between ground terms is a context free expression language. An expression is either a symbols or ... -
Computational Studies in the Interpretation of Structure and Motion: Summary and Extension
(1983-03-01)Computational studies of the interpretation of structure from motion examine the conditions under which three-dimensional structure can be recovered from motion in the image. The first part of this paper summarizes the ...
