論文

査読有り

2020年2月

Formal Verification of a Decision-Tree Ensemble Model and Detection of Its Violation Ranges

IEICE Trans. Inf. & Syst.

Naoto Sato
Hironobu Kuruma
Yuichiroh Nakagawa
Hideto Ogawa

巻: E103-D
号: 2
開始ページ: 363
終了ページ: 378
記述言語: 英語
掲載種別: 研究論文（学術雑誌）
DOI: 10.1587/transinf.2019EDP7120

リンク情報

DOI: https://doi.org/10.1587/transinf.2019EDP7120
DBLP: https://dblp.uni-trier.de/rec/journals/ieicet/SatoKNO20
URL: http://search.ieice.org/bin/summary.php?id=e103-d_2_363
URL: https://dblp.uni-trier.de/db/journals/ieicet/ieicet103d.html#SatoKNO20

ID情報

DOI : 10.1587/transinf.2019EDP7120
DBLP ID : journals/ieicet/SatoKNO20

エクスポート: BibTeX RIS

論文リストへ