共 50 条
- [41] Abductive Reasoning Using Tableau Methods for High-Level Image Interpretation KI 2015: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2015, 9324 : 356 - 365
- [42] High-level implementable methods for automated building code compliance checking DEVELOPMENTS IN THE BUILT ENVIRONMENT, 2023, 15
- [43] RETRIEVAL METHODS AND EQUIPMENT FOR WIPP HIGH-LEVEL WASTE EXPERIMENT AREA TRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY, 1979, 33 (NOV): : 944 - 946
- [44] PREDICTION OF INFRARED-SPECTRA USING HIGH-LEVEL THEORETICAL METHODS ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 1988, 196 : 18 - PHYS
- [45] Invited: High-level design methods for hardware security: Is it the right choice? PROCEEDINGS OF THE 59TH ACM/IEEE DESIGN AUTOMATION CONFERENCE, DAC 2022, 2022, : 1375 - 1378
- [46] On the Fault Coverage of High-level Test Derivation Methods for Digital Circuits 2017 18TH INTERNATIONAL CONFERENCE OF YOUNG SPECIALISTS ON MICRO/NANOTECHNOLOGIES AND ELECTRON DEVICES (EDM), 2017, : 184 - 189
- [47] High-Level Methods for Hardware IP Protections: Solutions, Trends, and Challenges PROCEEDINGS OF THE 2022 15TH IEEE DALLAS CIRCUITS AND SYSTEMS CONFERENCE (DCAS 2022), 2022,
- [50] High-level methods for homotopy construction in associative n-categories 2019 34TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2019,