Search
Now showing items 1-10 of 73
Towards a Theory of Local and Global in Computation
(1977-09-01)
We formulate the rudiments of a method for assessing the difficulty of dividing a computational problem into "independent simpler parts." This work illustrates measures of complexity which attempt to capture the ...
Analysis of a Cooperative Stereo Algorithm
(1977-10-01)
Marr & Poggio (1976) recently described a cooperative algorithm that solves the correspondence problem for stereopsis. This article uses a probabilistic technique to analyze the convergence of that algorithm, and ...
On "Learnable" Representations of Knowledge: A Meaning for the Computational Metaphor
(1977-09-01)
The computational metaphor which proposes the comparison of processes of mind to realizable or imaginable computer activities suggests a number of educational concerns. This paper discusses some of those concerns ...
Overview of a Linguistic Theory of Design
(1977-02-01)
SPADE is a theory of the design of computer programs in terms of complementary planning and debugging processes. An overview of the authors' recent research on this theory is provided. SPADE borrows tools from ...
COMEX: A Support System for a Commodities Expert
(1977-08-01)
The intelligent support system project is developing a program (COMEX) to assist a commodities expert in tasks such as interpreting data, predicting trends and intelligent noticing. Large amounts of qualitative and ...
Wusor II: A Computer Aided Instruction Program with Student Modelling Capabilities
(1977-05-01)
Wusor II is the second program that has been developed to tutor students in the game of Wumpus. From the earlier efforts with Wusor I it was possible to produce a rule-based expert which processed a relatively complete ...
The Minimum Energy Movement for a Spring Muscle Model
(1977-09-01)
There are many ways of programming an actuator or effector for movement between the same two points. In the interest of efficiency it is sometimes desirable to program that trajectory which requires the least amount ...
Fast Arithmetic in MACLISP
(1977-09-01)
MacLISP provides a compiler which produces numerical code competitive in speed with some FORTRAN implementations and yet compatible with the rest of the MacLISP system. All numerical programs can be run under MacLISP ...
Data Representations in PDP-10 MACLISP
(1977-09-01)
The internal representations of the various MacLISP data types are presented and discussed. Certain implementation tradeoffs are considered. The ultimate decisions on these tradeoffs are discussed in the light of ...
Configuration Space Control
(1977-12-01)
Complicated systems with non-linear time-varying behavior are difficult to control using classical linear feedback methods applied separately to individual degrees of freedom. At the present, mechanical manipulators, ...