Now showing items 193-195 of 1835

    • Meta-evaluation of Actors with Side-effects 

      Yonezawa, Akinori (MIT Artificial Intelligence Laboratory, 1975-06)
      Meta-evaluation is a process which symbolically evaluates an actor and checks to see whether the actor fulfills its contract (specification). A formalism for writing contracts for actors with side-effects is presented. ...
    • The Application of Linear Systems Analysis to Image Processing. Some Notes. 

      Horn, Berthold K.P.; Sjoberg, Robert W. (MIT Artificial Intelligence Laboratory, 1974)
      The Fourier transform is a convenient tool for analyzing the performance of an image-forming system, but must be treated with caution. One of its major uses is turning convolutions into products. It is also used to transform ...
    • Kinematics, Statics, and Dynamics of Two-D Manipulators 

      Horn, Berthold K.P. (MIT Artificial Intelligence Laboratory, 1975-06)
      In order to get some feeling for the kinematics, statics, and dynamics of manipulators, it is useful to separate the problem of visualizing linkages in three-space from the basic mechanics. The general-purpose two-dimensional ...