LCS Technical Memos (1974 - 2003): Recent submissions
Now showing items 187-189 of 486
-
I/O Automata: A Model for Discrete Event Systems
(1988-03) -
A Modular Proof of Correctness for a Network Synchronizer
(1987-09)In this paper we offer a formal, rigorous proof of the correctness of Awerbuch's algorithm for network synchronization. We specify both the algorithm and the correctness condition using the I/O automaton model, which has ... -
Inferring Decision Trees Using the Minimum Description Length Principle
(1987-09)We explore the use of Rissanen's Minimum Description Length Principle for the construction of decision trees. Empirical results comparing this approach to other methods are given.
