Annonce

annonce@lrde.epita.fr

565 discussions

[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, 11 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, 11 months

ELS 2016 videos

by Didier Verna

Hello, ELS 2016, the 9th European Lisp Symposium (May 9-10, AGH University, Krakow, Poland) has been entirely video-recorded. I'm pleased to announce that the videos are now available online: https://www.youtube.com/playlist?list=PLA66mD-6yK8xqd5XKxzwVBIqf1d3QQXpv -- Resistance is futile. You will be jazzimilated. Lisp, Jazz, Aïkido: http://www.didierverna.info

9 years

Help Demande de désabonnement

by Pierre Levillain

Merci de me désabonner de la liste Cordialement pierre(a)levillain.org Le 10 mai 2016 à 12:00, <annonce-request(a)lrde.epita.fr> a écrit : > Envoyez vos messages pour la liste Annonce à > annonce(a)lrde.epita.fr > > Pour vous (dés)abonner par le web, consultez > https://lists.lrde.epita.fr/listinfo/annonce > > ou, par email, envoyez un message avec 'help' dans le corps ou dans le > sujet à > annonce-request(a)lrde.epita.fr > > Vous pouvez contacter l'administrateur de la liste à l'adresse > annonce-owner(a)lrde.epita.fr > > Si vous répondez, n'oubliez pas de changer l'objet du message afin > qu'il soit plus spécifique que "Re: Contenu du digest de Annonce..." > > > Thèmes du jour : > > 1. [Seminaire-LRDE] Mercredi 18 mai 2016: Didier Verna -- > EPITA/LRDE (Daniela Becker) > > > ---------------------------------------------------------------------- > > Message: 1 > Date: Tue, 10 May 2016 10:58:47 +0200 > From: Daniela Becker <daniela(a)lrde.epita.fr> > To: seminaire(a)lrde.epita.fr > Subject: [Lrde Annonce] [Seminaire-LRDE] Mercredi 18 mai 2016: Didier > Verna -- EPITA/LRDE > Message-ID: <F6E5FB42-E245-48DB-B367-D0FED0398B36(a)lrde.epita.fr> > Content-Type: text/plain; charset="utf-8" > > Chers collègues, > > La prochaine session du séminaire Performance et Généricité du LRDE > (Laboratoire de Recherche et Développement de l'EPITA) aura lieu le > Mercredi 18 mai 2016 (11h--12h30), Salle L0 du LRDE. > > Vous trouverez sur le site du séminaire [1] les prochaines séances, > les résumés, captations vidéos et planches des exposés précédents [2], > le détail de cette séance [3] ainsi que le plan d'accès [4]. > > [1] http://seminaire.lrde.epita.fr > [2] http://seminaire.lrde.epita.fr/Archives > [3] http://seminaire.lrde.epita.fr/2016-05-18 > [4] http://www.lrde.epita.fr/Contact > > Au programme du Mercredi 18 mai 2016 : > > * 11h: Un avant-goût de Julia > -- Didier Verna -- EPITA/LRDE > http://www.didierverna.info/ > > Julia est un langage de programmation relativement jeune, développé au > MIT, et vendu comme langage dynamique à haute performance pour le calcul > scientifique numérique. L'un des co-auteurs du langage a une > connaissance de Scheme, et Julia s'inspire en effet largement de Scheme, > Common Lisp et Dylan, au point qu'il pourrait presque revendiquer un > lien de parenté avec Lisp. Tout ceci est déjà suffisant pour capter > notre attention, mais il y a plus: Julia semble également tirer parti de > techniques modernes d'optimisation pour les langages dynamiques, en > particulier grâce à son compilateur « Just-in-Time » basé sur LLVM. > > Dans cette présentation, nous ferons un tour des aspects les plus > saillants du langage, avec une légère emphase sur ce qui en fait (ou > pas) un Lisp, quelques fois même (pas toujours) un meilleur Lisp que > Lisp lui-même. > > -- Didier Verna est enseignant-chercheur au Laboratoire de Recherche et > Développement de l'EPITA. Il s'intéresse aux langages dynamiques > multi-paradigmes et en particulier aux implications de l'homoiconicité > (à tout le moins de la réflexivité) en termes de méta-programmation, > d'extensibilité et de génie logiciel en général. Didier Verna préside le > comité de pilotage du Symposium Européen sur Lisp. Il est également très > impliqué dans le logiciel libre; il fût l'un des mainteneurs d'XEmacs > pendant plus de 15 ans. > > > L'entrée du séminaire est libre. Merci de bien vouloir diffuser cette > information le plus largement possible. N'hésitez pas à nous faire > parvenir vos suggestions d’orateurs. > > -- > Akim Demaille > Akim.Demaille(a)lrde.epita.fr > > > _______________________________________________ > Seminaire mailing list > Seminaire(a)lrde.epita.fr > https://lists.lrde.epita.fr/listinfo/seminaire > > ------------------------------ > > Subject: Pied de page des remises groupées > > _______________________________________________ > Annonce mailing list > Annonce(a)lrde.epita.fr > https://lists.lrde.epita.fr/listinfo/annonce > > > ------------------------------ > > Fin de Lot Annonce, Vol 123, Parution 1 > *************************************** >

9 years

[Seminaire-LRDE] Mercredi 18 mai 2016: Didier Verna -- EPITA/LRDE

by Daniela Becker

Chers collègues, La prochaine session du séminaire Performance et Généricité du LRDE (Laboratoire de Recherche et Développement de l'EPITA) aura lieu le Mercredi 18 mai 2016 (11h--12h30), Salle L0 du LRDE. Vous trouverez sur le site du séminaire [1] les prochaines séances, les résumés, captations vidéos et planches des exposés précédents [2], le détail de cette séance [3] ainsi que le plan d'accès [4]. [1] http://seminaire.lrde.epita.fr [2] http://seminaire.lrde.epita.fr/Archives [3] http://seminaire.lrde.epita.fr/2016-05-18 [4] http://www.lrde.epita.fr/Contact Au programme du Mercredi 18 mai 2016 : * 11h: Un avant-goût de Julia -- Didier Verna -- EPITA/LRDE http://www.didierverna.info/ Julia est un langage de programmation relativement jeune, développé au MIT, et vendu comme langage dynamique à haute performance pour le calcul scientifique numérique. L'un des co-auteurs du langage a une connaissance de Scheme, et Julia s'inspire en effet largement de Scheme, Common Lisp et Dylan, au point qu'il pourrait presque revendiquer un lien de parenté avec Lisp. Tout ceci est déjà suffisant pour capter notre attention, mais il y a plus: Julia semble également tirer parti de techniques modernes d'optimisation pour les langages dynamiques, en particulier grâce à son compilateur « Just-in-Time » basé sur LLVM. Dans cette présentation, nous ferons un tour des aspects les plus saillants du langage, avec une légère emphase sur ce qui en fait (ou pas) un Lisp, quelques fois même (pas toujours) un meilleur Lisp que Lisp lui-même. -- Didier Verna est enseignant-chercheur au Laboratoire de Recherche et Développement de l'EPITA. Il s'intéresse aux langages dynamiques multi-paradigmes et en particulier aux implications de l'homoiconicité (à tout le moins de la réflexivité) en termes de méta-programmation, d'extensibilité et de génie logiciel en général. Didier Verna préside le comité de pilotage du Symposium Européen sur Lisp. Il est également très impliqué dans le logiciel libre; il fût l'un des mainteneurs d'XEmacs pendant plus de 15 ans. L'entrée du séminaire est libre. Merci de bien vouloir diffuser cette information le plus largement possible. N'hésitez pas à nous faire parvenir vos suggestions d’orateurs. -- Akim Demaille Akim.Demaille(a)lrde.epita.fr _______________________________________________ Seminaire mailing list Seminaire(a)lrde.epita.fr https://lists.lrde.epita.fr/listinfo/seminaire

9 years

New Publication: CIAA 2016

by Akim Demaille

We are happy to announce that the following paper was accepted to the 21st International Conference on Implementation and Application of Automata (CIAA 2016). Multitape Rational Expressions Akim Demaille EPITA/LRDE We introduce (weighted) rational expressions to denote series over Cartesian products of monoids. To this end, we propose the operator | to build multitape expressions such as (a⁺|x + b⁺|y)*. We define expansions, which generalize the concept of derivative of a rational expression, but relieved from the need of a free monoid. We propose an algorithm based on expansions to build multitape automata from multitape expressions.

9 years, 1 month

New Publication: TPAMI

by Yongchao Xu

We are pleased to announce that the following paper has been accepted for publication in the IEEE Transactions on Pattern Analysis and Machine Intelligence (TPAMI). Find the title and abstract below. Title and corresponding authors: Hierarchical Segmentation Using Tree-Based Shape Spaces Yongchao Xu(13), Edwin Carlinet(1), Thierry Geraud(1), Laurent Najman(2) (1) LRDE, EPITA, Kremlin-Bicêtre, France (2) LIGM, Équipe A3SI, ESIEE Paris, 93160 Noisy-le-Grand, France (3) LTCI, CNRS, Téléecom ParisTech, 75013, Paris, France Abstract: Current trends in image segmentation are to compute a hierarchy of image segmentations from fine to coarse. A classical approach to obtain a single meaningful image partition from a given hierarchy is to cut it in an optimal way, following the seminal approach of the scale-set theory. While interesting in many cases, the resulting segmentation, being a non-horizontal cut, is limited by the structure of the hierarchy. In this paper, we propose a novel approach that acts by transforming an input hierarchy into a new saliency map. It relies on the notion of shape space: a graph representation of a set of regions extracted from the image. Each region is characterized with an attribute describing it. We weigh the boundaries of a subset of meaningful regions (local minima) in the shape space by extinction values based on the attribute. This extinction-based saliency map represents a new hierarchy of segmentations highlighting regions having some specific characteristics. Each threshold of this map represents a segmentation which is generally different from any cut of the original hierarchy. This new approach thus enlarges the set of possible partition results that can be extracted from a given hierarchy. Qualitative and quantitative illustrations demonstrate the usefulness of the proposed method.

9 years, 1 month

Spot 2.0 has been released

by Alexandre Duret-Lutz

We are happy to announce the release of Spot 2.0! Spot is a C++ library for model checking and manipulation of temporal logic formula and omega-automata. It also comes with command-line tools and Python bindings. You can find the new release here: http://www.lrde.epita.fr/dload/spot/spot-2.0.tar.gz See https://spot.lrde.epita.fr/ for documentation and installation instructions. Spot 2.0 is the result of 28 months of work, as we starting working on this branch after the release of Spot 1.2.1 (Dec 2013). It includes contributions from Alexandre Lewkowicz, Amaury Fauchille, Étienne Renault, Laurent Xu, Thibaud Michaud, and myself. For people upgrading from Spot 1.2.6 (or older), the main news are as follows: * Automata now support acceptance conditions expressed as arbitrary formulas over "marks" that must be seen infinitely often or finitely often. * The C++ API has been seriously overhauled and now requires a C++11 compiler. Backward compatibility has been broken in many ways: see https://spot.lrde.epita.fr/upgrade2.html for help about migrating old code. But now that the dust has settled, you should not expect further API breakage in upcoming 2.x releases. * The shell commands now include tools for processing automata. See https://spot.lrde.epita.fr/tools.html for a list of all the tools, and check https://spot.lrde.epita.fr/autfilt.html in particular. The default interchange format is the Hanoi Omega Automata format (HOA), but other formats are supported as well. * The Python bindings are more complete, and even allow prototyping low-level algorithms (for instance the page https://spot.lrde.epita.fr/ipynb/product.html shows how to implement a product of two automata with arbitrary acceptance). Python bindings also interface nicely with IPython/Jupyter notebooks. See https://spot.lrde.epita.fr/tut.html for short examples of various tasks implemented in shell, C++, and Python. For those upgrading from 1.99.9, the difference with Spot 2.0 is rather thin. The following changes were included in Spot 2.0 (2016-04-11): Command-line tools: * ltlfilt now also support the --accept-word=WORD and --reject-word=WORD options that were introduced in autfilt in the previous version. Python: * The output of spot.atomic_prop_collect() is printable and can now be passed directly to spot.ltsmin.model.kripke(). Library: * digraph::valid_trans() renamed to digraph::is_valid_edge(). Documentation: * The concepts page (https://spot.lrde.epita.fr/concepts.html) now includes a highlevel description of the architecture, and some notes aboute automata properties. * More Doxygen documentation for spot::formula and spot::digraph. See https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-0/NEWS for the complete history of NEWS entries across previous releases. Please direct any feedback to <spot(a)lrde.epita.fr>. -- Alexandre Duret-Lutz

9 years, 1 month

[CFPart] ELS'16, 9th European Lisp Symposium, May 9-10, Kraków, Poland

by Didier Verna

ELS'16 - 9th European Lisp Symposium Department of Computer Science AGH University of Science and Technology Kraków, Poland May 9-10, 2016 In cooperation with: ACM SIGPLAN Sponsored by EPITA, Franz Inc., LispWorks Ltd., IdEx and Dept. of Computer Science AGH UST http://www.european-lisp-symposium.org/ Recent news: - Full programme now available online - Registration now open (early registration deadline: April 25) The purpose of the European Lisp Symposium is to provide a forum for the discussion and dissemination of all aspects of design, implementation and application of any of the Lisp and Lisp-inspired dialects, including Common Lisp, Scheme, Emacs Lisp, AutoLisp, ISLISP, Dylan, Clojure, ACL2, ECMAScript, Racket, SKILL, Hop and so on. We encourage everyone interested in Lisp to participate. Keynote speakers: - Pierre Castéran -- Program Proving with Coq - Stephan Karpinski -- Julia: to Lisp or Not to Lisp? - Francis Sergeraert -- Lexical Closures and Complexity Important dates: - 25 Apr 2016 Early registration deadline - 9-10 May 2016 Symposium Programme chair: Irène Durand, LaBRI, University of Bordeaux, France Local chair: Michał Psota, Emergent Network Defense, Kraków, Poland Programme committee: Antonio Leitao — INESC-ID / Instituto Superior Técnico, Universidade de Lisboa, Portugal Charlotte Heerzel — IMEC, Leuven, Belgium Christian Queinnec — University Pierre et Marie Curie, Paris 6, France Christophe Rhodes — Goldsmiths, University of London, United Kingdom Didier Verna — EPITA Research and Development Laboratory, France Erick Gallesio — University of Nice-Sophia Antipolis, France François-René Rideau, Google, USA Giuseppe Attardi — University of Pisa, Italy Kent Pitman, HyperMeta Inc., USA Leonie Dreschler-Fischer — University of Hamburg, Germany Pascal Costanza — Intel Corporation, Belgium Robert Strandh — University of Bordeaux, France Search Keywords: #els2016, ELS 2016, ELS '16, European Lisp Symposium 2016, European Lisp Symposium '16, 9th ELS, 9th European Lisp Symposium, European Lisp Conference 2016, European Lisp Conference '16 -- Resistance is futile. You will be jazzimilated. Lisp, Jazz, Aïkido: http://www.didierverna.info

9 years, 1 month

New Publication: STTT

by Etienne Renault

We are pleased to announce that the following paper has been accepted for publication in the International Journal on Software Tools for Technology Transfer (STTT). Find the title and abstract below. Title and corresponding authors: Variations on Parallel Explicit Emptiness Checks for Generalized Büchi Automata Etienne Renault(1), Alexandre Duret-Lutz(1), Fabrice Kordon(2,3) and Denis Poitrenaud(3,4) (1) LRDE, EPITA, Kremlin-Bicêtre, France (2) Sorbonne Universités, UPMC Univ. Paris 06, France (3) CNRS UMR 7606, LIP6, F-75005 Paris, France (4) USPC, Université Paris Descartes, Paris, France Abstract: We present new parallel explicit emptiness checks for LTL model checking. Unlike existing parallel emptiness checks, these are based on a Strongly Connected Component (SCC) enumeration, support generalized Büchi acceptance, and require no synchronization points nor recomputing procedures. A salient feature of our algorithms is the use of a global union-find data structure in which multiple threads share structural information about the automaton checked. Besides these basic algorithms, we present one architectural variant isolating threads that write to the union-find, and one extension that decomposes the automaton based on the strength of its SCCs to use more optimized emptiness checks. The results from an extensive experimentation of our algorithms and their variations show encouraging performances, especially when the decomposition technique is used.

9 years, 1 month

← Newer
1
...
16
17
18
19
20
21
22
...
57
Older →

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

Annonce