文献
J-GLOBAL ID:202002210280025730
整理番号:20A0995766
ディシジョンツリーアンサンブルモデルの形式的検証とその故障範囲の検出
Formal Verification of a Decision-Tree Ensemble Model and Detection of Its Violation Ranges
著者 (4件):
SATO Naoto
(Research & Development Group, Hitachi, Ltd.)
,
KURUMA Hironobu
(Research & Development Group, Hitachi, Ltd.)
,
NAKAGAWA Yuichiroh
(Research & Development Group, Hitachi, Ltd.)
,
OGAWA Hideto
(Research & Development Group, Hitachi, Ltd.)
資料名:
IEICE Transactions on Information and Systems (Web)
(IEICE Transactions on Information and Systems (Web))
巻:
E103.D
号:
2
ページ:
363-378(J-STAGE)
発行年:
2020年
JST資料番号:
U0469A
ISSN:
1745-1361
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
日本 (JPN)
言語:
英語 (EN)