Annonce January 2014

annonce@lrde.epita.fr

2 participants
4 discussions

[Seminaire-LRDE] Mercredi 5 février 2014: annulé

by Daniela Becker

Bonjour, le séminaire de Vincent Balat, Université Paris Diderot et INRIA, prévu le mercredi 5 février est reporté au mercredi 12 mars. Mais veuillez d'ores et déjà retenir la date du mercredi 12 février 2014, 11h--12h30, Salle L0 du LRDE : nous acceillons Dominique Revuz, LIGM, UMR 8046, Université Paris-Est Marne-la-Vallée avec un exposé sur les "Automates Acycliques". Au programme: * 11h: Automates Acycliques -- Dominique Revuz, LIGM, UMR 8046, Université Paris-Est Marne-la-Vallée http://astl.sourceforge.net/ Les automates acycliques sont utilisés dans tous les logiciels de traitement de la langue naturelle essentiellement pour la représentation des lexiques, des dictionnaires et des interprétations morpho-syntaxiques des textes. Nous présenterons des résultats sur les stratégies de construction, de manipulation et de stockage de ces automates. En particulier un alogrithme de construction dynamique. -- Docteur de l'Université Paris 7. Directeur de l'ESIPE, école d'ingénieurs de l'université de Marne-la-Vallée. Spécialisé en compression et représentation de données en mémoire. Pour plus de renseignements, consultez http://seminaire.lrde.epita.fr/. L'entrée du séminaire est libre. Merci de bien vouloir diffuser cette information le plus largement possible. -- Akim Demaille Akim.Demaille(a)lrde.epita.fr _______________________________________________ Seminaire mailing list Seminaire(a)lrde.epita.fr https://lists.lrde.epita.fr/listinfo/seminaire

10 years, 10 months

[Seminaire-LRDE] Mercredi 5 février 2014: Vincent Balat, Université Paris Diderot et INRIA

by Daniela Becker

Chers collègues, Le mois de février 2014 sera riche en interventions à l'occasion du séminaire Performance et Généricité du LRDE (Laboratoire de Recherche et Développement de l'EPITA), car nous organisons trois séminaires : * Le mercredi 5 février 2014, 11h--12h30, Salle L0 du LRDE, nous accueillons Vincent Balat, Université Paris Diderot et INRIA, pour nous parler de la "Programmation d'applications Web client-serveur avec Ocsigen". * Le mercredi 12 février 2014, 11h--12h30, Salle L0 du LRDE, nous invitons Dominique Revuz, LIGM, UMR 8046, Université Paris-Est Marne-la-Vallée avec un exposé sur les "Automates Acycliques". * Attention changement de jour, d'horaire et de lieu !! Le mardi 18 février 2014,18h20--19h30, Amphi 4 EPITA-KB, nous avons le plaisir de recevoir Yves Caseau, Bouygues Telecom & Académie des Technologies pour un exposé intitulé "CLAIRE : un pseudo-code élégant exécutable et compilable pour l'aide à la décision". Au programme du Mercredi 5 février 2014 : * 11h-12h30: Programmation d'applications Web client-serveur avec Ocsigen -- Vincent Balat, Université Paris Diderot et INRIA http://ocsigen.org Le Web a subi en quelques années une évolution radicale, passant d'une plateforme de données à une plateforme d'applications. Mais la plupart des outils de programmation n'ont pas été conçus pour cette nouvelle vision du Web. Le projet Ocsigen a pour but d'inventer de nouvelles techniques de programmation adaptées aux besoins des sites Web modernes et des applications Web distribuées. Il permet de programmer les parties client et serveur dans le même langage, et même, comme une seule et même application. La puissance expressive du langage OCaml permet d'introduire une abstraction des technologies sous-jacentes dans le but de simplifier la programmation d'interactions Web complexes. Le système de types très avancé du langage permet d'améliorer la fiabilité des programmes et le respect des standards. Cela permet aussi de réduire beaucoup le temps de développement. Cet exposé donnera un aperçu global du projet et montrera comment écrire un exemple d'application simple. -- Vincent Balat est maître de conférences à l'université Paris Diderot, actuellement en délégation à l'INRIA. Il est le créateur et chef du projet Ocsigen. Il est ancien élève de l'École Normale Supérieure de Cachan. Son travail de recherche porte essentiellement sur l'amélioration de l'expressivité et de la fiabilité des techniques de programmation Web. Pour plus de renseignements, consultez http://seminaire.lrde.epita.fr/. L'entrée du séminaire est libre. Merci de bien vouloir diffuser cette information le plus largement possible. -- Akim Demaille Akim.Demaille(a)lrde.epita.fr _______________________________________________ Seminaire mailing list Seminaire(a)lrde.epita.fr https://lists.lrde.epita.fr/listinfo/seminaire

10 years, 11 months

[Séminaire des étudiants CSI du LRDE] le mercredi 22 janvier 2014 - Amphi 1

by Daniela Becker

Bonjour, nous avons le plaisir de vous inviter au séminaire des étudiants-chercheurs du LRDE. Il aura lieu le mercredi 22 janvier 2014 à partir de 10 heures en Amphi 1 (KB). ----------------------------------------------------------------------- Au programme : * 10h00 : Introduction OLENA * 10h15 : Utilisation d’un descripteur à base de transformée en ondelettes pour extraire des informations sur la forme des objets – Raphaël Boissel * 10h45 : Revue comparative des algorithmes de calcul de l’arbre des formes – Sébastien Crozet CLIMB * 11h30 : Coercition et programmation orientée contexte – François Ripault VERIFICATION DU LOCUTEUR * 12h00 : Prise de décision à l’aide de SVM dans le contexte des systèmes de vérification du locuteur à base d’I-Vector – Benjamin Roux Les Résumés des exposés : ************************** OLENA * 10h15 : Utilisation d’un descripteur à base de transformée en ondelettes pour extraire des informations sur la forme des objets – Raphaël Boissel Le système de localisation de texte développé par le laboratoire est actuellement en mesure de séparer le texte du fond dans les images naturelles au moyen d’un descripteur basé sur la transformée en ondelettes. De plus, les tests montrent que ce système est rapide et précis pour accomplir cette tâche. Notre objectif principal est d’extraire de nouvelles informations sur la forme des objets lors de la phase de classification en utilisant le même descripteur que celui utilisé pour séparer le texte du fond. De telles informations peuvent être utilisées pour améliorer la précision d’autres étapes du système de localisation de texte. De plus, puisque le descripteur utilisé pour extraire ces informations a déjà été calculé, cette approche est peu consommatrice en temps CPU. Par ailleurs, plus que des informations sur la forme des objets, ce descripteur peut également être utilisé tel quel pour créer un O.C.R. (Reconnaissance optique de caractère) simple. Cependant, afin de mettre en place ces changements, il est nécessaire de retravailler le système de classification et le système d’apprentissage mis en place précédemment. Différentes méthodes pour atteindre ces objectifs sont présentées ici et comparées afin de savoir quelle sorte d’information il est possible d’extraire à partir du descripteur à base de transformée en ondelettes. * 10h45 : Revue comparative des algorithmes de calcul de l’arbre des formes – Sébastien Crozet L’arbre des formes est une transformée d’image utile pour les traitements d’images discrètes de façon auto-duale. Bien qu’il puisse être calculé grâce à plusieurs approches existantes dans la littérature, aucune comparaison de ces algorithmes n’a été réalisée jusqu’à présent. Nous réalisons une comparaison de tous ces algorithmes du point de vue de leur rapidité de calcul et de leur occupation mémoire. Nous étudions aussi la parallélisation de l’algorithme quasi-linéaire et modifions les données qu’il manipule afin d’améliorer ses temps de calculs et son occupation mémoire. CLIMB * 11h30 : Coercition et programmation orientée contexte – François Ripault La programmation orientée contexte est un paradigme prometteur pour prendre en compte les problématiques transverses dans le logiciel. Ce paradigme permet de spécialiser les classes et les méthodes en fonction du contexte. Cependant, il ne traite pas la coercition, c’est-à-dire la conversion d’un objet existant dans un certain contexte vers une nouvelle représentation dans un autre contexte. Nous montrons en quoi ce manque est critique, en fournissant des exemples extraits de Climb, une bibliothèque de traitement d’images écrite en Common Lisp. Nous proposons des solutions pour la coercition automatique d’objets, et nous les analysons en termes de simplicité et de généricité. VERIFICATION DU LOCUTEUR * 12h00 : Prise de décision à l’aide de SVM dans le contexte des systèmes de vérification du locuteur à base d’I-Vector – Benjamin Roux La prise de décision dans l’état de l’art des systèmes de vérification du locuteur est basée sur la distance en cosinus. Une approche différente est de considérer une prise de décision basée sur les Séparateurs à Vaste Marge (SVM). La technique des SVM a été largement exploitée dans la reconnaissance de formes et la prise de décision mais également en association avec les GMM super-vecteurs (GSV) en reconnaissance du locuteur. Cependant, l’idée d’utiliser les SVM dans l’espace des i-vectors pour la reconnaissance du locuteur n’a pas été le sujet d’une étude approfondie. Nous étudierons les différentes fonctions kernels et comment cela peut être utilisé dans la vérification du locuteur. Nous explorerons comment prendre en compte les variabilités de canal et de locuteur et dans l’espace des caractéristiques. Nous expérimenterons avec les données de la base NIST-SRE 2010. -- Daniela Becker Responsable administrative - LRDE

10 years, 11 months

New publication: TACAS'14

by ala

We are please at the following paper has been accepted in the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Please find the title and abstract below. Title and corresponding authors: Symbolic Model Checking of stutter invariant properties Using Generalized Testing Automata. A. Ben Salem(1), A. Duret-Lutz(1), F. Kordon(2), and Y. Thierry-Mieg(2) (1) LRDE-EPITA, www.lrde.epita.fr (2) UPMC-LIP6, www.lip6.fr Abstract: Previous work showed that a kind of omega-automata known as Transition-based Generalized Testing Automata (TGTA) can outperfrom the Büchi automata traditionally used for \textit{explicit} model checking when verifying stutter-invariant properties. In this work, we investigate the use of these generalized testing automata to improve \textit{symbolic} model checking of stutter-invariant LTL properties. We propose an efficient symbolic encoding of stuttering transitions in the product between a model and a TGTA. Saturation techniques available for decision diagrams then benefit from the presence of stuttering self-loops on all states of TGTA. Experimentation of this approach confirms that it outperforms the symbolic approach based on (transition-based) Generalized Büchi Automata.

10 years, 11 months

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

Annonce January 2014