The analysis of time series is a central issue in economic research and many other scientific applications. However, the data management functionality for this field is not provid...
Werner Dreyer, Angelika Kotz Dittrich, Duri Schmid...
Lamping's optimalgraph reduction technique for the -calculus is generalized to a new class of higher order rewriting systems, called Interaction Systems. Interaction Systems ...
Fuzzy classification rules are widely considered a well-suited representation of classification knowledge, as they allow readable and interpretable rule bases. The goal of this pa...
Much work has been done in the areas of and–parallelism and data parallelism in Logic Programs. Such work has proceeded to a certain extent in an independent fashion. Both types...
Abstract Subtyping relations for object-oriented formalisms describe relationships between super- and subclasses which satisfy the substitutability requirement imposed on types and...