Bonjour, nous avons le plaisir de vous inviter au Séminaire des étudiants du LRDE. Il aura lieu le vendredi 1er juillet 2016 à partir de 10h00 en Amphi Masters (KB). -------------------------------------------- Au programme : VÉRIFICATION DU LOCUTEUR 10h00 : Compensation du Domain Mismatch pour la Reconnaissance du Locuteur – VALENTIN IOVENE Le domain mismatch se produit quand les données d’entraînement du système et les données utilisées pour l’évalution proviennent de sources différentes. Cette étude présente les techniques de pointe utilisées pour compenser le domain mismatch, comme une bibliothèque de blanchisseurs et l’utilisation d’une normalisation de la covariance invariante par rapport au dataset. 10h30 : Réseaux de neurones en goulot pour la Reconnaissance du Locuteur – GUILLAUME DAVAL-FREROT Le réseau de neurones en goulot est une forme particulière de réseau de neurones profond. Ce travail présente son principe et son utilisation pour re-traiter les Coefficients MFCC dans un système de reconnaissance du locuteur, pour ensuite étudier les performances du réseau seul et au sein du système. 11h00 : Calcul de distance par un réseau de neurones profond siamois – ANATOLE MOREAU Nous utilisons une architecture siamoise pour calculer une similarité pour une paire d’échantillons. Le DNN projète ces échantillons dans un sous-espace à dimension réduite. On compare les résultats avec les mesures classiques. SPOT — BIBLIOTHÈQUE DE MODEL CHECKING 13h00 : Le support des automates alternants – AMAURY FAUCHILLE Les automates alternants ajoutent un branchement universel au branchement existentiel des automates non-déterministes. Les automates alternants de Büchi sont exponentiellement plus concis que les automates de Büchi non-déterministes. De plus, ils conviennent bien à la traduction de la logique temporelle linéaire car leur taille est proportionnelle à la taille de la formule traduite. Ce travail vise à ajouter le support des automates alternants à Spot. Cela rendra Spot compatible avec les outils produisant et utilisant des automates alternants, et permettra à de futurs algorithmes travaillant sur les automates alternants d’être implémentés. 13h30 : Produit d’automates à parité – LAURENT XU Spot peut construire des automates à parité déterministes à partir d’automates de Büchi non-déterministes. Nous présentons une méthode de produit d’automates à parité basés sur les transitions, qui conserve la parité. Cette méthode est susceptible d’améliorer la déterminisation d’automate existante. OLENA — TRAITEMENT D’IMAGES GÉNÉ- RIQUE ET PERFORMANT 14h00 : Découpage automatique des cartes de Cassini – ANNE-CLAIRE BERTHET Nous cherchons à segmenter d’anciennes cartes de France qui ont été découpées en morceaux puis recollées sur du tissu. Grâce à des filtres morphologiques, on obtient des parties de la frontière au pixel près. Pour finaliser la segmentation, on définit un masque séparant l’image en trois zones qui, à l’aide d’une méthode de classification, permet d’obtenir des résultats proches de la frontière réelle. 14h30 : Discrimination supervisée de caractères sur des images – THIBAULT DEUTSCH La séparation lettre/non-lettre est un sujet important dans le domaine de la reconnaissance de caractères. Afin de générer un modèle basé sur les données d’entraînement, nous analysons les composantes principales (PCA), puis nous appliquons une PLDA. VCSN — BIBLIOTHÈQUE DE MANIPULATION D’AUTOMATES 15h30 : Génération aléatoire d’expression rationnelle – LUCIEN BOILLOD Nous présentons l’implémentation d’un algorithme efficace et générique de génération aléatoire d’expressions rationnelles pondérées. Nous présentons ensuite une manière de générer des chemins aléatoires dans des automates pondérés. 16h00 : Quotients d’automates pondérés et de séries rationnelles – THIBAUD MICHAUD Nous montrons comment le quotient a été implémenté dans Vcsn. Après avoir défini le quotient à gauche et à droite de langages, nous expliquons l’algorithme implémenté dans Vcsn pour calculer le quotient de deux automates. Nous explorons ensuite les conséquences de l’introduction du quotient du côté des expressions. 16h30 : K plus courts chemins dans Vcsn – SÉBASTIEN PIAT Plusieurs algorithmes existent pour obtenir plusieurs plus courts chemins d’un graphe. L’un d’eux, l’algorithme de Yen, cache des transitions dans le graphe entre chaque calcul de plus court chemin. Ce travail présente l’implementation de cet algorithme dans Vcsn ainsi que les différentes techniques d’optimisation envisagées (notamment l’implémentation d’un ensemble creux). 17h00 : Contribution à dyn : : – RAOUL BILLION Pour palier au manque de flexibilité et au temps de compilation assez lourd du C++ Vcsn introduit une couche nommée dyn : : permettant entre autre un système de compilation à la volée. Ce travail présente nos réflexions sur comment gérer et optimiser nos temps de compilation ainsi que des améliorations apportées à la couche dyn : :. -- Daniela Becker Responsable administrative du LRDE