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:

  • Sobalvarro, Patrick G. (1992-04-01)
    We present methods of calculating the value of two performance parameters for multipath, multistage interconnection networks: the normalized throughput and the probability of successful message transmission. We develop ...
  • Misailovic, Sasa; Roy, Daniel M.; Rinard, Martin (2011-01-19)
    We present a new foundation for the analysis and transformation of computer programs.Standard approaches involve the use of logical reasoning to prove that the applied transformation does not change the observable semantics ...
  • Smyth, Padhraic; Heckerman, David; Jordan, Michael (1996-03-13)
    Graphical techniques for modeling the dependencies of randomvariables have been explored in a variety of different areas includingstatistics, statistical physics, artificial intelligence, speech recognition, image ...
  • Marroquin, J.; Mitter, S.; Poggio, T. (1987-03-01)
    We formulate several problems in early vision as inverse problems. Among the solution methods we review standard regularization theory, discuss its limitations, and present new stochastic (in particular, Bayesian) ...
  • Marroquin, Jose Luis (1985-09-01)
    In this thesis we study the general problem of reconstructing a function, defined on a finite lattice from a set of incomplete, noisy and/or ambiguous observations. The goal of this work is to demonstrate the generality ...
  • Steels, Luc (1979-08-01)
    A frame-based reasoning system is extended to deal with procedural attachment. Arguments are given why procedural attachment is needed in a symbolic reasoner. The notion of an infinitary concept is introduced. Conventions ...
  • Winograd, Terry (1971-01-01)
    This paper describes a system for the computer understanding of English. The system answers questions, executes commands, and accepts information in normal English dialog. It uses semantic information and context to ...
  • Salisbury, J. Kenneth; Srinivasan, Mandayam A. (1996-12-01)
    These proceedings summarize the results of the First PHANToM User's Group Workshop held September 27-30, 1996 MIT. The goal of the workshop was to bring together a group of active users of the PHANToM Haptic Interface ...
  • Salisbury, J. Kenneth; Srinivasan, Mandayam A. (1999-11-04)
    This Report contains the proceedings of the Fourth Phantom Users Group Workshop contains 17 papers presented October 9-12, 1999 at MIT Endicott House in Dedham Massachusetts. The workshop included sessions on, Tools ...
  • Salisbury, J. Kenneth; Srinivasan, Mandayam A. (1997-12-01)
    On October 19-22, 1997 the Second PHANToM Users Group Workshop was held at the MIT Endicott House in Dedham, Massachusetts. Designed as a forum for sharing results and insights, the workshop was attended by more than 60 ...
  • Krakauer, Lawrence J. (1968-09-01)
    This memo describes the TJ6 type justifying program, which can be used in the production of memos, such as this one. In addition, sections III and IV of this memo contain related information about TECO and the type ...
  • Tan, Yang Meng (MIT Artificial Intelligence Laboratory, 1989-06)
    The DA will be a design assistant which can assist the programmer in low-level design. The input language of the DA is a cliché-based program description language that allows the specification and high-level design of ...
  • Guzman, Adolfo; McIntosh, Harold (1966-04-01)
    A program feature has been constructed for CONVERT, closely modeled after the similar facility found in many versions of LISP. Since it is functional or operational in nature, it has been included as a skeleton form, ...
  • Hall, Robert Joseph (1991-02-01)
    Introducing function sharing into designs allows eliminating costly structure by adapting existing structure to perform its function. This can eliminate many inefficiencies of reusing general componentssin specific ...
  • Hall, Robert J. (MIT Artificial Intelligence Laboratory, 1988-05)
    The problem of automatically improving the performance of computer programs has many facets. A common source of program inefficiency is the use of abstraction techniques in program design: general tools used in a specific ...
  • Eisenberg, Michael (1991-10-01)
    Current fashion in "user-friendly'' software design tends to place an overreliance on direct manipulation interfaces. To be truly expressive (and thus truly user-friendly), applications need both learnable interfaces ...
  • Nagpal, Radhika (2001-06-01)
    In this thesis I present a language for instructing a sheet of identically-programmed, flexible, autonomous agents (``cells'') to assemble themselves into a predetermined global shape, using local interactions. The ...
  • Samson, Peter (1966-12-01)
    EYE is a program (on the Vision System tape with the name EYE BALL) which displays on the 340 field of view of the vidisector. The program is controlled by the light pen, which selects various modes and options; and by the ...
  • Winograd, Terry (1969-11-01)
    This memo describes PROGRAMMER, a parser for natural language. It consists of a language for writing grammars in the form of programs, and an interpreter which can use these grammars to parse sentence. PROGRAMMER is ...
  • Rich, Charles; Waters, Richard C. (1987-11-01)
    A scenario is used to illustrate the capabilities of a proposed Design Apprentice, focussing on the area of detailed, low-level design. Given a specification, the Design Apprentice will be able to make many of the ...
MIT-Mirage