共 50 条
- [45] Geometric Path Enumeration for Equivalence Verification of Neural Networks 2021 IEEE 33RD INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2021), 2021, : 200 - 208
- [46] An Approach for Quantifying Path Correlation in Digital Circuits without any Path or Segment Enumeration 2011 16TH IEEE EUROPEAN TEST SYMPOSIUM (ETS), 2011, : 141 - 146
- [47] Padded-Dyck-Path-Based Rendezvous Algorithms for Heterogeneous Cognitive Radio Networks 24TH INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATIONS AND NETWORKS ICCCN 2015, 2015,