Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

Att00209 Étude et extension du procédé L-is pour la véri ?cation et l'enrichissement automatiques de glossaires formels par Maxime Bargiel mémoire présenté au Département d'informatique en vue de l'obtention du grade de ma? tre ès sciences M Sc FACULTÉ DE

Étude et extension du procédé L-is pour la véri ?cation et l'enrichissement automatiques de glossaires formels par Maxime Bargiel mémoire présenté au Département d'informatique en vue de l'obtention du grade de ma? tre ès sciences M Sc FACULTÉ DES SCIENCES UNIVERSITÉ DE SHERBROOKE Sherbrooke Québec Canada août CSommaire - pages Présentation en quelques lignes du contenu du mémoire Viser page mais ne pas dépasser pages Présenter l'objectif des recherches les résultats obtenus et leur importance ii CRemerciements Merci à Maxime Bargiel qui a fourni la première ébauche de ce document Word Merci a Richard St-Denis qui a préparé la première version LaTeX du modèle de mémoire et thèse dont ce document s'inspire largement iii CTable des matières Sommaire ii Remerciements iii Table des matières iv Liste des abréviations vi Liste des tableaux vii Liste des ?gures viii Introduction Contexte Objectifs Méthodologie Résultats Structure du mémoire Chapitre Modélisation de la connaissance Langages outils de modélisation Sous- titre de Étude de Description Logic Proposition le procédé L-is Chapitre Directives lexicales syntaxiques et typographiques Du temps des verbes Du pronom désignant l'auteur du mémoire iv C Du pronom désignant le lecteur ou une personne en général De l'usage des auxiliaires avoir et être et du verbe aller De la dé ?nition des termes Code source Formules mathématiques De la mise en page Listes Chapitre Figures tableaux et bibliographie Figures Tableaux Bibliographie Conclusion Contributions Critique du travail Travaux futurs de recherche Perspective Annexe A Démonstrations A Ordre d'application des dé ?nitions A Cas de base A Sous- cas A Sous-sous- cas A Récursivité mutuelle de ERA et AddDe ?nition A Quanti ?cateurs dans ComputeSolution Annexe B Algorithmes ERA et FCA précédents B Algorithme FCA B Algorithme ERA Bibliographie v Cvi CListe des abréviations UdeS DI Université de Sherbrooke Département d'informatique vii CListe des tableaux Tableau - Liste des styles dé ?nis pour les mémoires et thèses viii CListe des ?gures Figure - Algorithme A Figure - Menu pour l'insertion d'une ?gure Figure - Menu pour l'insertion d'une légende d'une ?gure Figure - Menu pour l'insertion d'un renvoi à une ?gure Figure - Fenêtre permettant de choisir le type de renvoi Figure - Dé ?nition d'un signet pour une entrée de la bibliographie Figure - Insertion d'un renvoi à une entrée de la bibliographie ix CContexte Introduction Objectifs Méthodologie Résultats Structure du mémoire CChapitre Modélisation de la connaissance Langages outils de modélisation Sous-titre de Sous-titre de Sous- titre de Il est préférable d'éviter ce niveau de numérotation Il s'agit généralement d'un signe de restructuration du mémoire Étude de Description Logic Proposition le procédé L-is CChapitre Directives lexicales syntaxiques et typographiques Voici un exemple de texte entre le titre et la première section du chapitre Il sert à introduire brièvement le contenu du chapitre Du temps des verbes Utilisez le temps présent pour les verbes Exemple Dans ce chapitre nous introduisons la notation utilisée pour le reste du mémoire Du pronom désignant l'auteur du mémoire Utilisez nous ? pour désigner l'auteur du mémoire Exemple Dans ce