Bernhard Steffen
3 papers in the PaperMetrix corpus
Papers by this author
-
User-level synthesis
2015
In this paper, we sketch how treating product lines as systems of possibly heterogeneous constraints allows one to elegantly and consistently manage product lines in terms of a product line of product lines. In fact, …
-
Algebraic aggregation of random forests: towards explainability and rapid evaluation
2021 · International Journal on Software Tools for Technology Transfer
Abstract Random Forests are one of the most popular classifiers in machine learning. The larger they are, the more precise the outcome of their predictions. However, this comes at a cost: it is increasingly difficult …
-
Formal Methods Boost Experimental Performance for Explainable AI
2021 · IT Professional
IN “Towards Explainability in Machine Learning: The Formal Methods Way,”1 we illustrated last year how Explainable AI can profit by formal methods in terms of its explainability. In fact, Explainable AI is a new branch …