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:

  • Agre, Philip E.; Chapman, David (1989-10-01)
    What plans are like depends on how they're used. We contrast two views of plan use. On the plan-as-program-view, plan use is the execution of an effective procedure. On the plan-as-communication view, plan use is like ...
  • Dowson, Mark; Waltz, David (MIT Artificial Intelligence Laboratory, 1971-06)
    An algorithm is presented which provides a way of telling what a given trihedral corner will look like if viewed from a particular angle. The resulting picture is a junction of two or more lines each labelled according to ...
  • Ganesh, Vijay; Minnes, Mia; Solar-Lezama, Armando; Rinard, Martin (2011-02-01)
    We prove several decidability and undecidability results for the satisfiability/validity problem of formulas over a language of finite-length strings and integers (interpreted as lengths of strings). The atomic formulas ...
  • Horn, Berthold K.P. (MIT Artificial Intelligence Laboratory, 1978-02)
    Despite two decades of work on mechanical manipulators and their associated controls, we do not see wide-spread application of these devices to many of the tasks to which they seem so obviously suited. Somehow, a variety ...
  • Richards, W.; Jepson, A. (1992-04-01)
    Using a Bayesian framework, we place bounds on just what features are worth computing if inferences about the world properties are to be made from image data. Previously others have proposed that useful features reflect ...
  • Bamberger, Jeanne (1974-11-01)
    The work reported here began with two fundamental assumptions: 1) The perception of music is an active process; it involves the individual in selecting, sorting, and grouping the features of the phenomena before her. ...
  • Winston, Patrick H. (MIT Artificial Intelligence Laboratory, 1971-03)
    An outline of the modules used in the copy demonstration, the reasons for doing robotics, and some possible directions for further work.
  • Beal, Jacob (2006-05-27)
    Distributed computing and live-action roleplaying share many of thesame fundamental problems, as live-action roleplaying games commonly include simulations carried out by their players.Games run by the MIT Assassin's Guild ...
  • Agre, Philip E. (MIT Artificial Intelligence Laboratory, 1972-11)
    This note tries to provide a quick guide to AI literacy for the beginning AI hacker and for the experienced AI hacker or two whose scholarship isn't what it should be. most will recognize it as the same old list of classic ...
  • Spertus, Ellen (1991-08-01)
    This report examines why women pursue careers in computer science and related fields far less frequently than men do. In 1990, only 13% of PhDs in computer science went to women, and only 7.8% of computer science ...
  • Sussman, Gerald Jay (1972-02-01)
    A higher level language derives its great power form the fact that it tends to impose structure on the problem solving behavior for the user. Besides providing a library of useful subroutines with a uniform calling ...
  • Sussman, Gerald Jay; McDermott, Drew Vincent (1972-04-01)
    This paper is a critique of a computer programming language, Carl Hewitts PLANNER, a formalism designed especially to cope with the problems that Artificial Intelligence encounters. It is our contention that the ...
  • Marill, Thomas (1992-06-01)
    When we look at certain line-drawings, we see three-dimensional objects. The question is why; why not just see two-dimensional images? We theorize that we see objects rather than images because the objects we see are, ...
  • Grimson, W. Eric L. (1993-07-01)
    It is commonly assumed that the goal of stereovision is computing explicit 3D scene reconstructions. We show that very accurate camera calibration is needed to support this, and that such accurate calibration is difficult ...
  • Bernstein, Michael; Van Kleek, Max; Khushraj, Deepali; Nayak, Rajeev; Liu, Curtis; schraefel, mc; Karger, David R. (2008-02-10)
    This paper is a case study of an artifact design and evaluation process; it is a reflection on how right thinking about design methods may at times result in sub-optimal results. Our goal has been to assess our decision ...
  • Koch, Olivier; Teller, Seth (2006-01-09)
    We describe an algorithm that takes as inputs a coarse3D model of an environment, and a video sequence acquiredwithin the environment, and produces as output an estimateof the cameraÂ’s 6-DOF egomotion expressed in the ...
  • WIRElist 
    Holloway, John (1969-01-01)
    This memo describes a design aid used for the automatic production of wirelists for machine or hand wiring of wire-cards.
  • Hollerbach, John M. (1982-04-01)
    The Workshop for the Design and Control of Dexterous Hands was held at the MIT Artificial Intelligence Laboratory on November 5-6, 1981. Outside experts were brought together to discuss four topics: kinematics of hands, ...
  • Brodsky, Micah; Krohn, Maxwell; Morris, Robert; Walfish, Michael; Yip, Alexander (2007-08-24)
    Today's Web is built upon a particular symbiotic relationship betweensites and users: the sites invest capital to create and market a setof features, and users gain access to the sites often in exchange fortheir data (e.g., ...
  • Horn, Berthold K.P. (MIT Artificial Intelligence Laboratory, 1980-09)
MIT-Mirage