Specification Mining and Reasoning about Programs for Verifying Systems with Infinite Structures
Specification Mining and Reasoning about Programs for Verifying Systems with Infinite Structures
无限结构系统验证程序规范挖掘与推理
批准号：
18K11432
负责人：
Seki Hirohisa
金额：
$2.58万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2018
资助国家：
日本
项目状态：
已结题
起止时间：
2018-04-01 至 2021-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(11)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Mining Non-Redundant Recurrent Rules from a Sequence Database
从序列数据库中挖掘非冗余循环规则
从序列数据库中挖掘非冗余循环规则
DOI：
--
发表时间：
2018
期刊：
International Journal of Computational Intelligence Studies
影响因子：
--
作者：
[SeungYong Yoon, H. Seki]
通讯作者：
H. Seki
テキスト分類のための文書拡張法の評価
用于文本分类的文档增强方法的评估
用于文本分类的文档增强方法的评估
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[Takumi Kurokawa, Atsuhiko Kai, 鳥山 修平 世木 博久]
通讯作者：
鳥山 修平 世木 博久
A Parallel Algorithm for Mining Non-Redundant Recurrent Rules from a Sequence Database
一种从序列数据库中挖掘非冗余循环规则的并行算法
一种从序列数据库中挖掘非冗余循环规则的并行算法
DOI：
--
发表时间：
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
使用术语相似性度量对短文档数据进行分类
使用术语相似性度量对短文档数据进行分类
DOI：
--
发表时间：
2021
期刊：
International Journal of Computational Intelligence Studies
影响因子：
--
作者：
[Hirohisa Seki, Shuhei Toriyama]
通讯作者：
Shuhei Toriyama
Mining Correlated Association Rules from Multi-Relational Data using Interval Patterns
使用区间模式从多关系数据中挖掘相关关联规则
使用区间模式从多关系数据中挖掘相关关联规则
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[H. Seki , M. Nagao]
通讯作者：
M. Nagao
共 10 条
Study on Software Verification Methods Using Program Transformation Handling Infinite Terms
-
批准号：24500171
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$3.08万
-
财政年份：2012
-
负责人：Seki Hirohisa
-
依托单位：
海外基金