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:

  • 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 ...
  • Greenblatt, Richard D.; Eastlake, Donald E., III; Crocker, Stephen D. (1969-04-01)
    Since mid-November 1966 a chess program has been under development at the Artificial Intelligence Laboratory of Project MAC at M.I.T. This paper describes the state of the program as of August 1967 and gives some of the ...
  • Poggio, Tomaso; Verri, Allessandro; Torre, Vincent (1991-04-01)
    How can one compute qualitative properties of the optical flow, such as expansion or rotation, in a way which is robust and invariant to the position of the focus of expansion or the center of rotation? We suggest a ...
  • Beeler, Michael (MIT Artificial Intelligence Laboratory, 1974-05)
    The programs SNAP and ZSLAVE are components of a new grey scale display system. The object is to produce photographs, from a computer display, which have grey scale resolution comparable to that of a the visual input devices ...
  • Little, Jim (MIT Artificial Intelligence Laboratory, 1986-04-14)
    The image display tool GROK provides a facility for displaying images on the black-and-white screen of a Symbolics 3600 monitor. It allows display of images and their manipulation through a special window it manages. Images ...
  • Jacobs, David W. (1989-11-01)
    This paper presents a new method of grouping edges in order to recognize objects. This grouping method succeeds on images of both two- and three- dimensional objects. So that the recognition system can consider first ...
  • Braunegg, David J. (MIT Artificial Intelligence Laboratory, 1989-03)
    This cookbook contains recipes prepared for the GSL (Graduate Student Lunch) at the Massachusetts Institute of Technology Artificial Intelligence Laboratory.
  • Beeler, Michael; Cohen, Joseph D.; White, John L. (MIT Artificial Intelligence Laboratory, 1974-01)
    This memo describes two GT40 programs: URUG, an octal micro-debugger: and VT07, a Datapoint simulator and general display package. There is also a description of the MITAI LISP display slave, and how it uses VT07 as a ...
  • Devadas, Srinivas; Cho, Myong Hyon; Shim, Keun Sup; Lis, Mieszko (2009-08-18)
    In-order packet delivery, a critical abstraction for many higher-level protocols, can severely limit the performance potential in low-latency networks (common, for example, in network-on-chip designs with many cores). While ...
  • Gil, Stephanie; Kumar, Swarun; Mazumder, Mark; Katabi, Dina; Rus, Daniela (July 2015)
    Multi-robot networks use wireless communication to provide wide-ranging services such as aerial surveillance and unmanned delivery. However, effective coordination between multiple robots requires trust, making them ...
  • Hewitt, Carl; Attardi, Giuseppe (MIT Artificial Intelligence Laboratory, 1980-12)
    In this paper we survey the current state of the art on fundamental aspects of concurrent systems. We discuss the notion of concurrency and discuss a model of computation which unifies the lambda calculus model and the ...
  • Jackson, Daniel; Estler, H.-Christian; Rayside, Derek (2009-07-03)
    This paper presents a new general-purpose algorithm for exact solving of combinatorial many-objective optimization problems. We call this new algorithm the guided improvement algorithm. The algorithm is implemented on top ...
  • Hsu, Eugene; Silva, Marco da; Popovic, Jovan (2007-08-01)
    Time warping allows users to modify timing without affecting poses. It has many applications in animation systems for motion editing, such as refining motions to meet new timing constraints or modifying the acting of ...
  • Stacy, Christopher C. (MIT Artificial Intelligence Laboratory, 1982-01-27)
    It is said that it is not wise to dabble in the Arts without care and caution, for the spell is at once subtle and dangerous: Look herein! For if you read carefully and closely, you can incant a Word of Magic, and the ...
MIT-Mirage