Search for persons
X
?
2023 IEEE International Conference on Multimedia and Expo (ICME) ,
9
A Geometrical Characterization on Feature Density of Image ..:
, In:
?
Theoretical Aspects of Software Engineering; Lecture Notes in Computer Science ,
10
Safety Verification for Neural Networks Based on Set-Bounda..:
, In:
?
Automated Technology for Verification and Analysis; Lecture Notes in Computer Science ,
14
An Automata-Theoretic Approach to Synthesizing Binarized Ne..:
, In:
?
2021 2nd International Conference on Artificial Intelligence and Computer Engineering (ICAICE) ,
15