Artificial Intelligence Lab Publications: Recent submissions

Now showing items 79-81 of 1835

    • Vision Utilities 

      Voorhees, Harry (MIT Artificial Intelligence Laboratory, 1985-12)
      This paper documents a collection of Lisp utilities which I have written while doing vision programming on a Symbolics Lisp machine. Many of these functions are useful both as interactive commands invoked from the Lisp ...

    • 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 ...