( en | de | ru )

 

Disambiguation of "Huang, Chung-Hao"

Author of the publication

copydeleteadd this publication to your clipboard
Verification of Binarized Neural Networks via Inter-Neuron Factoring

, , , and . (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.

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Yu-chung Huang

Chien-Chung Huang

Chung-cheng Huang

Xiaofei Hao

Wenjin Hao

 

Other publications of authors with the same name

Towards Safety Verification of Direct Perception Neural Networks., , , and . DATE, page 1640-1643. IEEE, (2020)Towards Safety Verification of Direct Perception Neural Networks., , , and . CoRR, (2019)From Safety to security - Pattern and anomaly detections in maritime trajectories., , , , and . ICCST, page 415-419. IEEE, (2015)Verification of Binarized Neural Networks via Inter-Neuron Factoring, , , and . (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.nn-dependability-kit: Engineering Neural Networks for Safety-Critical Autonomous Driving Systems., , and . ICCAD, page 1-6. ACM, (2019)A Temporal Logic for the Interaction of Strategies., , and . CONCUR, volume 6901 of Lecture Notes in Computer Science, page 466-481. Springer, (2011)Real-Time RFID Indoor Positioning System Based on Kalman-Filter Drift Removal and Heron-Bilateration Location Estimation., , , , and . IEEE Trans. Instrumentation and Measurement, 64 (3): 728-739 (2015)Temporal Specification Mining for Anomaly Analysis., , , , and . APLAS, volume 8301 of Lecture Notes in Computer Science, page 273-289. Springer, (2013)T-slot High-Impedance Surface structures for EMC of wireless products., , , and . ICICS, page 1-4. IEEE, (2013)Evolving a Test Oracle in Black-Box Testing., , , and . FASE, volume 6603 of Lecture Notes in Computer Science, page 310-325. Springer, (2011)