25 citations · 32 across the 6 of their papers we have counts for
3 papers · 1 filter
ADD-Lib: Decision Diagrams in Practice
Frederik Gossen, Alnis Murtovi, Philip Zweihoff +1
In the paper, we present the ADD-Lib, our efficient and easy to use framework for Algebraic Decision Diagrams (ADDs). The focus of the ADD-Lib is not so much on its efficient imple…
Aggressive Aggregation: a New Paradigm for Program Optimization
Frederik Gossen, Marc Jasper, Alnis Murtovi +1
In this paper, we propose a new paradigm for program optimization which is based on aggressive aggregation, i.e., on a partial evaluation-based decomposition of acyclic program fra…
Large Random Forests: Optimisation for Rapid Evaluation
Frederik Gossen, Bernhard Steffen
Random Forests are one of the most popular classifiers in machine learning. The larger they are, the more precise is the outcome of their predictions. However, this comes at a cost…