LCS Technical Memos (1974 - 2003): Recent submissions

Now showing items 412-414 of 486

    • An Overview of OWL, A Language for Knowledge Representation 

      Szolovits, Peter; Hawkinson, Lowell B.; Martin, William A. (1977-06)
      We describe the motivation and overall organization of the OWL language for knowledge representation. OWL consists of a memory of concepts in terms of which all English phrases and all knowledge of an application domain ...

    • Finding Minimum Cutsets in Reducible Graphs 

      Shamir, Adi (1977-06)
      The analysis of many processes modelled by directed graphs requires the selection of a subset of vertices which cut all the cycles in the graph. Reducing the size of such a cutset usually leads to a simpler and more efficient ...

    • The Mutual Exclusion Problem for Unreliable Processes 

      Rivest, Ronald L.; Pratt, Vaughan R. (1977-04)
      Consider n processes operating asynchronously in parallel, each of which maintains a single "public" variable which can be read (but not written) by the other processes. We show that the processes can synchronize their ...