共 50 条
- [3] Machine-Learned Premise Selection for Lean AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2023, 2023, 14278 : 175 - 186
- [5] A machine-learned computational functional genomics-based approach to drug classification European Journal of Clinical Pharmacology, 2016, 72 : 1449 - 1461
- [7] ON MACHINE-LEARNED CLASSIFICATION OF VARIABLE STARS WITH SPARSE AND NOISY TIME-SERIES DATA ASTROPHYSICAL JOURNAL, 2011, 733 (01):
- [10] Toward Requirements Specification for Machine-Learned Components 2019 IEEE 27TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS (REW 2019), 2019, : 241 - 244