Master Recherche 2e année <<Systèmes intelligents et applications>>

Sujets de stage

Année 2004/05



1. Intégration de données spatiales multi sources

2. Just In Time Knowledge Compilation for CSP  et étude des propriétés des formules en  Pigeon Hole Normal Form

3.
Apprentissage supervisé et données complexes. Application aux données bancaires

4.
Prédiction de promoteurs dans les séquences d'ADN par boosting/bagging

5.
Approche argumentée pour la fusion d'informations en logique possibiliste

6. Représentation logique des préférences des agents

7. Contraintes et symétries

8. Algorithmes pour les formules booléennes quantifiées

9. Méta-heuristiques pour la détection de noyaux inconsistants minimaux

10. Distances entre bases de croyance

11.
Planification temporelle optimale et programmation par contraintes : amélioration des heuristiques de branchement

12.
Planification temporelle optimale et programmation par contraintes : une contrainte globale pour la détection de plans partiels inconsistants

13.
Etude d’une plateforme SIG : mise en oeuvre d’algorithmes pour le routage

14. Raisonner à partir d'informations incertaines multi sources

15. Poursuite de cible par filtrage de Kalman flou