共 50 条
- [1] Towards machine-assisted formal procedures for the collection of digital evidence 2011 NINTH ANNUAL INTERNATIONAL CONFERENCE ON PRIVACY, SECURITY AND TRUST, 2011, : 32 - 35
- [2] 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
- [3] Machine-Assisted Map Editing 26TH ACM SIGSPATIAL INTERNATIONAL CONFERENCE ON ADVANCES IN GEOGRAPHIC INFORMATION SYSTEMS (ACM SIGSPATIAL GIS 2018), 2018, : 23 - 32
- [4] Machine-Assisted Organic Synthesis ANGEWANDTE CHEMIE-INTERNATIONAL EDITION, 2015, 54 (35) : 10122 - 10136
- [5] Machine-Assisted Proofs for Institutions in Coq INTEGRATED FORMAL METHODS, IFM 2022, 2022, 13274 : 369 - 372
- [6] Experiments in Curation: Towards Machine-Assisted Construction of Software Architecture Knowledge Bases 2017 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE (ICSA 2017), 2017, : 79 - 88
- [9] MACHINE-ASSISTED ANNOTATION OF FORENSIC IMAGERY 2019 IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING (ICIP), 2019, : 1595 - 1599
- [10] Machine-Assisted Proofs for Institutions in Coq THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2022, 2022, 13299 : 180 - 196