中文版 | English

在结果中检索

KMS

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

已选(0)清除 条数/页：   排序方式：
Qualitative and Quantitative Model Checking Against Recurrent Neural Networks 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2024, 卷号: 39, 期号: 6, 页码: 1292-1311
作者:  Liang, Zhen;  Liu, Wan-Wei;  Song, Fu;  Xue, Bai;  Yang, Wen-Jing
Adobe PDF(1224Kb)  |  收藏  |  浏览/下载：94/1  |  提交时间：2025/02/12
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)  |  收藏  |  浏览/下载：266/0  |  提交时间：2020/12/14
Texture Repairing by Unified Low Rank Optimization 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2016, 卷号: 31, 期号: 3, 页码: 525-546
作者:  Liang, Xiao;  Ren, Xiang;  Zhang, Zhengdong;  Ma, Yi
Adobe PDF(7491Kb)  |  收藏  |  浏览/下载：437/1  |  提交时间：2017/07/04
  • 首页
  • 上一页
  • 1
  • 下一页
  • 末页