Výsledky vyhledávání - "Yuichiroh Nakagawa"

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

Autor: Hideto Ogawa, Sato Naoto, Hironobu Kuruma, Yuichiroh Nakagawa

Publikováno v: IEICE Transactions on Information and Systems. :363-378

As one type of machine-learning model, a "decision-tree ensemble model" (DTEM) is represented by a set of decision trees. A DTEM is mainly known to be valid for structured data; however, like other machine-learning models, it is difficult to train so

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::8f8c4f44ca538a7b00c6516b5c31ef17
https://doi.org/10.1587/transinf.2019edp7120

Zobrazit plný text záznamu

A Model-Checking Approach for Fault Analysis Based on Configurable Model Extraction

Autor: Makoto Ichii, Yuichiroh Nakagawa, Tomoyuki Myojin, Hideto Ogawa, Masaki Chikahisa

Publikováno v: IEICE Transactions on Information and Systems. :1150-1160

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::9d74f9b263968148e4439a0d1f0c7394
https://doi.org/10.1587/transinf.2014fop0012

Zobrazit plný text záznamu

A Rule-based Automated Approach for Extracting Models from Source Code

Autor: Hideto Ogawa, Tomoyuki Myojin, Masaki Chikahisa, Yuichiroh Nakagawa, Makoto Ichii

Publikováno v: WCRE

We herein propose Program-oriented Modeling (POM), a novel approach to extract software models automatically from source code. The proposed approach is developed in order to satisfy the requirements of model abstraction for situations in which a mode

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::6f169090ebda655973b3a0e3fb97ac06
https://doi.org/10.1109/wcre.2012.40

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání