中文版 | English

在结果中检索

KMS

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

已选(0)清除 条数/页：   排序方式：
Verifying ReLU Neural Networks from a Model Checking Perspective 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2020, 卷号: 35, 期号: 6, 页码: 1365-1381
作者:  Liu, Wan-Wei;  Song, Fu;  Zhang, Tang-Hao-Ran;  Wang, Ji
Adobe PDF(772Kb)  |  收藏  |  浏览/下载：292/0  |  提交时间：2020/12/14
On the complexity of omega-pushdown automata 期刊论文
SCIENCE CHINA-INFORMATION SCIENCES, 2017, 卷号: 60, 期号: 11
作者:  Lei, Yusi;  Song, Fu;  Liu, Wanwei;  Zhang, Min
Adobe PDF(280Kb)  |  收藏  |  浏览/下载：733/0  |  提交时间：2017/08/26
  • 首页
  • 上一页
  • 1
  • 下一页
  • 末页