Annonce June 2016

annonce@lrde.epita.fr

3 participants
3 discussions

by Daniela Becker

Bonjour, nous avons le plaisir de vous annoncer la sortie du n°36 du bulletin du LRDE. C'est un numéro spécial dédié aux séminaires des étudiants-chercheurs du LRDE qui auront lieu ce vendredi 1er juillet 2016. Vous y trouverez le programme de la journée avec les résumés des exposés. Nous y présentons également deux nouveaux projets auxquels participent les membres de l’équipe Image du LRDE. Vous pouvez télécharger le bulletin en couleur à la page suivante : http://www.lrde.epita.fr/wiki/LrdeBulletin/l-air-de-rien-36 -- Daniela Becker

8 years, 3 months

[Séminaire des étudiants CSI] Vendredi 1er juillet 2016 - Amphi Masters

by Daniela Becker

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

8 years, 3 months

publications: two papers accepted at Spin'15

by Alexandre Duret-Lutz

I am happy to announce that the following two papers have been accepted at the 22nd International SPIN Symposium on Model Checking of Software (SPIN 2015) to be held in Stellenbosch, South Africa on 24–26 August 2015. --- On Refinement of Büchi Automata for Explicit Model Checking František Blahoudek¹, Alexandre Duret-Lutz², Vojtěch Rujbr¹, and Jan Strejček¹ ¹Faculty of Informatics, Masaryk University, Brno, Czech Republic ²LRDE, EPITA, Le Kremlin-Bicêtre, France https://www.lrde.epita.fr/wiki/Publications/blahoudek.15.spin Abstract: In explicit model checking, systems are typically described in an implicit and compact way. Some valid information about the system can be easily derived directly from this description, for example that some atomic propositions cannot be valid at the same time. The paper shows several ways to apply this information to improve the Büchi automaton built from an LTL specification. As a result, we get smaller automata with shorter edge labels that are easier to understand andmore importantly, for which the explicit model checking process performs better. --- Practical Stutter-Invariance Checks for ω-Regular Languages Thibaud Michaud and Alexandre Duret-Lutz LRDE, EPITA, Le Kremlin-Bicêtre, France https://www.lrde.epita.fr/wiki/Publications/michaud.15.spin Abstract: We propose several automata-based constructions that check whether a specification is stutter-invariant. These constructions assume that a specification and its negation can be translated into Büchi automata, but aside from that, they are independent of the specification formalism. These transformations were inspired by a construction due to Holzmann and Kupferman, but that we broke down into two operations that can have different realizations, and that can be combined in different ways. As it turns out, implementing only one of these operations is needed to obtain a functional stutter-invariant check. Finally we have implemented these techniques in a tool so that users can easily check whether an LTL or PSL formula is stutter-invariant. -- Alexandre Duret-Lutz

8 years, 3 months

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

Annonce June 2016