4 citations · 7 across the 3 of their papers we have counts for
3 papers
cs.LG2019★ 2 cited
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…
cs.PL2019★ 1 cited
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…
cs.LG2019★ 4 cited
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…