12 papers:
DAC-2015-JiangWS #clustering #power management #sorting- A low power unsupervised spike sorting accelerator insensitive to clustering initialization in sub-optimal feature space (ZJ, QW, MS), p. 6.
- DAC-2015-LiuYYSLLCLWJ #design
- A spiking neuromorphic design with resistive crossbar (CL, BY, CY, LS, ZL, BL, YC, HL, QW, HJ), p. 6.
DATE-2015-AmirhosseinRBCM #power management- An all-digital spike-based ultra-low-power IR-UWB dynamic average threshold crossing scheme for muscle force wireless transmission (MSA, PMR, AB, MC, MM, DD, GM), pp. 1479–1484.
- DATE-2015-TangXLLCWY #network #question
- Spiking neural network with RRAM: can we use it for real-world application? (TT, LX, BL, RL, YC, YW, HY), pp. 860–865.
ICML-2012-GoodfellowCB #learning #scalability- Large-Scale Feature Learning With Spike-and-Slab Sparse Coding (IJG, ACC, YB), p. 180.
LATA-2010-Neary #bound- A Boundary between Universality and Non-universality in Extended Spiking Neural P Systems (TN), pp. 475–487.
ICPR-2010-Perez-CarrascoSASL #network #realtime- Spike-Based Convolutional Network for Real-Time Processing (JAPC, CS, BA, TSG, BLB), pp. 3085–3088.
CIAA-2007-Paun #transducer- Spiking Neural P Systems Used as Acceptors and Transducers (GP), pp. 1–4.
CASE-2006-XuWZZ #algorithm #automation #detection #using- An Automatic EEG Spike Detection Algorithm Using Morphological Filter (GX, JW, QZ, JZ), pp. 170–175.
DLT-2006-Paun- Languages in Membrane Computing: Some Details for Spiking Neural P Systems (GP), pp. 20–35.
RTA-1996-BerregebBR #commutative #induction #named #proving- SPIKE-AC: A System for Proofs by Induction in Associative-Commutative Theories (NB, AB, MR), pp. 428–431.
CADE-1994-Bouhoula #induction #named #proving- SPIKE: a System for Sufficient Completeness and Parameterized Inductive Proofs (AB), pp. 836–840.
