共 50 条
- [3] Automated identity verification based on hand shapes 2002 6TH INTERNATIONAL CONFERENCE ON SIGNAL PROCESSING PROCEEDINGS, VOLS I AND II, 2002, : 1596 - 1599
- [6] A formal method applied to the automated software engineering with quality guarantees 2014 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), 2014, : 108 - 111
- [7] Using Sampling to Estimate and Improve Performance of Automated Scoring Systems with Guarantees THIRTY-SIXTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FOURTH CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE / TWELVETH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2022, : 12835 - 12843
- [8] Automated Design of Self-Adaptive Software with Control-Theoretical Formal Guarantees 36TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2014), 2014, : 299 - 310
- [9] HUMAN IDENTITY VERIFICATION VIA AUTOMATED ANALYSIS OF FINGERPRINT SYSTEM FEATURES INTERNATIONAL JOURNAL OF INNOVATIVE COMPUTING INFORMATION AND CONTROL, 2019, 15 (06): : 2183 - 2196
- [10] On the Verification of Neural ODEs with Stochastic Guarantees THIRTY-FIFTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THIRTY-THIRD CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE AND THE ELEVENTH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2021, 35 : 11525 - 11535