Browsing AI Memos (1959 - 2004) by Subject "abstraction"
Now showing items 1-3 of 3
-
Abstraction in Numerical Methods
(1987-10-01)We illustrate how the liberal use of high-order procedural abstractions and infinite streams helps us to express some of the vocabulary and methods of numerical analysis. We develop a software toolbox encapsulating the ... -
Causal Reconstruction
(1993-02-01)Causal reconstruction is the task of reading a written causal description of a physical behavior, forming an internal model of the described activity, and demonstrating comprehension through question answering. T his ... -
Lisp: A Language for Stratified Design
(1987-08-01)We exhibit programs that illustrate the power of Lisp as a language for expressing the design and organization of computational systems. The examples are chosen to highlight the importance of abstraction in program ...