Merkliste 
 1 Ergebnisse 
 
1

Neural Network Precision Tuning Using Stochastic Arithmetic:

, In: Lecture Notes in Computer Science; Software Verification and Formal Methods for ML-Enabled Autonomous Systems,
Ferro, Quentin ; Graillat, Stef ; Hilaire, Thibault.. - p. 164-186 , 2022