MAC Technical Reports (1963 - 1974): Recent submissions

Now showing items 70-72 of 119

    • Computer Recognition of Three-Dimensional Objects in a Visual Scene 

      Guzman-Arenas, Aldolfo (1968-12)
      Methods are presented 1) to partition or decompose a visual scene into the bodies forming it; (2) to position these bodies in three-dimensional space, by combining two scenes that make a stereoscopic pair; 3) to find the ...

    • A Simulator of Multiple Interactive Users to Drive a Time-shared Computer System 

      Greenbaum, Howard Jacques (1969-01)
      In the construction and maintenance of a time-shared computer system the need arises for a tool which can provide a controlled, repeatable environment for the purpose of making performance measurements. This thesis describes ...

    • Lambda Calculus Models of Programming Languages 

      Morris, James H. (1968-12)
      Two aspects of programming languages, recursive definitions and type declarations are analyzed in detail. Church's -calculus is used as a model of a programming language for purposes of the analysis. The main result on ...