Search
Now showing items 181-190 of 4210
Against Direct Perception
(1980-03-01)
Central to contemporary cognitive science is the notion that mental processes involve computations defined over internal representations. This notion stands in sharp contrast with another prevailing view ??e direct ...
A Session with TINKER: Interleaving Program Testing with Program Design
(1980-09-01)
Tinker is an experimental interactive programming system which integrates program testing with program design. New procedures are created by working out the steps of the procedure in concrete situations. Tinker displays ...
One Child's Learning: Introducing Writing with a Computer
(1980-03-01)
This is a case study of how one child learned to write in a computer-rich setting. Although computer access did affect her learning significantly, the details presented here go beyond supporting that claim. They provide ...
Equation Counting and the Interpretation of Sensory Data
(1981-06-01)
Many problems in biological information processing require the solution to a complex system of equations in many unknown variables. An equation-counting procedure is described for determining whether such a system of ...
Record of the Workshop on Research in Office Semantics
(1981-02-01)
This paper is a compendium of the ideas and issues presented at the Chatham Bars Workshop on Office Semantics. The intent of the workshop was to examine the state of the art in office systems and to elucidate the ...
A Computational Theory of Visual Surface Interpolation
(1981-06-01)
Computational theories of structure from motion [Ulman, 1979] and stereo vision [Marr and Poggio, 1979] only specify the computation of three-dimensional surface information at special points in the image. Yet, the ...
Control of a Tendon Arm
(1981-02-01)
The dynamics and control of tendon driven three degree of freedom shoulder joint are studied. A control scheme consisting of two phases has been developed. In the first phase, approximation of the time optimal control ...
Music, Mind and Meaning
(1981-02-01)
Speculating about cognitive aspects of listening to music, this essay discusses: how metric regularity and thematic repetition might involve representation frames and memory structures, how the result of listening might ...
Solving Uninterpreted Equations with Context Free Expression Grammars
(1983-05-01)
It is shown here that the equivalence class of an expression under the congruence closure of any finite set of equations between ground terms is a context free expression language. An expression is either a symbols or ...
Symmetric Set Theory: A General Theory of Isomorphism, Abstraction, and Representation
(1983-08-01)
It is possible to represent a finite set of points (atoms) by a finite sequence of points. However a finite set of points has no distinguished member and therefore it is impossible to define a function which takes a ...