Mostafa El Habib Daho
IdRefMots clés
FR |
EN
Arithmétique à virgule fixe
Précision numérique
Synthèse de code
Analyse statique
Génération de contraintes
Réseaux de neurones
Solveur SMT
Arithmétique en virgule fixe
Erreurs d'arrondi
Logiciels -- Exactitude
Réseaux neuronaux (informatique)
Solveurs (logiciels)
Classification de la RD
Fusion d’informations multimodales
Apprentissage profond
Rétinopathie diabétique
Imagerie médicale
Intelligence artificielle en médecine