KMS

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

已选(0)清除 条数/页:   排序方式:
Knowing The Spec to Explore The Design via Transformed Bayesian Optimization 会议论文
PROCEEDINGS - DESIGN AUTOMATION CONFERENCE, San Francisco, CA, United states, June 23, 2024 - June 27, 2024
作者:  Donger, Luo;  Qi, Sun;  Xinheng, Li;  Chen, Bai;  Bei, Yu
Adobe PDF(1430Kb)  |  收藏  |  浏览/下载:165/6  |  提交时间:2024/12/27
An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks 会议论文
LECTURE NOTES IN COMPUTER SCIENCE (INCLUDING SUBSERIES LECTURE NOTES IN ARTIFICIAL INTELLIGENCE AND LECTURE NOTES IN BIOINFORMATICS), Singapore, Singapore, October 24, 2023 - October 27, 2023
作者:  Tao, Ye;  Liu, Wanwei;  Song, Fu;  Liang, Zhen;  Wang, Ji
Adobe PDF(733Kb)  |  收藏  |  浏览/下载:446/131  |  提交时间:2023/11/24
Specification-based Autonomous Driving System Testing 期刊论文
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING;, 2023, 卷号: 49, 期号: 6, 页码: 3391-3410
作者:  Yuan Zhou;  Yang Sun;  Yun Tang;  Yuqi Chen;  Jun Sun
Adobe PDF(2966Kb)  |  收藏  |  浏览/下载:313/0  |  提交时间:2023/03/24
  • 首页
  • 上一页
  • 1
  • 下一页
  • 末页