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:

  • Doyle, Jon (1978-11-01)
    To choose their actions, reasoning programs must be able to draw conclusions from limited information and subsequently revise their beliefs when discoveries invalidate previous assumptions. A truth maintenance system ...
  • Siapas, Athanassios G. (1992-12-01)
    We present a novel approach to parameter estimation of systems with complicated dynamics, as well as evidence for the existence of a universal power law that enables us to quantify the dependence of global geometry ...
  • Torralba, Antonio; Oliva, Aude (2001-12-01)
    In the absence of cues for absolute depth measurements as binocular disparity, motion, or defocus, the absolute distance between the observer and a scene cannot be measured. The interpretation of shading, edges and junctions ...
  • Clinger, Will (MIT Artificial Intelligence Laboratory, 1979-06)
  • Abelson, Hal; Adams, Jim (1974-12-01)
    This is a brief description of the primitives in PDP 11 LOGO. It is intended to provide a quick reference for users who are already familiar with LOGO basics. For a more detailed and comprehensive description of LOGO, ...
  • Goldenberg, E. Paul (1975-03-01)
    This glossary was written for the purpose of providing a quick and concise yet accurate description of the primitives and special words and characters of the March 18, 1975 PDP 11 implementation of the LOGO languge. ...
  • Abbott, Russ (1967-06-01)
    Underlined terms are included in the glossary.
  • Lavin, Mark A. (MIT Artificial Intelligence Laboratory, 1973-03)
    This paper discusses the visual phenomenon of gloss. It is shown that the perception of this phenomenon derives from two effects (1) that the image reflected by a glossy surface lies in a different plane from the surface, ...
  • Flynn, A. M. (MIT Artificial Intelligence Laboratory, 1987-06)
    A new concept in mobile robots is proposed, namely that of a gnat-sized autonomous robot with on-board sensors, brains, actuators and power supplies, all fabricated on a single piece of silicon. Recent breakthroughs in ...
  • Kashket, Michael B. (1987-01-01)
    Free-word order languages have long posed significant problems for standard parsing algorithms. This thesis presents an implemented parser, based on Government-Binding (GB) theory, for a particular free-word order ...
  • Waters, Richard C. (1981-10-01)
    A pretty printer is presented which makes it easy for a user to control the format of the output produced. The printer can be used as a general mechanism for printing data structures as well as programs. It is divided ...
  • Waters, Richard C. (1982-09-01)
    A Lisp pretty printer is presented which makes it easy for a user to control the format of the output produced. The printer can be used as a general mechanism for printing data structures as well as programs. It is ...
  • Ristad, Eric Sven (1985-03-01)
    Proponents of generalized phrase structure grammar (GPSG) cite its weak context-free generative power as proof of the computational tractability of GPSG-Recognition. Since context-free languages (CFLs) can be parsed ...
  • Locher, Thomas; Kuhn, Fabian; Oshman, Rotem (2009-05-29)
    Over the last years, large-scale decentralized computer networks such as peer-to-peer and mobile ad hoc networks have become increasingly prevalent. The topologies of many of these networks are often highly dynamic. This ...
  • Rowe, Neil (1976-10-01)
    This paper discusses some student projects involving generative grammars. While grammars are usually associated with linguisitics, their usefuleness goes far beyond just "language" to make different domains. Their ...
  • Rubin, Andee (1973-03-01)
    The grammar which SHRDLU uses to parse sentences is outlined in a series of flowcharts which attempt to modularize and illuminate its structure. In addition, a short discussion of systemic grammar is included.
  • McAllester, David (1991-12-01)
    We present a term rewriting procedure based on congruence closure that can be used with arbitrary equational theories. This procedure is motivated by the pragmatic need to prove equations in equational theories where ...
  • Minsky, Marvin (1964-01-01)
    It would be useful to develop a combination typewriter-plotter along the lines described below. The device could be coupled to a telephone line with a reasonably small amount of electronics -- mostly relays.
  • Beckmann, Nathan; Eastep, Jonathan; Gruenwald, Charles, III; Kurian, George; Kasture, Harshad; Miller, Jason E.; Celio, Christopher; Agarwal, Anant (2009-11-09)
    This paper introduces the open-source Graphite distributed parallel multicore simulator infrastructure. Graphite is designed from the ground up for exploration of future multicore processors containing dozens, hundreds, ...
  • Pollard, Nancy S. (1990-05-01)
    This report presents a system for generating a stable, feasible, and reachable grasp of a polyhedral object. A set of contact points on the object is found that can result in a stable grasp; a feasible grasp is found ...
MIT-Mirage