Search
Now showing items 171-180 of 4210
Developing a Computational Representation for Problem Solving Skills
(1978-10-01)
This paper describes the evolution of a problem solving model over several generations of computer coaches. Computer coaching is a type of computer assisted instruction in which the coaching program observes the ...
Causal Reasoning and Rationalization in Electronics
(1978-09-01)
This research attempts to formalize the type of causal arguments engineerings employ to understand circuit behavior. A causal argument consists of a sequence of changes to circuit quantities (called events), each of ...
A Proposal for a Computational Model of Anatomical and Physiological Reasoning
(1978-11-01)
The studies of anatomy and physiology are fundamental ingredients of medical education. This paper identifies six ways in which such functional knowledge serves as the underpinnings for general medical reasoning, and ...
Non-Monotonic Logic I
(1979-01-01)
"Non-monotonic" logical systems are logics in which the introduction of new axioms can invalidate old theorems. Such logics are very important in modeling the beliefs of active processes which, acting in the presence ...
Calculating the Reflectance Map
(1978-10-01)
It appears that the development of machine vision may benefit from a detailed understanding of the imaging process. The reflectance map, showing scene radiance as a function of surface gradient, has proved to be helpful ...
Determining Shape and Reflectance Using Multiple Images
(1978-08-01)
Distributions of surface orientation and reflectance factor on the surface of an object can be determined from scene radiances observed by a fixed sensor under varying lighting conditions. Such techniques have potential ...
Constraints
(1978-11-01)
We present an interactive system organized around networks of constraints rather than the programs which manipulate them. We describe a language of hierarchical constraint networks. We describe one method of deriving ...
Information Prosthetics for the Handicapped
(1978-09-01)
In this proposal we describe a technological step towards the realization of INFORMATION PROSTHETICS. Our primary focus is on using rather than making the technology. Specifically, our goal is to transpose for the use ...
Bandpass Channels, Zero-Crossings, and Early Visual Information Processing
(1978-09-01)
A recent advance by B.F. Logan in the theory of one octave bandpass signals may throw new light on spatial-frequency-tuned channels in early visual information processing.
GPRINT: A LISP Pretty Printer Providing Extensive User Format Control Mechanism
(1982-09-01)
A Lisp pretty printer is presented which makes it easy for a user to control the format of the output produced. The printer can be used as a general mechanism for printing data structures as well as programs. It is ...