共 50 条
- [1] Verification of genuine and forged offline signatures using Siamese Neural Network (SNN) [J]. Multimedia Tools and Applications, 2020, 79 : 35109 - 35123
- [4] Dynamic and Scalable Deep Neural Network Verification Algorithm [J]. ICAART: PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE - VOL 2, 2021, : 1122 - 1130
- [6] A Pen-Pressure-Sensitive Capacitive Touch System Using Electrically Coupled Resonance Pen [J]. 2015 IEEE INTERNATIONAL SOLID-STATE CIRCUITS CONFERENCE DIGEST OF TECHNICAL PAPERS (ISSCC), 2015, 58 : 124 - +
- [8] Oil-line signature verification using pen-position, pen-pressure and pen-inclination trajectories [J]. 15TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOL 4, PROCEEDINGS: APPLICATIONS, ROBOTICS SYSTEMS AND ARCHITECTURES, 2000, : 547 - 550
- [9] Neural Network Verification Using Residual Reasoning [J]. SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2022, 2022, 13550 : 173 - 189
- [10] Neural Network Verification using Polynomial Optimisation [J]. 2021 60TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2021, : 5092 - 5097