| 标题 |
 SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study 基于SMT的脉冲神经网络建模与验证：案例研究
相关领域
计算机科学
MNIST数据库
可满足模理论
尖峰神经网络
稳健性（进化）
人工神经网络
人工智能
编码
解算器
理论计算机科学
程序设计语言
生物化学
基因
化学
|
| 网址 | |
| DOI | |
| 其它 |
期刊：Lecture notes in computer science 作者：Soham Banerjee; Sumana Ghosh; Ansuman Banerjee; Swarup Kumar Mohalik 出版日期：2023-01-01 |
| 求助人 | |
| 下载 | |
|
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
|
PDF的下载单位、IP信息已删除
(2025-6-4)
无极微光
蓝天
OsamaKareem
memory
邓佳鑫Alan
干净的琦
XQQDD
wulanshu
学术文献互助
GingerF
Moonpie
贪玩的秋柔
殷勤的紫槐
嘉心糖
小乔
lizishu
8R60d8
didiwang
周不是舟
sanvva
皖公网安备34019202002308
