Sequential classification uses in a stepwise process only part of the data (evidence) for partial classification, i.e., classifying only objects with sufficient evidence and leavi...
Among the variety of alignment approaches (e.g., using machine learning, subsumption computation, formal concept analysis, etc.) similarity-based ones rely on a quantitative asses...
In modern computers, the floating point unit is the part of the processor delivering the highest computing power and getting most attention from the design team. Performance of an...
Abstract. A formal and effective approach to the extension of the computational behaviour of logic programs is presented. The approach builds upon the following concepts. The exte...
Feature modeling is an important approach to capturing commonalities and variabilities in system families and product lines. In this paper, we propose a cardinality-based notation ...
Krzysztof Czarnecki, Simon Helsen, Ulrich W. Eisen...