Le moteur de recherche
des thèses françaises
Arab Ali Chérif
IdRefMots clés
FR |
EN
Robots mobiles
Intelligence artificielle
Réseaux de capteurs (technologie)
Classification automatique
Robotique
Satisfiabilité propositionnelle (SAT)
Solveurs SAT
Fonctions booléennes
Apprentissage de clauses
Lauses bi-assertives
Contraintes (intelligence artificielle)
Solveurs (logiciels)
Réseaux de Capteurs Sans Fil (RCSF)
Routage adaptatif
Gestion de l'énergie
Clusterisation dynamique
Routage (informatique)
Conservation de l'énergie
Radio
Traitement automatique du langage naturel