Search
Now showing items 451-460 of 521
Some Issues for a Dynamic Vision System
(MIT Artificial Intelligence Laboratory, 1974-12)
This paper is a thesis-proposal-proposal: a discussion of some issues which seem relevant to the problem of dealing with visual scenes undergoing change. The problem area is broadly stated, some relevant points are noted, ...
Vortex flow around the bases of obstacles
(University of CambridgeSt. Catharine's CollegeDepartment of Engineering, 1979-02-06)
This thesis presents the results of experimental and theoretical investigations of the horseshoe vortex systems caused by boundary layer separation upstream of obstacles mounted on a wall. Flow visualization enabled these ...
The classification of maps between the classifying spaces of Lie groups
(University of CambridgeGonville and Caius CollegeDepartment of Pure Mathematics and Mathematical Statistics, 1974-08-01)
The analysis and simulation of multi-access computer systems
(University of CambridgeDepartment of Applied Mathematics and Theoretical Physics, 1970-05-07)
NF
(University of CambridgeDepartment of Pure Mathematics and Mathematical Statistics, 1977-07-27)
A study Of Quine's Set Theory
A high level disc controller
(1979)
Since the emergence of the digital computer in the 1940s, computer architecture has been largely dictated by the requirements of mathematicians and scientists. Trends have thus been towards processing data as quickly and ...
An integrated payroll-pension system
(1977)
An integrated payroll-pension system designed specifically for commercial users with limited computer resources is presented. This system combines in a single system the usual functions of both a payroll system and a pension ...
List Processing in Real Time on a Serial Computer
(MIT Artificial Intelligence Laboratory, 1977-04-01)
A real-time list processing system is one in which the time required by each elementary list operation (CONS, CAR, CDR, RPLACA, RPLACD, EQ, and ATOM in LISP) is bounded by a (small) constant. Classical list processing ...
Shallow Binding in LISP 1.5
(MIT Artificial Intelligence Laboratory, 1977-01)
Shallow binding is a scheme which allows the value of a variable to be accessed in a bounded amount of computation. An elegant model for shallow binding in LISP 1.5 is presented in which context-switching is an environment ...
Laws for Communicating Parallel Processes
(MIT Artificial Intelligence Laboratory, 1977-05-10)
This paper presents some laws that must be satisfied by computations involving communicating parallel processes. The laws are stated in the context of the actor theory, a model for distributed parallel computation, and ...