Artificial Intelligence Lab Publications: Recent submissions

Now showing items 184-186 of 1835

    • Analsysis by Propagation of Constraints in Elementary Geometry Problem Solving 

      Doyle, Jon (MIT Artificial Intelligence Laboratory, 1976-06)
      This paper describes GEL, a new geometry theorem prover. GEL is the result of an attempt to transfer the problem solving abilities of the EL electronic circuit analysis program of Sussman and Stallman to the domain of ...

    • Transparency 

      Stefanescu, Dan (MIT Artificial Intelligence Laboratory, 1975-07)

    • Visual Tracking of Real World Objects 

      Speckert, Glen (MIT Artificial Intelligence Laboratory, 1975-07)
      This paper describes the progress made towards tracking an object visually using a PIN diode attached to a dual mirror deflection system which enables the PIN diode to "optically point" to any position in two-space. A ...