共 50 条
- [31] NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems COMPUTER AIDED VERIFICATION (CAV 2020), PT I, 2020, 12224 : 3 - 17
- [36] An intelligent deep learning-enabled recommendation algorithm for teaching music students Soft Computing, 2022, 26 : 10591 - 10598
- [37] Deep learning-enabled discovery and characterization of HKT genes in Spartina alterniflora PLANT JOURNAL, 2023, 116 (03): : 690 - 705
- [39] Certifying Learning-Enabled Autonomous Cyber Physical Systems - A Deployment Perspective PROCEEDINGS OF THE 37TH INTERNATIONAL CONFERENCE ON VLSI DESIGN, VLSID 2024 AND 23RD INTERNATIONAL CONFERENCE ON EMBEDDED SYSTEMS, ES 2024, 2024, : 270 - 275
- [40] Deep Learning-Enabled Brain Stroke Classification on Computed Tomography Images CMC-COMPUTERS MATERIALS & CONTINUA, 2023, 75 (01): : 1431 - 1446