Advanced Search
DSpace@MIT

Browsing Computer Science and Artificial Intelligence Lab (CSAIL) by Title

Research and Teaching Output of the MIT Community

Browsing Computer Science and Artificial Intelligence Lab (CSAIL) by Title

Sort by: Order: Results:

  • Hewitt, Carl (MIT Artificial Intelligence Laboratory, 1974-11)
    This paper presents a unified method [called ENCASING] for dealing with the closely related issues of synchronization and protection in actor systems [Hewitt et al. 1973a, 1973b, 1974a; Greif and Hewitt 1975]. Actors are ...
  • Hall, Miguel (1996-06-01)
    The MIT Prototype Educational Assessment System provides subjects and courses at MIT with the ability to perform online assessment. The system includes polices to handle harassment and electronic "flaming" while ...
  • Chockler, Gregory; Lynch, Nancy; Mitra, Sayan; Tauber, Joshua (2005-07-22)
    Atomicity (or linearizability) is a commonly used consistency criterion for distributed services and objects. Although atomic object implementations are abundant, proving that algorithms achieve atomicity has turned out ...
  • Bowring, Jim (1967-06-01)
    PSEG is a function of one argument--a region name which comes from REGIONLIST, as created by TOPOLOGIST. When it is done, the following data structure exists. *indicates that the data was already stored correctly when PSEG ...
  • Lozano-Perez, Tomas (MIT Artificial Intelligence Laboratory, 1976-12)
    This paper describes PSUDOC, a very simple LISP program to carry out some medical diagnosis tasks. The program's domain is a subset of clinical medicine characterized by patients presenting with edema and/or hematuria. The ...
  • Simosa, Jorge D. (2013-06-04)
    As modern networks become highly integrated, heterogeneous, and experience exponential growth, the task of network management becomes increasingly unmanageable for network administrators and designers. The Knowledge Plane ...
  • Jones, Joe L.; O'Donnell, Patrick A. (MIT Artificial Intelligence Laboratory, 1985-04)
    This document is intended to be a guide to assist a programmer in modifying or extending the Lisp Puma system, the Puma PDP-11 system, or the Cougar PDP-11 system. It consists mostly of short descriptions or hints, and is ...
  • Grauman, Kristen; Darrell, Trevor (2005-03-17)
    Discriminative learning is challenging when examples are setsof local image features, and the sets vary in cardinality and lackany sort of meaningful ordering. Kernel-based classificationmethods can learn complex decision ...
  • Grauman, Kristen; Darrell, Trevor (2006-03-18)
    Discriminative learning is challenging when examples are sets of features, and the sets vary in cardinality and lack any sort of meaningful ordering. Kernel-based classification methods can learn complex decision boundaries, ...
  • Shashua, Amnon; Toelg, Sebastian (1994-06-01)
    The conceptual component of this work is about "reference surfaces'' which are the dual of reference frames often used for shape representation purposes. The theoretical component of this work involves the question ...
  • Williams, Brian C. (1984-07-01)
    With the push towards sub-micron technology, transistor models have become increasingly complex. The number of components in integrated circuits has forced designer's efforts and skills towards higher levels of design. ...
  • Kleer, Johan De (1975-12-01)
    This thesis investigates what knowledge is necessary to solve mechanics problems. A program NEWTON is described which understands and solves problems in mechanics mini-world of objects moving on surfaces. Facts and ...
  • Weinshall, Daphna (1987-12-01)
    Obtaining exact depth from binocular disparities is hard if camera calibration is needed. We will show that qualitative depth information can be obtained from stereo disparities with almost no computations and with ...
  • Brown, Allen (1976-11-01)
    This report investigates some techinques appropriate to representing the knowledge necessary for understanding a class of electronic machines -- radio receivers. A computational performance model - WATSON - is presented. ...
  • Brown, Allen L. (MIT Artificial Intelligence Laboratory, 1974-03)
    A research program is proposed, the goal of which is a computer system that embodies the knowledge and methodology of a competent radio repairman.
  • Forbus, Kenneth D. (1983-05-01)
    Things move, collide, flow, bend, heat up, cool down, stretch, break and boil. These and other things that happen to cause changes in objects over time are intuitively characterized as processes. To understand common ...
  • Forbus, Kenneth D. (1984-07-01)
    Objects move, collide, flow, bend, heat up, cool down, stretch, compress and boil. These and other things that cause changes in objects over time are intuitively characterized as processes. To understand common sense ...
  • Kuncak, Viktor (2007-01-01)
    Boolean Algebra with Presburger Arithmetic (BAPA) combines1) Boolean algebras of sets of uninterpreted elements (BA)and 2) Presburger arithmetic operations (PA). BAPA canexpress the relationship between integer variables ...
  • Marr, David; Pettigrew, J. D. (MIT Artificial Intelligence Laboratory, 1973-12)
    A quantitative summary is given of the computation that is performed by visual cortex in the cat. Part of this computation seems to be achieved using a sample-and-average technique; some quantitative features of this ...
  • Ward, Allen C.; Seering, Warren (1989-01-01)
    This paper presents the ideas underlying a program that takes as input a schematic of a mechanical or hydraulic power transmission system, plus specifications and a utility function, and returns catalog numbers from ...
MIT-Mirage