Shin-ichi MINATO


Efficient Scenario Verification for Proximity-based Federations of Smart Objects Using Symbolic Model Checking
Reona MINODA Shin-ichi MINATO 
Publication:   - - Abstracts of (Japanese Edition)
Publication Date: 2018/03/01
Vol. J101-D  No. 3  pp. 470-480
Type of Manuscript:  Special Section PAPER (Special Section on Student Research)
Category: 
Keyword: 
ubiquitous computingcatalytic reaction networkformal verificationsymbolic model checkingsmart object
 Summary | Full Text(in Japanese):PDF(1.1MB)

A Method of ZBDD Variable Ordering for Frequent Pattern Mining
Haruya IWASAKI Shin-ichi MINATO Thomas ZEUGMANN 
Publication:   D - Abstracts of IEICE TRANSACTIONS on Information and Systems (Japanese Edition)
Publication Date: 2008/03/01
Vol. J91-D  No. 3  pp. 608-618
Type of Manuscript:  Special Section PAPER (Special Section on Data Engineering)
Category: 
Keyword: 
dataminingZBDDfrequent patternbinary decision diagramsvariable ordering
 Summary | Full Text(in Japanese):PDF(390.5KB)