AI Working Papers (1971 - 1995): Recent submissions

Now showing items 79-81 of 291

    • A Counterexample to the Theory that Vision Recovers Three-Dimensional Scenes 

      Marill, Thomas (MIT Artificial Intelligence Laboratory, 1988-11)
      The problem of three-dimensional vision is generally formulated as the problem of recovering the three-dimensional scene that caused the image. Here we present a certain line-drawing and show that it has the following ...

    • Test Programming by Program Composition and Symbolic Simulation 

      Shirley, Mark H. (MIT Artificial Intelligence Laboratory, 1985-11)
      Classical test generation techniques rely on search through gate-level circuit descriptions, which results in long runtimes. In some instances, classical techniques cannot be used because they would take longer than the ...

    • Automated Program Recognition: A Proposal 

      Zelinka, Linda M. (MIT Artificial Intelligence Laboratory, 1985-12)
      The key to understanding a program is recognizing familiar algorithmic fragments and data structures in it. Automating this recognition process will make it easier to perform many tasks which require program understanding, ...