共 50 条
- [2] Machine-assisted proof support for validation beyond simulink FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2007, 4789 : 96 - 115
- [3] Support Vector Machine-Assisted Improvement Residential Load Disaggregation 2020 28TH IRANIAN CONFERENCE ON ELECTRICAL ENGINEERING (ICEE), 2020, : 1946 - 1951
- [4] Machine-Assisted Script Curation 2021 CONFERENCE OF THE NORTH AMERICAN CHAPTER OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS: HUMAN LANGUAGE TECHNOLOGIES: DEMONSTRATIONS (NAACL-HLT 2021), 2021, : 8 - 17
- [5] Machine-Assisted Map Editing 26TH ACM SIGSPATIAL INTERNATIONAL CONFERENCE ON ADVANCES IN GEOGRAPHIC INFORMATION SYSTEMS (ACM SIGSPATIAL GIS 2018), 2018, : 23 - 32
- [6] Support Vector Machine-Assisted Importance Sampling for Optimal Reliability Design APPLIED SCIENCES-BASEL, 2022, 12 (24):
- [8] Machine-Assisted Organic Synthesis ANGEWANDTE CHEMIE-INTERNATIONAL EDITION, 2015, 54 (35) : 10122 - 10136
- [9] Machine-Assisted Proofs for Institutions in Coq INTEGRATED FORMAL METHODS, IFM 2022, 2022, 13274 : 369 - 372