( en | de | ru )

 

Disambiguierung von "Cheng, Chih-Hong"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verification of Binarized Neural Networks via Inter-Neuron Factoring

, , , und . (2017)cite arxiv:1710.03107Comment: Version 2: add proofs for hardness of PTAS approximability, remove experiments on randomized examples and some not-so-important optimizations.

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Chih-Hong Cheng

Cheng Hong

Chih-Cheng Jeng

Chih-Chieh Cheng

Chih-Cheng Peng

 

Weitere Publikationen von Autoren mit dem selben Namen

Runtime Monitoring DNN-Based Perception., , und . CoRR, (2023)Monitoring Object Detection Abnormalities via Data-Label and Post-Algorithm Abstractions., , , und . IROS, Seite 6688-6693. IEEE, (2021)Safeguarding Learning-based Control for Smart Energy Systems with Sampling Specifications., , , , und . PRDC, Seite 239-241. IEEE, (2023)Mixed-Neighborhood, Multi-speed Cellular Automata for Safety-Aware Pedestrian Prediction., , , und . SEFM, Volume 13085 von Lecture Notes in Computer Science, Seite 501-520. Springer, (2021)EC-IoU: Orienting Safety for Object Detectors via Ego-Centric Intersection-over-Union., , , und . CoRR, (2024)Safety Performance of Neural Networks in the Presence of Covariate Shift., , und . VSTTE, Volume 14095 von Lecture Notes in Computer Science, Seite 20-30. Springer, (2023)Safety-Aware Hardening of 3D Object Detection Neural Network Systems.. SAFECOMP, Volume 12234 von Lecture Notes in Computer Science, Seite 213-227. Springer, (2020)Butterfly Effect Attack: Tiny and Seemingly Unrelated Perturbations for Object Detection., , und . DATE, Seite 1-6. IEEE, (2023)Provably-Robust Runtime Monitoring of Neuron Activation Patterns.. DATE, Seite 1310-1313. IEEE, (2021)Verification of Binarized Neural Networks via Inter-Neuron Factoring, , , und . (2017)cite arxiv:1710.03107Comment: Version 2: add proofs for hardness of PTAS approximability, remove experiments on randomized examples and some not-so-important optimizations.