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:

  • Skordos, Panayotis A. (1995-12-01)
    An effective approach of simulating fluid dynamics on a cluster of non- dedicated workstations is presented. The approach uses local interaction algorithms, small communication capacity, and automatic migration of parallel ...
  • Blelloch, Guy E.; Little, James J. (1988-02-01)
    This paper describes several parallel algorithms that solve geometric problems. The algorithms are based on a vector model of computation---the scan-model. The purpose of this paper is both to show how the model can ...
  • Hung, Elmer S. (1995-04-01)
    This report examines how to estimate the parameters of a chaotic system given noisy observations of the state behavior of the system. Investigating parameter estimation for chaotic systems is interesting because of ...
  • Katz, Boris; Winston, Patrick H. (1982-05-01)
    This paper is about an implemented natural language interface that translates from English into semantic net relations and from semantic net relations back into English. The parser and companion generator were implemented ...
  • Berwick, Robert C.; Weinberg, Amy S. (1985-04-01)
    This article summarizes and extends recent results linking deterministic parsing to observed "locality principles" in syntax. It also argues that grammatical theories based on explicit phrase structure rules are unlikely ...
  • Lozano-Perez, Tomas (1975-05-01)
    Much low-level vision work in AI deals with one-dimensional intensity profiles. This paper describes PROPAR, a system that allows a convenient and uniform mechanism for recognizin such profiles. PROPAR is a modified ...
  • Martin, William (1969-03-01)
    Key word grammars are defined to be the same as context free grammars, except that a production may specify a string of arbitrary symbols. These grammars define languages similar to those used in the programs CARPS and ...
  • Miller, Mark L.; Goldstein, Ira P. (1976-12-01)
    A theory of the planning and debugging of programs is formalized as is context free grammar. The grammar is used to reveal the constituent structure of problem solving episodes, by parsing protocols in which programs ...
  • Berlin, Andrew; Surati, Rajeev (1994-05-01)
    We describe the key role played by partial evaluation in the Supercomputer Toolkit, a parallel computing system for scientific applications that effectively exploits the vast amount of parallelism exposed by partial ...
  • Ward, Allen C. (MIT Artificial Intelligence Laboratory, 1987-02)
    I have implemented a simple "mechanical design compiler", that is a program which can convert high-level descriptions of a mechanical design into detail descriptions. (Human interaction is sometimes required.) The program ...
  • Radeva, Tsvetomira; Lynch, Nancy (2011-04-14)
    Partial Reversal (PR) is a link reversal algorithm which ensures that the underlying graph structure is destination-oriented and acyclic. These properties of PR make it useful in routing protocols and algorithms for solving ...
  • Devadas, Srinivas; Agarwal, Anant; Hoffmann, Henry (2009-06-16)
    This work presents four partitioning strategies, or patterns, useful for decomposing a serial application into multiple concurrently executing parts. These partitioning strategies augment the commonly used task and data ...
  • Hoffman, D.D.; Richards, Whitman (1983-12-01)
    A complete theory of object recognition is an impossibility ??t simply because of the multiplicity of visual cues we exploit in elegant coordination to identify an object, but primarily because recognition involves ...
  • Greiner, Helen (1990-05-01)
    This report presents a design of a new type of robot end-effector with inherent mechanical grasping capabilities. Concentrating on designing an end-effector to grasp a simple class of objects, cylindrical, allowed a ...
  • Playter, Robert (1995-03-01)
    The control of aerial gymnastic maneuvers is challenging because these maneuvers frequently involve complex rotational motion and because the performer has limited control of the maneuver during flight. A performer can ...
  • Bruss, Anna R.; Horn, Berthold K.P. (1981-11-01)
    A method is proposed for determining the motion of a body relative to a fixed environment using the changing image seen by a camera attached to the body. The optical flow in the image plane is the input, while the ...
  • Levin, Anat; Nadler, Boaz; Durand, Fredo; Freeman, William T. (2012-10-07)
    Image restoration tasks are ill-posed problems, typically solved withpriors. Since the optimal prior is the exact unknown density of natural images,actual priors are only approximate and typically restricted to small ...
  • Beeler, Michael (1973-06-01)
    A description of a mathematical idealization of the feeding pattern of a kind of worm is given.
  • Feldman, Yishai A.; Rich, Charles (1988-05-01)
    The interaction of pattern-directed invocation with equality in an automated reasoning system gives rise to a completeness problem. In such systems, a demon needs to be invoked not only when its pattern exactly matches ...
  • Sinha, Pawan (1994-10-01)
    A key question regarding primate visual motion perception is whether the motion of 2D patterns is recovered by tracking distinctive localizable features [Lorenceau and Gorea, 1989; Rubin and Hochstein, 1992] or by ...
MIT-Mirage