The MIT Libraries is completing a major upgrade to DSpace@MIT. Starting May 5 2026, DSpace will remain functional, viewable, searchable, and downloadable, however, you will not be able to edit existing collections or add new material. We are aiming to have full functionality restored by May 18, 2026, but intermittent service interruptions may occur. Please email dspace-lib@mit.edu with any questions. Thank you for your patience as we implement this important upgrade.

Now showing items 40-42 of 1835

    • Laws for Communicating Parallel Processes 

      Baker, Henry; Hewitt, Carl (MIT Artificial Intelligence Laboratory, 1977-05-10)
      This paper presents some laws that must be satisfied by computations involving communicating parallel processes. The laws are stated in the context of the actor theory, a model for distributed parallel computation, and ...
    • The Use of Dependency Relationships in the Control of Reasoning 

      Doyle, Jon (MIT Artificial Intelligence Laboratory, 1976-11)
      Several recent problem-solving programs have indicated improved methods for controlling program actions. Some of these methods operate by analyzing the time-independent antecedent-consequent dependency relationships between ...
    • Reasoning By Analogy: A Progress Report 

      Brown, Richard (MIT Artificial Intelligence Laboratory, 1976-10)
      Rather.