In this paper we propose the use of process algebras as powerful frameworks for model-based diagnosis. In fact, they provide machinery and tools for building component-oriented mod...
Abstract. The present paper presents a new approach of how to convert Gold-style [4] learning in the limit into stochastically finite learning with high confidence. We illustrate t...
This paper reports on the joint GE-CMU Tipster SHOGUN customization effort for MUC-4 , and analyzes the results of the TST3 and TST4 runs in comparison with the GE system.
George B. Krupka, Paul S. Jacobs, Michael L. Mauld...
In this paper, we give an overview of the framework of graph transformation units which provides syntactic and semantic means for analyzing, modeling, and structuring all kinds of ...
We analyze estimation methods for DataOriented Parsing, as well as the theoretical criteria used to evaluate them. We show that all current estimation methods are inconsistent in ...