共 50 条
- [34] Toward a Universal μ-Agonist Template for Template-Based Alignment Modeling of Opioid Ligands ACS OMEGA, 2019, 4 (17): : 17457 - 17476
- [35] Template-based Theory Exploration: Discovering Properties of Functional Programs by Testing PROCEEDINGS OF THE 32ND SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES, IFL 2020, 2020, : 67 - 78
- [36] Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (OOPSLA):
- [38] A Dataset and Evaluation Methodology for Template-based Tracking Algorithms 2009 8TH IEEE INTERNATIONAL SYMPOSIUM ON MIXED AND AUGMENTED REALITY - SCIENCE AND TECHNOLOGY, 2009, : 145 - 151
- [39] Demystifying Template-based Invariant Generation for Bit-Vector Programs 2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE, 2023, : 673 - 685