Based on inductive definitions, we develop a tool that automates the definition of partial recursive functions in higher-order logic (HOL) and provides appropriate proof rules for ...
Graph transformation works under a whole-world assumption. In modelling realistic systems, this typically makes for large graphs and sometimes also large, hard to understand rules....
A new method of kernel density estimation with a varying adaptive window size is proposed. It is based on the socalled intersection of confidence intervals (ICI) rule. Several exa...
Abstract. For several reasons enterprises are frequently subject to organizational change. Respective adaptations may concern business processes, but also other components of an en...
Fuzzy model-based adaptive control, unlike traditional fuzzy control, extracts expert knowledge from data by using model identification techniques. In this paper, we propose an an...
Pablo Carmona, Juan Luis Castro, Jose Manuel Zurit...