Search
Now showing items 621-630 of 4210
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 ...
Director Guide
(1979-12-01)
Director is a programming language designed for dynamic graphics, artificial intelligence, and use by computer-naﶥ people. It is based upon the actor or object oriented approach to programming and resembles Act 1 ...