Le moteur de recherche
des thèses françaises
Jean-Marie Lagniez
IdRefMots clés
FR |
EN
Contraintes (intelligence artificielle)
SAT
Hybridation
Programmation par contraintes
Intelligence artificielle explicable
Sous-titrage d'Image
Sous-titrage d'image explicable
Espace de représentation / Espace latent
Caractère décisif
Saillance
Informatique -- Recherche
Traitement d'images -- Techniques numériques
Sous-titrage
Innovation
Apprentissage basé sur l'explication
Apprentissage profond
Ia
Satisfiabilité propositionnelle
Problèmes de satisfaction de contraintes
Résolution parallèle