Abstract Compilation for Verification of Numerical Accuracy Properties.
Maxime JacqueminFonenantsoa MauricaNikolai KosmatovJulien SignolesFranck VédrinePublished in: CoRR (2019)
Keyphrases
- desirable properties
- prediction accuracy
- improved accuracy
- error rate
- data sets
- artificial intelligence
- image processing
- high precision
- computational complexity
- high accuracy
- asynchronous circuits
- database
- detection rate
- classification accuracy
- computational cost
- training data
- face recognition
- high level
- case study
- data mining
- real time