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
