中文
相关论文

相关论文: Towards Efficient Formal Verification of Spiking N…

200 篇论文

Spiking neural networks (SNNs) are the third generation of neural networks and can explore both rate and temporal coding for energy-efficient event-driven computation. However, the decision accuracy of existing SNN designs is contingent…

神经与进化计算 · 计算机科学 2020-02-25 Changqing Xu , Wenrui Zhang , Yu Liu , Peng Li

Spiking neural networks (SNNs), particularly the single-spike variant in which neurons spike at most once, are considerably more energy efficient than standard artificial neural networks (ANNs). However, single-spike SSNs are difficult to…

神经与进化计算 · 计算机科学 2022-10-13 Luke Taylor , Andrew King , Nicol Harper

Hardware-based spiking neural networks (SNNs) are regarded as promising candidates for the cognitive computing system due to low power consumption and highly parallel operation. In this work, we train the SNN in which the firing time…

神经与进化计算 · 计算机科学 2022-03-17 Seongbin Oh , Dongseok Kwon , Gyuho Yeom , Won-Mook Kang , Soochang Lee , Sung Yun Woo , Jang Saeng Kim , Min Kyu Park , Jong-Ho Lee

There is an increasing demand to process streams of temporal data in energy-limited scenarios such as embedded devices, driven by the advancement and expansion of Internet of Things (IoT) and Cyber-Physical Systems (CPS). Spiking neural…

神经与进化计算 · 计算机科学 2020-07-08 Haowen Fang , Amar Shrestha , Qinru Qiu

As neural networks get widespread adoption in resource-constrained embedded devices, there is a growing need for low-power neural systems. Spiking Neural Networks (SNNs)are emerging to be an energy-efficient alternative to the traditional…

机器学习 · 计算机科学 2021-12-01 Yeshwanth Venkatesha , Youngeun Kim , Leandros Tassiulas , Priyadarshini Panda

Deep learning (DL) is a powerful tool that can solve complex problems, and thus, it seems natural to assume that DL can be used to enhance the security of wireless communication. However, deploying DL models to edge devices in wireless…

机器学习 · 计算机科学 2025-05-20 Jung Hoon Lee , Sujith Vijayan

Spiking Neural Networks (SNNs) are bio-inspired networks that process information conveyed as temporal spikes rather than numeric values. A spiking neuron of an SNN only produces a spike whenever a significant number of spikes occur within…

神经与进化计算 · 计算机科学 2020-03-06 Mathias Gehrig , Sumit Bam Shrestha , Daniel Mouritzen , Davide Scaramuzza

Spiking Neural Networks (SNNs) have attracted great attention for their energy-efficient operations and biologically inspired structures, offering potential advantages over Artificial Neural Networks (ANNs) in terms of energy efficiency and…

神经与进化计算 · 计算机科学 2024-06-03 Yujia Liu , Tong Bu , Jianhao Ding , Zecheng Hao , Tiejun Huang , Zhaofei Yu

Spiking neural networks (SNNs) have gained attention in recent years due to their ability to handle sparse and event-based data better than regular artificial neural networks (ANNs). Since the structure of SNNs is less suited for typically…

信号处理 · 电气工程与系统科学 2023-11-27 Daniel Windhager , Bernhard A. Moser , Michael Lunglmayr

Drawing on the intricate structures of the brain, Spiking Neural Networks (SNNs) emerge as a transformative development in artificial intelligence, closely emulating the complex dynamics of biological neural networks. While SNNs show…

人工智能 · 计算机科学 2024-08-02 Yanchen Li , Jiachun Li , Kebin Sun , Luziwei Leng , Ran Cheng

Spiking neural networks (SNNs) exhibit superior energy efficiency but suffer from limited performance. In this paper, we consider SNNs as ensembles of temporal subnetworks that share architectures and weights, and highlight a crucial issue…

机器学习 · 计算机科学 2025-02-21 Yongqi Ding , Lin Zuo , Mengmeng Jing , Pei He , Hanpu Deng

In recent years, spiking neural networks (SNNs) have received extensive attention in brain-inspired intelligence due to their rich spatially-temporal dynamics, various encoding methods, and event-driven characteristics that naturally fit…

神经与进化计算 · 计算机科学 2022-10-18 Duzhen Zhang , Shuncheng Jia , Qingyu Wang

Spiking neural networks (SNNs) that mimic information transmission in the brain can energy-efficiently process spatio-temporal information through discrete and sparse spikes, thereby receiving considerable attention. To improve accuracy and…

神经与进化计算 · 计算机科学 2022-06-14 Byunggook Na , Jisoo Mok , Seongsik Park , Dongjin Lee , Hyeokjun Choe , Sungroh Yoon

Inspired by the operation of biological brains, Spiking Neural Networks (SNNs) have the unique ability to detect information encoded in spatio-temporal patterns of spiking signals. Examples of data types requiring spatio-temporal processing…

神经与进化计算 · 计算机科学 2021-04-27 Nicolas Skatchkovsky , Hyeryung Jang , Osvaldo Simeone

Spiking Neural Networks (SNNs) are considered as a potential candidate for the next generation of artificial intelligence with appealing characteristics such as sparse computation and inherent temporal dynamics. By adopting architectures of…

神经与进化计算 · 计算机科学 2024-10-25 Kaiwei Che , Zhaokun Zhou , Li Yuan , Jianguo Zhang , Yonghong Tian , Luziwei Leng

The brain is known to be a highly complex, asynchronous dynamical system that is highly tailored to encode temporal information. However, recent deep learning approaches to not take advantage of this temporal coding. Spiking Neural Networks…

神经与进化计算 · 计算机科学 2020-09-02 Matthew Evanusa , Cornelia Fermuller , Yiannis Aloimonos

Spiking neural networks (SNNs) communicate via discrete spikes in time rather than continuous activations. Their event-driven nature offers advantages for temporal processing and energy efficiency on resource-constrained hardware, but…

计算机视觉与模式识别 · 计算机科学 2025-11-18 Karol C. Jurzec , Tomasz Szydlo , Maciej Wielgosz

Inspired by biology, spiking neural networks (SNNs) process information via discrete spikes over time, offering an energy-efficient alternative to the classical computing paradigm and classical artificial neural networks (ANNs). In this…

神经与进化计算 · 计算机科学 2025-12-19 Shayan Hundrieser , Philipp Tuchel , Insung Kong , Johannes Schmidt-Hieber

Spiking Neural Networks (SNNs) have emerged as a promising substitute for Artificial Neural Networks (ANNs) due to their advantages of fast inference and low power consumption. However, the lack of efficient training algorithms has hindered…

神经与进化计算 · 计算机科学 2025-03-06 Tong Bu , Maohua Li , Zhaofei Yu

Spiking Neural Networks (SNNs) are distributed trainable systems whose computing elements, or neurons, are characterized by internal analog dynamics and by digital and sparse synaptic communications. The sparsity of the synaptic spiking…

信号处理 · 电气工程与系统科学 2019-10-22 Hyeryung Jang , Osvaldo Simeone , Brian Gardner , André Grüning