For Full-Text PDF, please login, if you are a member of IEICE,|
or go to Pay Per View on menu list, if you are a nonmember of IEICE.
Formal Verification of a Decision-tree Ensemble Model and Detection of its Violation Ranges
Naoto SATO Hironobu KURUMA Yuichiroh NAKAGAWA Hideto OGAWA
IEICE TRANSACTIONS on Information and Systems
Full Text: PDF(1.3MB)