Soutenance de thèse de Anh Phuc TRINH - 17 Février 2012

Bonjour,

J'ai le plaisir de vous inviter à la soutenance de ma thèse intitulée

"Classifieur probabiliste et Séparateur à Vaste Marge. Application à la
classification de texte et à l'étiquetage d'image".

ainsi qu'au pot qui suivra.

La soutenance aura lieu le vendredi 17 février 2012 à 10h00 sur le Campus de
Jussieu en salle 105 couloir 25-26 (1er étage).

Composition du Jury
=========================

Rapporteurs :
Mme. Sylvia THIRIA, Professeur à l'Université Versaille Saint Quentin en
Yvelines.
M. Thierry PAQUET, Professeur à l'Université de Rouen.

Directeur de thèse :
M. Patrick GALLINARI, Professeur à l'Université Pierre et Marie Curie.

Examinateur :
M. Thierry ARTIERES, Professeur à l'Université Pierre et Marie Curie.

Résumé
============

Cette thèse propose des estimateurs de probabilités a posteriori pour des
Séparateur à Vaste Marge. Elle comporte une partie théorique et une partie
expérimentale.

La première contribution que nous présentons dans cette thèse est
d'introduire un classifieur probabiliste basé sur des SVM pour la
classification multi-classes. L'approche que nous utilisons est l'approche
1 contre 1, où pour un problème à k classes k(k - 1)/2 classifieurs sont
entrainés. Les sorties binaires de ces classifieurs forment un espace de
votes dans lequel sera prise la décision de classe. Nous introduisons un
espace de vote enrichi qui permet de prendre en compte des relations entre
l'ensemble des classes du problème et proposons une méthode pour apprendre
à partir de cet espace binaire à estimer les probabilités a posteriori des
classes.

La seconde contribution concerne le problème de la classification
multi-étiquettes et la prise en compte de dépendances entre étiquettes. La
prédiction de sorties structurées a été ces dernières années un domaine
extrêmement actif et de nombreux modèles basés sur des extensions des SVMs
ou des modèles graphiques on été proposés. Nombre de ces modèles ont une
complexité qui empêche toute application sur des données réelles. Nous
introduisons un classifieur multi-étiquettes basé sur un formalisme de
modèle graphique non dirigé. Nous proposons une méthode d'inférence
approchée de complexité limitée qui permet une utilisation pratique de ces
méthodes. Nous incorporons dans ce modèle les classifieurs probabilistes
mentionnés plus haut pour estimer les probabilités nécessaires au calcul
d'inférence.

La troisième contribution est la validation expérimentale de ces idées et
algorithmes. Une première application nous permet de tester notre
classifieur probabiliste multi-classes. Il s'agit du Défi DEFT 1 qui est
une compétition française sur la classification de textes. Les données sur
lesquelles nous avons travaillé traitent de classification en thème et en
genre de corpus journalistiques. La seconde application que nous avons
traitée porte sur l'étiquetage d'images en utilisant une information de
dépendance entre les étiquettes. Elle correspond à une tâche proposée dans
la compétition internationale ImageCLEF08 2. Nous proposons un modèle
graphique adapté à cette tâche qui nous permet de valider ce modèle
multi-étiquettes.

==============================================
TRINH Anh Phuc.
Bureau 523, Tour 26-00, LIP6.
4 place de Jussieu.
75005 Paris.
Tél : (+33) 01 44 27 38 11
================================================

Soutenance de thèse de Ibrahima FALL

Bonjour,
J'ai le plaisir de vous inviter à la soutenance de ma thèse intitulée :
"Gestion Optimisée de Produits-Modèles de Procédés Logiciels".
qui aura lieu le mercredi 08 février à 10H30 au campus de Jussieu, salle 105
couloir 25/26 - 1er étage,

ainsi qu'au pot qui suivra.

Le jury sera composé de :

Directeur de thèse:
Mme Marie-Pierre GERVAIS, Professeure à l'université Paris X-Nanterre
La Défense

Co-directeur de thèse:
M. Moussa LO, Professeur à l'université Gaston Berger de Saint-Louis

Encadrant de thèse:
M. Reda BENDRAOU: McF à l'université Paris VI - P. & M. Curie

Rapporteurs:
Mme Mireille BLAY-FORNARINO, Professeure à l'université de Nice -
Sophia Antipolis
M. Bernard COULETTE, Professeur à l'université de Toulouse II – Le Mirail

Examinateurs:
M. Fabrice KORDON, Professeur à l'université Paris VI - P. & M. Curie
M. Xavier BLANC, Professeur à l'université Bordeaux I

Résumé :
Actuellement, la communauté des procédés logiciels ne porte que peu
d'attention aux artefacts de ces procédés. Leur gestion est minimale.
Or l'introduction des principes de l'ingénierie des modèles dans les
procédés logiciels modifie en profondeur la nature de ces artefacts et
augmente leur complexité: ils deviennent des modèles (que nous
appelons produits-modèles). La prise en compte de cette complexité est
alors impérative en vue d'optimiser la gestion de ces produits-modèles.

Dans cette thèse, nous posons le problème de la modélisation des
relations entre produits-modèles en analysant l'importance de ces
relations dans la gestion de l'évolution des produits-modèles lors de
l'exécution du procédé qui les utilise et/ou les produit. Ainsi nous
illustrons qu'exploiter les modèles de relations à l'exécution du
procédé optimise la gestion des produits-modèles en matière de
cohérence, de synchronisation ou encore de flexibilité dans la
granularité des produits-modèles.
Notre contribution est composée de deux éléments majeurs qui sont
relatifs à la modélisation puis à l'exécution de procédés.
Du point de vue de la modélisation des procédés, nous avons proposé un
méta-modèle permettant de structurer les éléments relatifs à la
spécification des produits-modèles. Ce méta-modèle contient les
concepts nécessaires à la définition des relations entre ces éléments
et d'associer à ces relations les caractéristiques nécessaires à une
meilleure gestion des produits-modèles à l'exécution des procédés
modélisés. Notre approche supporte les relations d'inclusion (Nest) et
de partage d'éléments (Overlap) entre deux ou plusieurs
produits-modèles d'un procédé en exécution.

Du point de vue de l'exécution des procédés, dans le but de structurer
les entités logiques à travers lesquelles sont gérés les
produits-modèles d'un procédé modélisés avec les concepts du précédent
méta-modèle, nous avons proposé un autre méta-modèle. Ce dernier
contient les concepts nécessaires à la représentation des objets de
procédé correspondants aux produits-modèles ainsi qu'aux relations, en
conformité avec le premier méta-modèle.

Dans le but d'assurer une correspondance entre les concepts des deux
méta-modèles ainsi que de permettre une exploitation automatique des
concepts de modélisation à travers ceux d'exécution, la proposition
comprend également des règles de transformation entre ces différents
concepts.

Les apports de notre approche sont relatifs à la gestion des
produits-modèles de procédés en exécution. Il s'agit d'une cohérence
relationnelle systématique, d'une synchronisation également
systématique, d'une construction assistée, d'une flexibilité du point
de vue de la granularité, et d'une intégrité ou cohérence sémantique
de ces produits-modèles.

Nous avons également conçu et réalisé un prototype qui simule un
environnement de modélisation et d'exécution de procédés selon notre
approche.

Mots clés:

Procédés Logiciels, Produits de Procédés, Modélisation de Procédés,
Exécution de Procédés, Nest, Overlap.