LCS Technical Memos (1974 - 2003): Recent submissions

Now showing items 211-213 of 486

    • Nonsequential Computation and Laws of Nature 

      Vitányi, Paul M.B. (1986-05)
      Traditionally, computational complexity theory deals with sequential computations. In the computational models the underlying physics is hardly accounted for. This attitude has persisted in common models for parallel ...

    • Representing Change 

      Sacks, Elisha (1986-05)
      This paper evaluates knowledge representations for time-dependent information. It compares recent work by Moore, McDermott, and Allen with an ealier proposal by McCarthy and Hayes. Moore's formalism is faulted for its ...

    • Distributed Control in Computer Networks and Cross-sections of Colored Multidimensional Bodies 

      Kranakis, Evangelos; Vitanti, Paul M.B. (1986-04)
      The number of messages to match a pair of processes in a multiprocessor network with mobile processes is a measure for the cost of setting up temporary communication between processes. We establish lower bounds on the ...