CSpace

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

限定条件    
已选(0)清除 条数/页:   排序方式:
Supervised data synthesizing and evolving-a framework for real-world traffic crash severity classification 会议论文
30th International Conference on Tools with Artificial Intelligence, ICTAI 2018, Volos, Greece, November 5, 2018 - November 7, 2018
作者:  He, Yi;  Wu, Di;  Beyazit, Ege;  Sun, Xiaoduan;  Wu, Xindong
Adobe PDF(786Kb)  |  收藏  |  浏览/下载:101/0  |  提交时间:2019/06/25
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