CSpace

浏览/检索结果: 共2条,第1-2条 帮助

限定条件            
已选(0)清除 条数/页:   排序方式:
Abstraction of elementary hybrid systems by variable transformation 会议论文
20th International Symposium on Formal Methods, FM 2015, Oslo, Norway, June 24, 2015 - June 26, 2015
作者:  Liu, Jiang;  Zhan, Naijun;  Zhao, Hengjun;  Zou, Liang
Adobe PDF(512Kb)  |  收藏  |  浏览/下载:53/0  |  提交时间:2018/03/16
Inconsistent dominance principle based attribute reduction in ordered information systems 会议论文
10th International Conference on Rough Sets and Knowledge Technology, RSKT 2015, Tianjin, China, November 20, 2015 - November 23, 2015
作者:  Gou, Guang-Lei;  Wang, Guoyin
Adobe PDF(175Kb)  |  收藏  |  浏览/下载:66/0  |  提交时间:2018/03/16