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:

  • Bachrach, Jonathan; Beal, Jacob (2006-06)
    In many sensor network applications, the network is deployedto approximate a physical space. The network itself is not ofinterest: rather, we are interested in measuring the propertiesof the space it fills, and of establishing ...
  • Cyphers, D. Scott (MIT Artificial Intelligence Laboratory, 1982-02)
    The programmer's apprentice (PA) is an automated program development tool. The PA depends upon a library of common algorithms (cliches) as the source of its knowledge about programming. The PA can be made more usable if ...
  • Bachrach, Jonathan; Beal, Jacob (2007)
    Many programming domains involve the manipulation of values distributed through a manifold - examples include sensor networks, smart materials, and biofilms. This paper describes a programming semantics for manifolds based ...
  • Rich, Charles; Shrobe, Howard E.; Waters, Richard C.; Sussman, Gerald J.; Hewitt, Carl E. (1978-01-01)
    It is profitable to view the process of writing programs as an engineering activity. A program is a deliberately contrived mechanism constructed from parts whose behaviors are combined to produce the behavior of the ...
  • Chapman, David (1981-11-01)
    This paper describes the design and implementation of a program testing assistant which aids a programmer in the definition, execution, and modification of test cases during incremental program development. The testing ...
  • Woodham, Robert J. (MIT Artificial Intelligence Laboratory, 1972-06)
    A program called LPTSEE has been written for use with the MIT vision system. LPTSEE makes use of the overprint capability of the line printer to allow the user to output a stored picture image.
  • Waters, Richard C. (1986-12-01)
    Essentially all program translators (both source-to-source translators and compilers) operate via transliteration and refinement. This approach is fundamentally limited in the quality of the output it can produce. In ...
  • Brotsky, Daniel (MIT Artificial Intelligence Laboratory, 1981-12)
    We propose research into automatic program understanding via recognition of common data structures and algorithms (clichés). Our goals are two-fold: first, to develop a theory of program structure which makes such recognition ...
  • Dowson, Mark (MIT Artificial Intelligence Laboratory, 1971-09)
    The VIRGIN program will interpret pictures of simple scenes. This paper describes a program, SINNER, which will deal with picture which contain cracks and shadows. In addition to handling pictures of this richer world, ...
  • Winston, Patrick H. (1973-05-01)
    The Vision Flashes are informal working papers intended primarily to stimulate internal interaction among participants in the A.I. Laboratory's Vision and Robotics group. Many of them report highly tentative conclusions ...
  • Lawler, Robert W. (1980-06-01)
    We propose a vision of the structure of knowledge and processes of learning based upon the particularity of experience. Highly specific cognitive structures are constructed through activities in limited domains of ...
  • Sidner, Candace (1978-04-01)
    This paper reports on research being conducted on a computer assistant, called PAL. PAL is being designed to arrange various kinds of events with concern for the who, what, when, where and why of that event. The goal ...
  • Quattoni, Ariadna; Carreras, Xavier; Collins, Michael; Darrell, Trevor (2008-07-23)
    Recent approaches to multi-task learning have investigated the use of a variety of matrix norm regularization schemes for promoting feature sharing across tasks.In essence, these approaches aim at extending the l1 framework ...
  • Hollerbach, John M. (MIT Artificial Intelligence Laboratory, 1972-12-15)
    A methodology is presented for generating descriptions of objects from line drawings. Using projection of planes, objects in a scene can be parsed and described at the same time. The descriptions are hierarchical, and lend ...
  • Shashua, Amnon (1992-09-01)
    This paper addresses the problem of recovering relative structure, in the form of an invariant, referred to as projective structure, from two views of a 3D scene. The invariant structure is computed without any prior ...
  • Abrahams, Paul (1961-01-01)
    The Proofchecker is a heuristically oriented computer program for checking mathematical proofs, with the checking of textbook proofs as its ultimate goal. It constructs, from each proof step given to it, a corresponding ...
  • Litvintchouk, S.D.; Pratt, V.R. (1977-06-01)
    We consider the problem of getting a computer to follow reasoning conducted in dynamic logic. This is a recently developed logic of programs that subsumes most existing first-order logics of programs that manipulate ...
  • Radul, Alexey (2009-11-03)
    I propose a shift in the foundations of computation. Practically all ideas of general-purpose computation today are founded either on execution of sequences of atomic instructions, i.e., assembly languages, or on evaluation ...
  • Kleer, Johan de; Sussman, Gerald Jay (1978-09-01)
    A major component in the process of design is synthesis, the determination of the parameters of the parts of a network given desiderata for the behavior of the network as a whole. Traditional automated synthesis ...
  • Torralba, Antonio; Freeman, William T. (2002-12-01)
    In low-level vision, the representation of scene properties such as shape, albedo, etc., are very high dimensional as they have to describe complicated structures. The approach proposed here is to let the image itself ...
MIT-Mirage