PulseAugur
中
实时 13:15:31
实体 Probabilistic Spiking Neural Networks

Probabilistic Spiking Neural Networks

PulseAugur coverage of Probabilistic Spiking Neural Networks — every cluster mentioning Probabilistic Spiking Neural Networks across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_106743 ·

    新CogSpike工具为概率脉冲神经网络提供形式化验证

    研究人员开发了一种名为CogSpike的新型形式化验证工具，用于概率脉冲神经网络（SNNs）。该工具通过采用权重离散化的商抽象方法，解决了验证这些复杂随机模型固有的状态空间爆炸问题。这种方法将连续的突触权重映射到一个紧凑的整数范围，保留了关键信息，并能够验证更大、更难处理的网络。该系统集成了SNN设计、仿真和PRISM的形式化验证，提供了正式的正确性保证，并展示了显著的状态空间缩减。