Algebraic aggregation of random forests: towards explainability and rapid evaluation (Englisch)
Freier Zugriff
- Neue Suche nach: Gossen, Frederik
- Neue Suche nach: Steffen, Bernhard
- Neue Suche nach: Gossen, Frederik
- Neue Suche nach: Steffen, Bernhard
In:
International Journal on Software Tools for Technology Transfer
;
25
, 3
;
267-285
;
2023
- Aufsatz (Zeitschrift) / Elektronische Ressource
-
Titel:Algebraic aggregation of random forests: towards explainability and rapid evaluation
-
Weitere Titelangaben:Int J Softw Tools Technol Transfer
-
Beteiligte:Gossen, Frederik ( Autor:in ) / Steffen, Bernhard ( Autor:in )
-
Erschienen in:International Journal on Software Tools for Technology Transfer ; 25, 3 ; 267-285
-
Verlag:
- Neue Suche nach: Springer Berlin Heidelberg
-
Erscheinungsort:Berlin/Heidelberg
-
Erscheinungsdatum:01.06.2023
-
Format / Umfang:19 pages
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Lizenzbestimmungen:
-
Datenquelle:
Inhaltsverzeichnis – Band 25, Ausgabe 3
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 241
-
Explanation Paradigms Leveraging Analytic Intuition (ExPLAIn)Jansen, Nils / Nolte, Gerrit / Steffen, Bernhard et al. | 2023
- 249
-
Algebraically explainable controllers: decision trees and support vector machines join forcesJüngermann, Florian / Křetínský, Jan / Weininger, Maximilian et al. | 2023
- 267
-
Algebraic aggregation of random forests: towards explainability and rapid evaluationGossen, Frederik / Steffen, Bernhard et al. | 2021
- 287
-
Forest GUMP: a tool for verification and explanationMurtovi, Alnis / Bainczyk, Alexander / Nolte, Gerrit / Schlüter, Maximilian / Steffen, Bernhard et al. | 2023
- 301
-
Towards rigorous understanding of neural networks via semantics-preserving transformationsSchlüter, Maximilian / Nolte, Gerrit / Murtovi, Alnis / Steffen, Bernhard et al. | 2023
- 329
-
First three years of the international verification of neural networks competition (VNN-COMP)Brix, Christopher / Müller, Mark Niklas / Bak, Stanley / Johnson, Taylor T. / Liu, Changliu et al. | 2023
- 341
-
Analysis of recurrent neural networks via property-directed verification of surrogate modelsKhmelnitsky, Igor / Neider, Daniel / Roy, Rajarshi / Xie, Xuan / Barbot, Benoît / Bollig, Benedikt / Finkel, Alain / Haddad, Serge / Leucker, Martin / Ye, Lina et al. | 2022
- 355
-
The power of typed affine decision structures: a case studyNolte, Gerrit / Schlüter, Maximilian / Murtovi, Alnis / Steffen, Bernhard et al. | 2023
- 375
-
Decision-making under uncertainty: beyond probabilitiesBadings, Thom / Simão, Thiago D. / Suilen, Marnix / Jansen, Nils et al. | 2023
- 393
-
An overview of structural coverage metrics for testing neural networksUsman, Muhammad / Sun, Youcheng / Gopinath, Divya / Dange, Rishi / Manolache, Luca / Păsăreanu, Corina S. et al. | 2022
- 407
-
Analyzing neural network behavior through deep statistical model checkingGros, Timo P. / Hermanns, Holger / Hoffmann, Jörg / Klauck, Michaela / Steinmetz, Marcel et al. | 2022