Advanced Search
DSpace@MIT

Browsing Artificial Intelligence Lab Publications by Title

Research and Teaching Output of the MIT Community

Browsing Artificial Intelligence Lab Publications by Title

Sort by: Order: Results:

  • CADR 
    Knight, Thomas F., Jr.; Moon, David A.; Holloway, Jack; Steele, Guy L., Jr. (1979-05-01)
    The CADR machine, a revised version of the CONS machine, is a general-purpose, 32-bit microprogrammable processor which is the basis of the Lisp-machine system, a new computer system being developed by the Laboratory ...
  • Speciner, Michael (1967-07-01)
    (1)CHAR PLOT (see AI Memo 125) has been modified for TS. [It may be found on MS4 with the non-TS version]. The following changes should be noted: CRKBRK (now called PLTBRK in the non-TS CHAR PLOT), SUBPLT (which is ...
  • Horn, Berthold K.P.; Sjoberg, Robert W. (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 ...
  • Sobalvarro, Patrick G. (1991-12-01)
    The blocking probability of a network is a common measure of its performance. There exist means of quickly calculating the blocking probabilities of Banyan networks; however, because Banyan networks have no redundant ...
  • Kozlowski, Stefan N. (MIT Artificial Intelligence Laboratory, 1992-05)
    The purpose of this talk is not to teach you about Emacs or Emacs kbd-macros, though we will use both as examples. I can teach you everything there is to know about Emacs and kbd-macros in 5 minutes. There are literally ...
  • Bamberger, Jeanne (1976-12-01)
    Trying to capture intuitive knowledge is a little like trying to capture the moment between what just happened and what is about to happen. Or to quote a famous philosopher, "You can't put your foot in the same river ...
  • Charniak, Eugene (1968-07-01)
    A program was written to solve calculus word problems. The program, CARPS (CALculus Rate Problem Solver), is restricted to rate problems. The overall plan of the program is similar to Bobrow's STUDENT, the primary ...
  • Richards, W.; Nishihara, H.K.; Dawson, B. (1982-06-01)
    Caricatures demonstrate that only a few significant "edges" need to be captured to convey the meaning of a complex pattern of image intensities. The most important of these "edges" are image intensity changes arising ...
  • Solomon, Cynthia J.; Papert, Seymour (1976-07-01)
    This paper explores some important issues with regard to using computers in education. It probes into the question of what programming ideas and projects will engage young children. In particular, a seven year old ...
  • Knoblich, Ulf; Freedman, David J.; Riesenhuber, Maximilian (2002-04-18)
    In a recent experiment, Freedman et al. recorded from inferotemporal (IT) and prefrontal cortices (PFC) of monkeys performing a "cat/dog" categorization task (Freedman 2001 and Freedman, Riesenhuber, Poggio, Miller ...
  • Haase, Ken (1986-09-01)
    This research extends a tradition of distributed theories of mind into the implementation of a distributed problem solver. In this problem solver a number of ideas from Minsky's Society of Mind are implemented and are ...
  • Kleer, Johan De (1979-09-01)
    This thesis presents a theory of human-like reasoning in the general domain of designed physical systems, and in particular, electronic circuits. One aspect of the theory, causal analysis, describes how the behavior ...
  • Kleer, Johan De (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 ...
  • Borchardt, Gary C. (1993-02-01)
    Causal reconstruction is the task of reading a written causal description of a physical behavior, forming an internal model of the described activity, and demonstrating comprehension through question answering. T his ...
  • Brent, Michael R. (1989-09-01)
    This report elucidates the linguistic representation of temporal relations among events. This involves examining sentences that contain two clauses connected by words like once, by the time, when, and before. Specifically, ...
  • Bradley, Elizabeth (1990-12-01)
    Most of the recent literature on chaos and nonlinear dynamics is written either for popular science magazine readers or for advanced mathematicians. This paper gives a broad introduction to this interesting and rapidly ...
  • Banks, Edwin Roger (1970-06-01)
    This paper presents in order 1) a brief description of the results, 2) a definition of cellular automata, 3) discussion of previous work in this area by Von Neumann and Codd, and 4) details of how the prescribed behaviors ...
  • Arkoudas, Konstantine (2001-04-30)
    This paper introduces the notion of certified computation. A certified computation does not only produce a result r, but also a correctness certificate, which is a formal proof that r is correct. This can greatly enhance ...
  • Pratt, Vaughan R. (MIT Artificial Intelligence Laboratory, 1976-03)
    Advantages of the standard external representation of LISP include its simple definition, its economical implementation and its convenient extensibility. These advantages have been gained by trading off syntactic variety ...
  • McIntosh, Harold V. (1968-01-01)
    CRGU is a CONVERT program, CONG its literal transcription into LISP, realized in the CTSS LISP of Project MAC, for finding all the congruence relations of a finite state machine whose transition table is given as an argument. ...
MIT-Mirage