Filtrer vos résultats
- 28
- 22
- 1
- 23
- 12
- 11
- 2
- 1
- 1
- 1
- 1
- 45
- 5
- 4
- 2
- 1
- 3
- 3
- 4
- 5
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 1
- 1
- 4
- 2
- 1
- 2
- 1
- 1
- 2
- 42
- 4
- 3
- 2
- 35
- 15
- 12
- 6
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 51
- 17
- 17
- 7
- 7
- 6
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
51 résultats
|
|
triés par
|
Component based co-design and refinementProceedings. 2004 International Conference on Information and Communication Technologies: From Theory to Applications, 2004., IEEE, pp.575-576, 2004, ⟨10.1109/ICTTA.2004.1307893⟩
Proceedings/Recueil des communications
hal-04492245v1
|
|||
Temporal Refinement in Co-DesignCommunication Technologies: from Theory to Applications (ICTTA), Apr 2008, Damascus, France. pp.1-6, ⟨10.1109/ictta.2008.4530351⟩
Communication dans un congrès
hal-03526461v1
|
|||
|
Visualization Techniques in SNN Simulators3rd International Conference on Multimedia Information Processing, CITIM’2018, Oct 2018, Mascara, Algeria
Communication dans un congrès
hal-02887481v1
|
||
Formal Fault Tolerant Architecture3rd International Conference on Communication Theory, Reliability & Quality of Service,, 2010
Proceedings/Recueil des communications
hal-04491181v1
|
|||
The emptiness problem of one binary Horn clause is undecidableProceedings of 1993 International Symposium on Logic Programming (ILPS'93), 1993, undef, France. pp.250--265
Communication dans un congrès
hal-00732005v1
|
|||
Formal and Fault Tolerant Design8th European Conference on Modelling Foundations and Applications (ECMFA 2012), pp.269-248, 2012, 978-87-643-1014-6
Proceedings/Recueil des communications
hal-04491148v1
|
|||
Formal Fault Tolerant Architecture2010 Third International Conference on Communication Theory, Reliability, and Quality of Service, Jun 2010, Athens, France. pp.73-78, ⟨10.1109/ctrq.2010.20⟩
Communication dans un congrès
hal-03526448v1
|
|||
VS2N (Visualization tool for Spiking Neural Networks)Logiciel hal-04410929v1 |
|||
Set-based analysis for logic programming and tree automataStatic Analysis, 4th International Symposium, SAS '97, 1997, Paris, France. pp.127-140
Communication dans un congrès
hal-02193771v1
|
|||
|
Towards an Spiking Deep Belief Network for Face Recognition Application6th International Conference on Computer and Knowledge Engineering (ICCKE 2016), Oct 2016, Mashhad Iran
Communication dans un congrès
hal-01382624v1
|
||
Temporal Refinement in Co-DesignCommunication Technologies: from Theory to Applications (ICTTA), IEEE, pp.1-6, 2008, ⟨10.1109/ICTTA.2008.4530351⟩
Proceedings/Recueil des communications
hal-04491843v1
|
|||
BHDL: circuit design in BInternational Conference on Application of Concurrency to System Design (ACSD'2003), IEEE Comput. Soc, pp.241-242, 2003, 0-7695-1887-7. ⟨10.1109/CSD.2003.1207723⟩
Proceedings/Recueil des communications
hal-04490747v1
|
|||
One Binary Horn Clause is EnoughProceedings of 1994 Symposium on Theoretical Aspects of Computer Science (STACS'94), 1994, undef, France. pp.21--32
Communication dans un congrès
hal-00732054v1
|
|||
Scenario of fault by refinementCommunication Technologies: from Theory to Applications (ICTTA), IEEE, 2006
Proceedings/Recueil des communications
hal-04491993v1
|
|||
Component based co-design and refinementProceedings. 2004 International Conference on Information and Communication Technologies: From Theory to Applications, 2004., IEEE, pp.575-576, 2004, 0-7803-8482-2. ⟨10.1109/ICTTA.2004.1307893⟩
Proceedings/Recueil des communications
hal-04490756v1
|
|||
Convolutional Spiking Neural Network Simulator (CSNN)Logiciel hal-04410960v1 |
|||
Formal Fault Tolerant Architecture2010 Third International Conference on Communication Theory, Reliability, and Quality of Service, IEEE, pp.73-78, 2010, ⟨10.1109/CTRQ.2010.20⟩
Proceedings/Recueil des communications
hal-04492137v1
|
|||
|
Flexible Simulation for Neuromorphic Circuit Design: Motion Detection Case StudyConférence d’informatique en Parallélisme, Architecture et Système (ComPAS), Jun 2017, Nice Sophia Antipolis, France
Communication dans un congrès
hal-01538449v1
|
||
Solving classes of set constraints with tree automataPrinciples and Practice of Constraint Programming, CP97, 1997, Linz, Austria. pp.62-76
Communication dans un congrès
hal-02193791v1
|
|||
|
Unsupervised visual feature learning with spike-timing-dependent plasticity: How far are we from traditional feature learning approaches?Pattern Recognition, 2019, 93, pp.418-429. ⟨10.1016/j.patcog.2019.04.016⟩
Article dans une revue
hal-02146284v1
|
||
|
Système de vision neuro-inspirée : Application à la vision artificielleJournal sur l'enseignement des sciences et technologies de l'information et des systèmes, 2022, 21, 2035, 6 p. ⟨10.1051/j3ea/20222035⟩
Article dans une revue
hal-03852943v1
|
||
|
Artificial intelligence applied to the classification of eight middle Eocene species of the genus Podocyrtis (polycystine radiolaria)Journal of Micropalaeontology, 2022, 41 (2), pp.165-182. ⟨10.5194/jm-41-165-2022⟩
Article dans une revue
hal-03962996v1
|
||
Rate-coded DBN: An online strategy for spike-based deep belief networksBiologically Inspired Cognitive Architectures, 2018, 24, pp.59 - 69. ⟨10.1016/j.bica.2018.04.009⟩
Article dans une revue
hal-01808815v1
|
|||
|
Audio Spectrogram Recognition with Neural NetworksOLA'2022 International Conference on Optimization and Learning, Jul 2023, Syracusa, Italy
Communication dans un congrès
hal-04162820v1
|
||
|
Spiking Neural Networks and Audio ClassificationMETA 2021 :8th International Conference on Metaheuristics and Nature Inspired Computing, Oct 2021, Marrakech, Morocco
Communication dans un congrès
hal-03452737v1
|
||
|
Formal and Fault Tolerant Design2nd Workshop on Process-based approaches for Model-Driven Engineering, Jul 2012, Denmark
Communication dans un congrès
hal-00832618v1
|
||
BHDL: circuit design in BInternational Conference on Application of Concurrency to System Design (ACSD'2003), 2003, Guimaraes, France. pp.241-242, ⟨10.1109/csd.2003.1207723⟩
Communication dans un congrès
hal-03526474v1
|
|||
|
N2S3, a Simulator for the Architecture Exploration of Neuromorphic AcceleratorsNeuComp 2015, Mar 2015, Grenoble, France. 2015
Poster de conférence
hal-01240444v1
|
||
|
Les systèmes neuroinspirés appliqués à la vision artificielle: pédagogie et interdisciplinaritéJournal sur l'enseignement des sciences et technologies de l'information et des systèmes, 2022, 21, ⟨10.1051/j3ea/20221023⟩
Article dans une revue
hal-03464492v1
|
||
Component based co-design and refinementProceedings. 2004 International Conference on Information and Communication Technologies: From Theory to Applications, 2004., IEEE, pp.575-576, 2004, 0-7803-8482-2. ⟨10.1109/ICTTA.2004.1307893⟩
Proceedings/Recueil des communications
hal-04490825v1
|
- 1
- 2