中文版 | English

在结果中检索

KMS

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

已选(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
Two-Server Private Information Retrieval with Result Verification 会议论文
IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY - PROCEEDINGS, Espoo, Finland, June 26, 2022 - July 1, 2022
作者:  Ke, Pengzhen;  Zhang, Liang Feng
Adobe PDF(1024Kb)  |  收藏  |  浏览/下载：225/0  |  提交时间：2022/09/02
  • 首页
  • 上一页
  • 1
  • 下一页
  • 末页