Search
Now showing items 141-150 of 509
A Mechanical Arm Control System
(1974-01-01)
This paper describes a proposed mechanical arm control system and some of the lines of thought which led to this design. In particular, the paper discusses the basic systme required in order for the arm to control its ...
Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis
(1976-09-01)
We present a rule-based system for computer-aided circuit analysis. The set of rules, called EL, is written in a rule language called ARS. Rules are implemented by ARS as pattern-directed invocation demons monitoring ...
Representation and Recognition of the Spatial Organization of Three-Dimensional
(1976-08-01)
A method is given for representing 3-D shapes. It is based on a hierarchy of stick figures (called 3-D models), where each stick corresponds to an axis in the shape's generalized cone representation. Although the ...
Dual Coding and the Representation of Letter Strings
(1977-07-01)
Sub-strings derived from four-letter strings (e.g. ABCD) were presented to subjects using a variation on Bransford and Franks' (1971) paradigm. Each strins was in either upper or lower case. Subjects were then tested ...
Analysis of Occluding Contour
(1976-10-01)
Almost nothing can be deduced about a general 3-D surface given only its occluding contours in an image, yet contour information is easily and effectively used by us to infer the shape of a surface. Therefore, implicit ...
Some Poetic and Social Criteria for Education Design
(1976-06-01)
Ten years is in some ways a challenging and in some ways a very awkward period for predicting the impact of computers in education. If you asked me whether the practice of education will have undergone a fundamental ...
Wumpus Advisor 1: A First Implementation Program that Tutors Logical and Probabilistic Reasoning Skills
(1976-10-01)
The Wumpus Advisor program offers advice to a player involved in choosing the best move in a game for which competence in dealing with incomplete and uncertain knowledge is required. The design and implementation of ...
Computational Geometry of Linear Threshold Functions
(1976-07-01)
Linear threshold machines are defined to be those whose computations are based on the outputs of a set of linear threshold decision elements. The number of such elements is called the rank of the machine. An analysis ...
A Computerized Look at Cat Locomotion or One Way to Scan a Cat
(1976-07-01)
This paper describes a three phase project concerning the watchin, analyzing, and describing of motions of a cat in various gaits. All data is based on two 16mm films of an actual cat moving on a treadmill. In phase ...
A Case Study of a Young Child Doing Turtle Graphics in LOGO
(1976-07-01)
This paper explores some important issues with regard to using computers in education. It probes into the question of what programming ideas and projects will engage young children. In particular, a seven year old ...