Specification Mining and Reasoning about Programs for Verifying Systems with Infinite Structures

无限结构系统验证程序规范挖掘与推理

• 批准号: 18K11432
• 负责人: Seki Hirohisa
• 金额: $ 2.58万
• 依托单位: Nagoya Institute of Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2018
• 资助国家: 日本
• 起止时间: 2018-04-01 至 2021-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-18K11432/
• 关键词: プログラム推論; パターン発見; 形式概念分析; 計算論理; パターンマイニング; ルール発見; 仕様マイニング; 探索・論理・推論アルゴリズム

项目成果

Mining Non-Redundant Recurrent Rules from a Sequence Database

从序列数据库中挖掘非冗余循环规则

• 发表时间: 2018
• 期刊: International Journal of Computational Intelligence Studies
• 作者: SeungYong Yoon;H. Seki
• 通讯作者: H. Seki

テキスト分類のための文書拡張法の評価

用于文本分类的文档增强方法的评估

• 发表时间: 2019
• 作者: Takumi Kurokawa;Atsuhiko Kai;鳥山 修平 世木 博久
• 通讯作者: 鳥山 修平 世木 博久

A Parallel Algorithm for Mining Non-Redundant Recurrent Rules from a Sequence Database

一种从序列数据库中挖掘非冗余循环规则的并行算法

• 发表时间: 2019
• 期刊: Journal of Advanced Computational Intelligence and Intelligent Informatics
• 影响因子: 0.7
• 作者: S.-Y. Yoon; H. Seki
• 通讯作者: H. Seki

Using term similarity measures for classifying short document data

使用术语相似性度量对短文档数据进行分类

• 发表时间: 2021
• 期刊: International Journal of Computational Intelligence Studies
• 作者: Hirohisa Seki; Shuhei Toriyama
• 通讯作者: Shuhei Toriyama

Mining Correlated Association Rules from Multi-Relational Data using Interval Patterns

使用区间模式从多关系数据中挖掘相关关联规则

• 发表时间: 2018
• 作者: H. Seki ;M. Nagao
• 通讯作者: M. Nagao