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:

  • Fahlman, Scott E. (MIT Artificial Intelligence Laboratory, 1975-11)
    This paper is intended as a supplement to AI MEMO 331, "A System for Representing and Using Real-World Knowledge". It is an attempt to redefine and clarify what I now believe the central theme of the research to be. Briefly, ...
  • Steels, Luc (MIT Artificial Intelligence Laboratory, 1978-11)
    This paper contains an informal and sketchy overview of a new way of thinking about linguistics and linguistic processing known as conceptual grammar. Some ideas are presented on what kind of knowledge is involved in a ...
  • Raphael, Bertram (1961-11-01)
    This paper deals with the "Calculus of Knowledge", an extension of the propositional calculus in which one may reason about what other people know. Semantic and Syntactic systems are developed, certain theorems are proven, ...
  • Ciccarelli, Eugene (1978-01-01)
    EMACS is a real-time editor primarily intended for display terminals. The intent of this memo is to describe EMACS in enough detail to allow a user to edit comfortably in most circumstances, knowing how to get more ...
  • Weinreb, Daniel; Moon, David A. (MIT Artificial Intelligence Laboratory, 1982-10-14)
    This document is a draft copy of a portion of the Lisp Machine window system manual. It is being published in this form now to make it available, since the complete window system manual is unlikely to be finished in the ...
  • Kouh, Minjoon; Riesenhuber, Maximilian (2003-09-08)
    The question of how shape is represented is of central interest to understanding visual processing in cortex. While tuning properties of the cells in early part of the ventral visual stream, thought to be responsible for ...
  • Kouh, Minjoon; Riesenhuber, Maximilian (2003-09-08)
    The question of how shape is represented is of central interest to understanding visual processing in cortex. While tuning properties of the cells in early part of the ventral visual stream, thought to be responsible for ...
  • I/O Test 
    Beeler, Michael (1967-10-01)
    IO TEST is intended as a hardware testing and debugging aid for use with the PDP-6 and its associated input multiplexer (analog to digital converter) and output multiplexer (digital to analog converter). While all characters ...
  • Hamscher, Walter; Davis, Randall (1987-03-01)
    To determine why something has stopped working, it's helpful to know how it was supposed to work in the first place. This simple fact underlies recent work on a number of systems that do diagnosis from knowledge about ...
  • Theriault, Daniel G. (1983-06-01)
    Act2 is a highly concurrent programming language designed to exploit the processing power available from parallel computer architectures. The language supports advanced concepts in software engineering, providing ...
  • Amsterdam, Jonathan (1990-10-01)
    This is the manual for version 1.1 of Iterate, a powerful iteration macro for Common Lisp. Iterate is similar to Loop but provides numerous additional features, is well integrated with Lisp, and is extensible.
  • Teow, Loo Nin; Katabi, Dina (2006-07-04)
    This paper introduces a new application: predicting the Internet provider-customer market. We cast the problem in the collaborative filtering framework, where we use current and past customer-provider relationships to ...
  • Rosasco, Lorenzo; Verri, Alessandro; Santoro, Matteo; Mosci, Sofia; Villa, Silvia (2009-10-14)
    In this paper we propose a general framework to characterize and solve the optimization problems underlying a large class of sparsity based regularization algorithms. More precisely, we study the minimization of learning ...
  • Eastlake, D.; Greenblatt, R.; Holloway, J.; Knight, T.; Nelson, S. (1968-06-01)
    This reference manual consists of two parts. The first (sections 1 through 6) is intended for those who are either interested in the ITS 1.5 time sharing monitor for its own sake or who wish to write machine language ...
  • Eastlake, D.; Greenblatt, R.; Holloway, J.; Knight, T.; Nelson, S. (1969-07-01)
    This reference manual consists of two parts. The first (sections 1 through 6) is intended for those who are either interested in the ITS 1.5 time sharing monitor for its own sake or who wish to write machine language ...
  • Eastlake, Donald E. (1972-04-01)
    ITS is a time-shared operating system designed for the Artificial Intelligence Laboratory DEC PDP-10/PDP-6 installation and tailored to its special requirements. This status report described the design philosophy behind ...
  • Tschantz, Matthew S. (2006-09-05)
    This paper describes a programming language, Javari, that is capable of expressing and enforcing immutability constraints. The specific constraint expressed is that the abstract state of the object to which an immutable ...
  • Beckmann, Nathan; Sanchez, Daniel (2013-09-01)
    Shared last-level caches, widely used in chip-multiprocessors (CMPs), face two fundamental limitations. First, the latency and energy of shared caches degrade as the system scales up. Second, when multiple workloads share ...
  • Griffith, Arnold K. (MIT Artificial Intelligence Laboratory, 1971-04-02)
    The J%JOIN program creates links between the elements of a set of line segments on the basis of their geometric proximity. According to the value of the third argument, (T or NIL), the program will either place a set of ...
  • Finlayson, Mark Alan; Kulkarni, Nidhi (2011)
    jMWE is a Java library for constructing and testing Multi-Word Expression detectors. The library has three main facilities: (1) a detector API, (2) a MWE index facility, and (3) a test harness. This is version 1.0.0 of the ...
MIT-Mirage