Search
Now showing items 21-30 of 73
Debunking the 'Expensive Procedure Call' Myth, or, Procedure Call Implementations Considered Harmful, or, Lambda: The Ultimate GOTO
(1977-10-01)
Folklore states that GOTO statements are 'cheap', while procedure calls are 'expensive'. This myth is largely a result of poorly designed language implementations. The historical growth of this myth is considered. Both ...
Density Reconstruction Using Arbitrary Ray Sampling Schemes
(1977-09-01)
Methods for calculating the distribution of absorption densities in a cross section through an object from density integrals along rays in the plane of the cross section are well known, but are restricted to particular ...
Fan-beam Reconstruction Methods
(1977-11-01)
In a previous paper a technique was developed for finding reconstruction algorithms for arbitrary ray-sampling schemes. The resulting algorithms use a general linear operator, the kernel of which depends on the details ...
Understanding Hand-Printed Algebra for Computer Tutoring
(1977-02-01)
This thesis demonstrates how the use of a global context can improve the power of a local character recognizer. The global context considered is a computer tutor of high school algebra that observes a student working ...
The Computation of Immediate Texture Discrimination
(1977-08-01)
The computation of immediate texture discrimination involves finding boundaries between regions of differing texture. Various textures are examined to investigate the factors determining discrimination in the limited ...
Explicit Control of Reasoning
(1977-06-01)
The construction of expert problem-solving systems requires the development of techniques for using modular representations of knowledge without encountering combinatorial explosions in the solution effort. This report ...
Learning by Creating and Justifying Transfer Frames
(1977-01-01)
Learning is defined to be the computation done by a student when there is a transfer of information to him from a teacher. In the particular kind of learning discussed, the teacher names a source and destination. In ...
Specification and Proof Techniques for Serializers
(1977-08-01)
This paper presents an implementation mechanism, specification language, and proof techniques for problems involving the arbitration of concurrent requests to shared resources. This mechanism is the serializer which ...
LISP Machine Progress Report
(1977-08-01)
This informal paper introduces the LISP Machine, describes the goals and current status of the project, and explicates some of the key ideas. It covers the LISP machine implementation, LISP as a system language, ...
Computation of Locally Parallel Structure
(1977-03-01)
A Moire-like effect can be observed in dot patterns consisting of two superimposed copies of a random dot pattern where one copy has been expanded, translated, or rotated. One perceives in these patterns a structure ...