首页> 外文OA文献 >Formal Verification of a Decision-Tree Ensemble Model and Detection of Its Violation Ranges

【2h】

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

机译：正式验证决策树集合模型和违规范围的检测

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Naoto SATO; Hironobu KURUMA; Yuichiroh NAKAGAWA; Hideto OGAWA;
展开▼
作者单位

展开▼
年度 2020
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Formal Verification of a Decision-Tree Ensemble Model and Detection of Its Violation Ranges [J] . Naoto SATO, Hironobu KURUMA, Yuichiroh NAKAGAWA, IEICE transactions on information and systems . 2020,第2期

机译：正式验证决策树集合模型和违规范围的检测
2. Verification of Precipitation Forecasts from NCEP’s Short-Range Ensemble Forecast (SREF) System with Reference to Ensemble Streamflow Prediction Using Lumped Hydrologic Models [J] . JAMES D. BROWN, DONG-JUN SEO, JUN DU Journal of hydrometeorology . 2012,第3期

机译：参考NCEP的短距离集合预报（SREF）系统对降水预测的验证，并参考使用集总水文模型进行的集合流预测
3. Verification of Short- and Medium-range Precipitation Forecasts from the Ensemble Modeling System of the Hydrometcenter of Russia [J] . A. Yu. Bunder, E. D. Astakhova, I. A. Rozinkina, Russian meteorology and hydrology . 2011,第10期

机译：从俄罗斯水文中心整体模型系统验证中短期降水预报
4. Type-II Diabetes detection using Decision-tree based Ensemble of Classifiers [C] . Gaurav Shetty, Vijay Katkar International Conference on Computing, Communication, Control and Automation . 2019

机译：使用基于决策树的分类器集成进行II型糖尿病检测
5. Operational Short-Range to Long Range (SR2lr) Streamflow Forecasting for Poorly Gauged Basins: The Unexplored Dimension of Variational Ensemble Forecasting, the Spatio-Temporal Structure of Modeling Paradigms, and the Role of Machine Learning Strategies t [D] . Valdes-Pineda, Rodrigo. 2020

机译：运行的短程（SR2LR）流流量预测不良播种盆地：变分合奏预测的未开发维度，建模范式的时空结构，以及机器学习策略的作用
6. A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks [O] . Pedro T Monteiro, Estelle Dumas, Bruno Besson, 2009

机译：一种面向服务的体系结构用于集成遗传监管网络的建模和形式验证
7. Ensemble Models for Spoofing Detection in Automatic Speaker Verification [O] . Bhusan Chettri, Daniel Stoller, Veronica Morfi, 2019

机译：用于自动扬声器验证中欺骗检测的集合模型
8. Verification of a PC/Windows Version of the TACOM/TARDEC Acoustic Detection Range Prediction Model (ADRPM) Translated from the HP-UX Version. [R] . Evans, R., Mantey, J. R., Thomas, D. 1996

机译：验证从Hp-UX版本转换的pC / Windows版本的TaCOm / TaRDEC声学检测范围预测模型（aDRpm）。

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

著录项

引文网络

相似文献

相关主题

期刊订阅