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:

  • Ciccarelli, Eugene C. (MIT Artificial Intelligence Laboratory, 1981-07)
    This research will develop a methodology for designing user interfaces for general-purpose interactive systems. The central concept is the presentation, a structured pictorial or text object conveying information about ...
  • Singer, Neil; Seering, Warren (1988-01-01)
    A method is presented for generating shaped command inputs which significantly reduce or eliminate endpoint vibration. Desired system inputs are altered so that the system completes the requested move without residual ...
  • Bullwinkle, Candace L. (MIT Artificial Intelligence Laboratory, 1975-07)
    Recent research in linguistic analysis of presuppositions has provided numerous indications of the role of presupposition in lexical analysis. Still others have argued there is no distinction between meaning and the ...
  • Goldstein, Ira (1973-02-01)
    Pretty-printing is the conversion of the list structure to a readable format. This paper outlines the computational problems encountered in such a task and documents the current algorithm in use.
  • Lieberman, Henry (1981-06-01)
    The next generation of artificial intelligence programs will require the ability to organize knowledge as groups of active objects. Each object should have only its own local expertise, the ability to operate in parallel ...
  • Jones, Judi (1980-09-01)
    R is a text formatter. The information in this primer is meant to explain, in simple English, the basic commands needed to use R. Input for R is prepared on computer systems using a text editor. Which editor employed ...
  • Jones, Judi (MIT Artificial Intelligence Laboratory, 1982-03)
    TEX is our latest text formatter. It is designed specifically for technical text (e.g., mathematics), and produces much higher quality output than other formatters previously available. Donald Knuth designed TEX at Stanford ...
  • Theriault, Daniel G. (1982-04-01)
    This paper describes the current design for the Act-1 computer programming language and describes the Actor computational model, which the language was designed to support. It provides a perspective from which to view ...
  • Theriault, Daniel G. (MIT Artificial Intelligence Laboratory, 1981-06)
    This document is intended to describe the current design for computer programming language, Act-1. It describes the Actor computational model, which Act-1 was designed to support. A perspective is provided from which to ...
  • Eastlake, Donald E., III (1966-10-01)
    A program, some TECO macros, and some small modifications to existing systems software have been written, called PRO, whose purpose is to reduce the large number of control languages and system programs it has been necessary ...
  • Guzman, Adolfo (1967-01-01)
    Given a scene, as seen for instance from a T.V. camera or a picture, it is desired to analyze it to organize, differentiate and identify desired objects or classes of objects (i.e., patterns) in it. The present report ...
  • Levin, Michael (1963-07-01)
    This is one of a series of memos concerning a logical system for proof-checking. It is not self-contained, but belongs with future memos which will describe a complete formal system with its intended interpretation and ...
  • Berwick, Robert C. (1987-06-01)
    During the past few years, there has been much discussion of a shift from rule-based systems to principle-based systems for natural language processing. This paper outlines the major computational advantages of ...
  • Dorr, Bonnie J. (1987-12-01)
    Many syntactic parsing strategies for machine translation systems are based entirely on context-free grammars. These parsers require an overwhelming number of rules; thus, translation systems using rule-based parsers ...
  • Beal, Jacob (2007-04-12)
    Principles for Engineered EmergenceIt is difficult to establish engineering control over the behavior ofaggregates of unreliable devices with complicated interactionpatterns. I take a linguistic view of this problem, ...
  • Feldman, Yishai A.; Rich, Charles (MIT Artificial Intelligence Laboratory, 1989-05)
    The purpose of this paper is to elucidate the following four important architectural principles of knowledge representation and reasoning with the example of an implemented system: limited reasoning, truth maintenance, ...
  • Papazian, Pegor (1991-06-01)
    This thesis introduces elements of a theory of design activity and a computational framework for developing design systems. The theory stresses the opportunistic nature of designing and the complementary roles of focus ...
  • Girosi, Federico; Jones, Michael; Poggio, Tomaso (1993-06-01)
    We had previously shown that regularization principles lead to approximation schemes, as Radial Basis Functions, which are equivalent to networks with one layer of hidden units, called Regularization Networks. In this ...
  • Nishihara, H.K. (1984-05-01)
    A binocular-stereo-matching algorithm for making rapid visual range measurements in noisy images is described. This technique is developed for application to problems in robotics where noise tolerance, reliability, and ...
  • Ponce, Jean (1985-04-01)
    Computing surface and/or object intersections is a cornerstone of many algorithms in Geometric Modeling and Computer Graphics, for example Set Operations between solids, or surface Ray Casting display. We present an ...
MIT-Mirage