中文版 | English

在结果中检索

KMS

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

已选(0)清除 条数/页：   排序方式：
Model checking-based decision support system for fault management: A comprehensive framework and application in electric power systems 期刊论文
EXPERT SYSTEMS WITH APPLICATIONS, 2024, 卷号: 247, 期号: 123371
作者:  Chen, Guangyao;  He, Peilin;  Wang, Ziqi;  Teng, Zixin;  Jiang, Zhihao
Adobe PDF(2200Kb)  |  收藏  |  浏览/下载：400/4  |  提交时间：2024/02/23
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)  |  收藏  |  浏览/下载：421/118  |  提交时间：2023/11/24
  • 首页
  • 上一页
  • 1
  • 下一页
  • 末页