Search
Now showing items 51-60 of 625
Expressing Mathematical Subroutines Constructively
(1987-11-01)
The typical subroutines that compute $\\sin(x)$ and $\\exp(x)$ bear little resemblance to our mathematical knowledge of these functions: they are composed of concrete arithmetic expressions that include many mysterious ...
Task-Level Robot Learning: Ball Throwing
(1987-12-01)
We are investigating how to program robots so that they learn tasks from practice. One method, task-level learning, provides advantages over simply perfecting models of the robot's lower level systems. Task-level ...
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 ...
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 ...