Special

Semantic search

  • Spot 2.3 was released — 19 January 2017
    This new release features some exciting news such as: faster emptiness checks for automata that are not explored on-the-fly, several improvements to the SAT-based minimization procedure, preliminary support for alternating automata, membership tests for all classes of the Manna and Pnueli hierarchy of temporal properties.
  • The LRDE hosts a new member, Joseph Chazalon, Research Fellow. — 17 January 2017
    Joseph Chazalon, postdoc from Laboratoire Image, Informatique et Interaction (L3i) at Université de
    La Rochelle, has joined the lab for several months and will work on the MOBIDEM project.
  • The LRDE hosts a new member, Elodie Puybareau, research engineer, who joins the Olena team. — 1 January 2017
    Holding an engineering degree in medical imaging and a PhD in computer science from LIGM, ESIEE, Elodie has worked mainly on automatic extraction of physiological parameters from videos.
    She joins LRDE's Olena team where she will work on the MOBIDEM project, especially on automatic extraction of text from images of identity papers.
  • Nicolas Boutry defends his PhD thesis "A study of well-composedness in n-D" at ESIEE at 2pm. — 14 December 2016
  • Publication The MIT Lincoln Laboratory 2016 speaker recognition system in NIST Speaker Recognition Evaluation 2016 — 12 December 2016
  • LRDE Seminar on Performance and Genericity - Des données spatio-temporelles aux

    dynamiques urbaines by Julien Perret, équipe COGIT, LaSTIG, IGN. — 7 December 2016

  • Publication A Study of Well-Composedness in n-D — 1 December 2016
  • LRDE Seminar on Performance and Genericity - Analyse du mouvement avec applications bio-médicales by Elodie Puybareau, LIGM. — 23 November 2016
  • Publication Estimating the Number of Endmembers to Use in Spectral Unmixing of Hyperspectral Data with Collaborative Sparsity in Proceedings of the 13th International Conference on Latent Variable Analysis and Signal Separation (LVA-ICA) — 22 November 2016
  • Publication Monads in Common Lisp — 18 November 2016
  • Publication Finding maximal common joins in a DAG — 17 November 2016
  • Vcsn 2.4 released — 16 November 2016
    The Vcsn team is proud to announce the release of Vcsn 2.4, code-named "the

    quotient tools"!

    This version features some noteworthy changes.
  • Spot 2.2 released — 14 November 2016
    Spot 2.2 fixes some serious bugs and adds an assortments of small
    improvements.
  • The LRDE hosts a new member, Minh On Vu Ngoc, who joins the Olena team for his PhD studies. — 3 October 2016
  • Publication From text detection to text segmentation: a unified evaluation scheme in Proceedings of the 2nd International Workshop on Robust Reading Conference (IWRR-ECCV) — 1 October 2016
  • The LRDE hosts a new member, Guillaume Tochon, assistant-professor who joins the Olena team. — 1 September 2016
    Holding a M.Sc degree from Grenoble Institute of Technology and a Ph.D degree in signal and image processing from University Grenoble Alpes, his research interests lie at the intersection of mathematical morphology, optimization and multimodal data processing for remote sensing applications.
  • The LRDE hosts a new member, Maximilien Colange, assistant-professor who joins the Spot team. — 1 September 2016
    Holding a Ph.D. from University Paris VI his research focuses on formal verification of concurrent systems. He is particularly interested in real-time constrained systems, and in infinite words automata.
  • Publication Morphology-Based Hierarchical Representation with Application to Text Segmentation in Natural Images in Proceedings of the 23st International Conference on Pattern Recognition (ICPR) — 13 July 2016
  • The LRDE Progress Report 2015 (in French) is available now. — 7 July 2016
  • Publication Derived-term Automata for Extended Weighted Rational Expressions in Proceedings of the Thirteenth International Colloquium on Theoretical Aspects of Computing (ICTAC) — 6 July 2016
  • CSI Seminar : CSI 2017 and ING1 2018 students students present their work. — 1 July 2016
    You can find the programme here.Seminars are free and open to anyone.
  • Publication of the lab's bulletin L'air de rien 36 — 29 June 2016
  • Olivier Ricou invited to ERDF Conference at ESTER Technopole in Limoges. — 22 June 2016
    He will talk about Big Data, the electric meter called Linky and its risks regarding privacy impact.
  • Publication Heuristics for Checking Liveness Properties with Partial Order Reductions in Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA'16) — 17 June 2016
  • Publication Spot 2.0 — a framework for LTL and ω-automata manipulation in Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA'16) — 17 June 2016
  • Publication A Challenging Issue: Detection of White Matter Hyperintensities in Neonatal Brain MRI in Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society — 20 May 2016
  • Publication Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection in Pattern Recognition Letters — 20 May 2016
  • LRDE Seminar on Performance and Genericity - A taste of Julia by Didier Verna, LRDE. — 18 May 2016
  • Publication Derived-Term Automata of Multitape Rational Expressions in Proceedings of Implementation and Application of Automata21st International Conference (CIAA'16) — 26 April 2016
  • Project FUI MOBIDEM accepted — 22 April 2016
    The 60 selected projects will receive funding from the French state. MOBIDEM (MOBile IDEntity for the Masses) is supported by the competitiveness cluster Systematic.
  • Publication Region-Based Classification of Remote Sensing Images with the Morphological Tree of Shapes in Proceedings of the IEEE International Geoscience and Remote Sensing Symposium (IGARSS) — 12 April 2016
  • Spot 2.0 released — 11 April 2016
    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. 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).
  • Publication Hierarchical Segmentation Using Tree-Based Shape Spaces in IEEE Transactions on Pattern Analysis and Machine Intelligence — 11 April 2016
  • Next Seminar MeFoSyLoMa at LRDE. — 8 April 2016
    Invited speakers: Alexandre Duret-Lutz (LRDE/EPITA) on "Spot 2.0" and Maximilien Colange (ENS de Cachan) on "TiAMo, the Timed Automata Model-checker"
  • Publication TextCatcher: a method to detect curved and challenging text in natural scenes in International Journal on Document Analysis and Recognition — 8 April 2016
  • The LRDE hosts a new member, Clément Bonnefoy, Master student intern from UPMC, who joins the Climb team. — 4 April 2016
  • Publication Type-Checking of Heterogeneous Sequences in Common Lisp in European Lisp Symposium — 25 March 2016
  • LRDE Seminar on Performance and Genericity - Boost.SIMD - Maximisez votre CPU directement depuis C++ by Joël Falcou, Université Paris Sud, NumScale — 23 March 2016
  • LRDE Seminar on Performance and Genericity - Analyse hiérarchique d'images multimodales by Guillaume Tochon, Grenoble-INP & GIPSA-lab — 16 March 2016
  • Publication Efficient dynamic type checking of heterogeneous sequences — 22 February 2016
  • Vcsn 2.2 released — 19 February 2016
    Vcsn is a platform for weighted automata and rational expressions.

    It consists of an efficient C++ generic library, shell tools, Python bindings, and a graphical interactive environment on top of IPython.

    This version features some noteworthy changes.
  • LRDE Seminar on Performance and Genericity - Computing with (nearly) unlimited resources by Stephan Hadinger, Head of Solutions Architecture, AWS — 17 February 2016
  • Publication What is a good evaluation protocol for text localization systems? Concerns, arguments, comparisons and solutions in Image and Vision Computing — 1 February 2016
  • Publication Towards the rectification of highly distorted texts in Proceedings of the 11th International Conference on Computer Vision Theory and Applications (VISAPP) — 1 February 2016
  • LRDE Seminar on Performance and Genericity - Une introduction à la preuve formelle de sécurité by Pierre-Yves Strub - IMDEA Software Institute - Espagne — 27 January 2016
  • CSI Seminar : CSI 2016 students students present their work on Wednesday 20 January 2016. — 20 January 2016
    You can find the programme here.Seminars are free and open to anyone.
  • Ana Stefania Calarasanu defends her PhD thesis "Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms" at EPITA at 1:30 pm. — 11 December 2015
  • Publication of the lab's bulletin L'air de rien 35 — 5 December 2015
  • Publication Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms — 1 December 2015
  • Edwin Carlinet defends his PhD thesis "A Tree of Shapes for Multivariate Images" at ESIEE at 2pm. — 27 November 2015
  • Publication A Tree of Shapes for Multivariate Images — 1 November 2015
  • Publication MToS: A Tree of Shapes for Multivariate Images in IEEE Transactions on Image Processing — 26 October 2015
  • Publication Variations on Parallel Explicit Model Checking for Generalized Büchi Automata in International Journal on Software Tools for Technology Transfer (STTT) — 26 October 2015
  • LRDE Seminar on Performance and Genericity - Intégrales de Morton pour la Simplification Géométrique Haute Vitesse by Tamy Boubekeur, Telecom ParisTech - CNRS - University Paris-Saclay — 14 October 2015
  • Vcsn 2.1 released — 11 October 2015
    Vcsn is a platform for weighted automata and rational expressions.

    It consists of an efficient C++ generic library, shell tools, Python

    bindings, and a graphical interactive environment on top of IPython.
  • The LRDE hosts a new member, Ludovic Le Frioux, who joins the Spot team for his PhD studies in collaboration with the MOVE team at LIP6. — 1 October 2015
  • Publication of the lab's bulletin L'air de rien 34 — 10 September 2015
  • Alexandre Duret-Lutz invited to Faculty of Informatics, Masaryk University, Czech Republic, for a 10-day visit. — 6 September 2015
    Etienne Renault will join him there for a week. Both will work during that time with Jan Strejcek, associate professor, and Frantisek Blahoudek, PhD student, from FI MU.
  • Former LRDE PhD-student Ala Eddine Ben Salem becomes Assistant Professor (Maître de Conférence) at Université Clermont-Ferrand I. — 1 September 2015
    Ala Eddine joins the LIMOS team. The LRDE members wish him all the best and a good start!
  • Publication SAT-based Minimization of Deterministic ω-Automata in Proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'15) — 1 September 2015
  • Publication Using histogram representation and Earth Mover's Distance as an evaluation tool for text detection in Proceedings of the 13th IAPR International Conference on Document Analysis and Recognition (ICDAR) — 1 August 2015
  • CSI Seminar : CSI 2016 students and ING1 2017 students present their work on Monday 6 July 2015. — 6 July 2015
    You can find the programme here.Seminars are free and open to anyone.
  • Publication of the lab's bulletin L'air de rien 33 — 2 July 2015
  • Publication Morphological Object Picking Based on the Color Tree of Shapes in Proceedings of 5th International Conference on Image Processing Theory, Tools and Applications (IPTA'15) — 29 June 2015
  • Publication Une approche morphologique de segmentation interactive avec l'arbre des formes couleur in Actes du 15e Colloque GRETSI — 16 June 2015
  • Publication On Refinement of Büchi Automata for Explicit Model Checking in Proceedings of the 22th International SPIN Symposium on Model Checking of Software (SPIN'15) — 15 June 2015
  • Publication Practical Stutter-Invariance Checks for ω-Regular Languages in Proceedings of the 22th International SPIN Symposium on Model Checking of Software (SPIN'15) — 15 June 2015
  • Two researchers from the Faculty of Informatics, Masaryk University, Czech Republic, on a one week visit at the LRDE. — 9 June 2015
    Jan Strejcek, associate professor, and Frantisek Blahoudek, PhD student, from FI MU work with LRDE's Spot-team.
  • Publication Connected Filtering on Tree-Based Shape-Spaces in IEEE Transactions on Pattern Analysis and Machine Intelligence — 5 June 2015
  • The LRDE hosts a new member, Jim Newton, Research Engineer, who joins the Climb team. — 2 June 2015
  • Agreement EPITA - Indian Institute of Technology Jodhpur (IITJ) — 2 June 2015
    Within the framework of the cooperation between EPITA and IITJ one B-Tech-student and one postgraduate B-Tech-student from IITJ work with LRDE's Olena-team from mid-May to mid-August 2015.
  • Next Seminar MeFoSyLoMa at LRDE. — 22 May 2015
    Invited speakers: Ekkart Kindler - Denmark Technical University, on "Coordinating Interactions: The Event Coordination Notation", and Ryszard Janicki - McMaster University, on "Modeling Concurrency With Interval Traces".
  • Publication Extending Testing Automata to All LTL in Proceedings of the 35th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'15) — 19 May 2015
  • Publication Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata in Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD'15) — 19 May 2015
  • Publication How to Make nD Images Well-Composed Without Interpolation in Proceedings of the IEEE International Conference on Image Processing (ICIP) — 14 May 2015
  • Alexandre Duret-Lutz invited to TU Dresden, Germany. — 5 May 2015
    He will speak on From PSL to Transition-based Generalized Büchi Automata at the Research Seminar QuantLA.
  • Publication The Hanoi Omega-Automata Format in Proceedings of the 27th International Conference on Computer Aided Verification (CAV'15) — 27 April 2015
  • Alexandre Duret-Lutz invited to Faculty of Informatics, Masaryk University, Czech Republic, for a one week visit at the LRDE. — 9 April 2015
    He will speak on 'Stutter-Invariance Checks & Testing Automata' at the Working Seminar on Formal Models, Discrete Structures, and Algorithms.
  • Publication How to Make nD Functions Digitally Well-Composed in a Self-Dual Way in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM) — 7 April 2015
  • Publication A Color Tree of Shapes with Illustrations on FilteringSimplification, and Segmentation in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM) — 7 April 2015
  • Publication Self-Duality and Digital Topology: Links Between the Morphological Tree of Shapes and Well-Composed Gray-Level Images in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM) — 7 April 2015
  • Publication Efficient Computation of Attributes and Saliency Maps on Tree-Based Image Representations in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM) — 7 April 2015
  • The LRDE hosts a new member, Lê Duy Huynh, Master student intern from Telecom Bretagne, who joins the Olena team. — 16 March 2015
  • Publication A self-adaptive likelihood function for tracking with particle filter in Proceedings of the 10th International Conference on Computer Vision Theory and Applications (VISAPP) — 1 March 2015
  • Publication TextTrail: A Robust Text Tracking Algorithm In Wild Environments in Proceedings of the 10th International Conference on Computer Vision Theory and Applications (VISAPP) — 1 March 2015
  • Publication Single-pass Testing Automata for LTL Model Checking in Proceedings of the 9th International Conference on Language and Automata Theory and Applications (LATA'15) — 1 March 2015
  • LRDE Seminar on Performance and Genericity - Faveod, meta-modèle au service de la qualité logicielle by Yann Azoury, Faveod — 18 February 2015
  • The LRDE hosts a new member, Krista Drushku, Master student intern from UPMC, who joins the Climb team. — 16 February 2015
  • CSI Seminar : CSI 2015 students present their work on Wednesday 28 January 2015. — 28 January 2015
    You can find the programme here. Seminars are free and open to anyone.
  • The LRDE has been once again accepted with the Spot project to PHC BARRANDE 2015, a bilateral program between France and Czech Republic supporting the mobility of researchers. — 27 January 2015
    This program will promote for the second year exchanges between the LRDE and the Faculty of Informatics of Masaryk University, Brno.
  • Publication Parallel Explicit Model Checking for Generalized Büchi Automata in Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'15) — 13 January 2015
  • The LRDE hosts a new member, Alexandre Landi, Research Engineer, who joins the Climb team. — 12 January 2015
  • Publication Context-Oriented Image Processing in Context-Oriented Programming Workshop — 1 January 2015
  • Myriam Robert-Seidowsky, has participated in the event "Filles et Maths : une équation lumineuse" at EPITA in October 2014. The video is now on-line — 19 December 2014
    She and other professionals have presented their work and role as female scientists to female high school students.
  • LRDE Seminar on Performance and Genericity - D’un MOOC à l'autre by Christian Queinnec, UPMC, LIP6 — 17 December 2014
  • LRDE Seminar on Performance and Genericity - Une nouvelle approche pour la gestion de la mémoire avec CUDA by Raphaël Boissel, EPITA, CSI — 10 December 2014
  • Etienne Renault defends his PhD thesis "Contributions to emptiness checks for explicit model checking" at Laboratoire d'Informatique de Paris 6 (LIP6) at UPMC at 2pm. — 5 December 2014
  • Publication Contribution aux tests de vacuité pour le model checking explicite — 5 December 2014
  • LRDE Seminar on Performance and Genericity - Generic Tools, Specific Languages by Markus Voelter, independent/itemis — 19 November 2014
  • Yongchao Xu starts his post-doc in collaboration with Telecom ParisTech. — 15 October 2014
    His collaboration includes a team from Bicêtre Hospital. He will work on "Segmentation of white matter hyperintensities in MR images of the newborn and the premature brain".
  • Publication Tree-Based Morse Regions: A Topological Approach to Local Feature Detection in IEEE Transactions on Image Processing — 3 October 2014
  • Ala Eddine Ben Salem defends his PhD thesis "Improving the Model Checking of Stutter-Invariant LTL Properties" at Laboratoire d'Informatique de Paris 6 (LIP6) at UPMC at 2pm. — 25 September 2014
  • Publication Improving the Model Checking of Stutter-Invariant LTL Properties — 25 September 2014
  • Publication of the lab's bulletin L'air de rien 32 — 12 September 2014
  • Publication Speckle Spot Detection in Ultrasound Images: Application to Speckle Reduction and Speckle Tracking in Proceedings of the IEEE International Ultrasonics Symposium (IUS) — 10 September 2014
  • Publication Practical Genericity: Writing Image Processing Algorithms Both Reusable and Efficient in Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications – Proceedings of the 19th Iberoamerican Congress on Pattern Recognition (CIARP) — 10 September 2014
  • The LRDE hosts a new member, Souheib Baarir, Research Fellow. — 1 September 2014
    Souheib Baarir, assistant-professor from University Paris-Nanterre, has joined the lab for a year and will work on the Spot project.
  • Vaucanson 2.0 released — 25 July 2014
  • Olena 2.1 released — 8 July 2014
    Here is a list of major changes since Olena 2.0:
    • New and improved algorithms (binarization, skeletonization, layout analysis) and I/O routines (PDF, VTK).
    • Minimal support for FFTW 3 (Fast Fourier Transform).
    • The Scribo distribution now contains a Doxygen documentation.
    • Support for modern toolchains and especially recent C++ compilers (GCC 4.8, Clang 3.5).
  • CSI Seminar : CSI 2015 students and ING1 2016 students present their work on Thursday 10 July 2014. — 4 July 2014
  • You can find the programme here.Seminars are free and open to anyone.
  • Publication of the lab's bulletin L'air de rien 31 — 4 July 2014
  • Publication Espaces des formes basés sur des arbres : définition et applications en traitement d'images et vision par ordinateur in Actes du 19ème Congrès National sur Reconnaissance des Formes et l'Intelligence Artificielle (RFIA) — 1 July 2014
  • Olivier Ricou speaks at the conference "Informatique et MOOC" organized by Société Informatique de France on EPITA's experience with MOOC. — 24 June 2014
  • Akim Demaille invited to a colloquium at University of Amsterdam to give a talk on the Tiger project within the theme "project-based curricula". — 17 June 2014
  • Publication Is There a Best Büchi Automaton for Explicit Model Checking? in Proceedings of the 21th International SPIN Symposium on Model Checking of Software (SPIN'14) — 16 June 2014
  • Publication GMM Weights Adaptation Based on Subspace Approaches for Speaker Verification in Odyssey 2014, The Speaker and Language Recognition Workshop — 16 June 2014
  • Publication A Comparative Review of Component Tree Computation Algorithms in IEEE Transactions on Image Processing — 16 June 2014
  • LRDE Seminar on Performance and Genericity - Méthodes rapides pour le traitement, l'analyse et la synthèse en informatique graphique by Tamy Boubekeur, Telecom ParisTech — 11 June 2014
  • The lab hosts a new intern: Duc Canh Luu, Master student from IFI, Hanoi, Vietnam, joins the LRDE for a 6 month internship. — 9 June 2014
  • Publication A Morphological Method for Music Score Staff Removal in Proceedings of the 21st International Conference on Image Processing (ICIP) — 3 June 2014
  • Publication On Making nD Images Well-Composed by a Self-Dual Local Interpolation in Proceedings of the 18th International Conference on Discrete Geometry for Computer Imagery (DGCI) — 28 May 2014
  • Publication A precise skew estimation algorithm for document images using KNN clustering and Fourier transform in Proceedings of the 21st International Conference on Image Processing (ICIP) — 26 May 2014
  • Publication Meaningful disjoint level lines selection in Proceedings of the 21st International Conference on Image Processing (ICIP) — 26 May 2014
  • Publication Getting a morphological Tree of Shapes for Multivariate Images: Paths, Traps and Pitfalls in Proceedings of the 21st International Conference on Image Processing (ICIP) — 26 May 2014
  • Publication A First Parallel Algorithm to Compute the Morphological Tree of Shapes of nD Images in Proceedings of the 21st International Conference on Image Processing (ICIP) — 26 May 2014
  • Two researchers from the Faculty of Informatics, Masaryk University, Czech Republic, on a one week visit at the LRDE. — 23 May 2014
  • Jan Strejcek, associate professor, and Frantisek Blahoudek, PhD student, from FI MU work with LRDE's Spot-team.
  • Publication A Type System for Weighted Automata and Rational Expressions in Proceedings of Implementation and Application of Automata19th International Conference (CIAA'14) — 20 May 2014
  • LRDE Seminar on Performance and Genericity - Nife : du Forth pour l'embarqué by Patrick Foubet, gérant et directeur technique de SERIANE — 14 May 2014
  • Agreement EPITA - Indian Institute of Technology Jodhpur (IITJ) — 12 May 2014
  • Within the framework of the cooperation between EPITA and IITJ two M-Tech-students and one B-Tech-student from IITJ work with LRDE's Olena-team from May to end of July 2014.
  • Didier Verna is Local Organizer of the 7th European Lisp Symposium (ELS 2014) that takes places at IRCAM, Paris, on May 5-6, 2014 — 5 May 2014
  • Publication A Morphological Tree of Shapes for Color Images in Proceedings of the 22nd International Conference on Pattern Recognition (ICPR) — 2 April 2014
  • Publication Symbolic Model Checking of Stutter Invariant Properties Using Generalized Testing Automata in Proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'14) — 1 April 2014
  • Seminar MeFoSyLoMa at LRDE. — 28 March 2014
  • Invited speakers : Laura Carnevali - University of Florence, "Quantitative evaluation of non-Markovian models through the approach of stochastic state classes: applications and future issues", and Ridha Benosman - CNAM, Paris, "Conception et Évaluation de Performances d'un Bus Applicatif Parallèle et Orienté Service"
  • Publication of the lab's bulletin L'air de rien 30 — 21 March 2014
  • Publication Mechanizing the Minimization of Deterministic Generalized Büchi Automata in Proceedings of the 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'14) — 21 March 2014
  • LRDE Seminar on Performance and Genericity -- Programmation d'applications Web client-serveur avec Ocsigen by Vincent Balat, Université Paris Diderot et INRIA — 12 March 2014
  • Publication LTL Translation Improvements in Spot 1.0 in International Journal on Critical Computer-Based Systems — 6 March 2014
  • The LRDE has been accepted with the Spot project to PHC BARRANDE 2014, a bilateral program between France and Czech Republic supporting the mobility of researchers. — 21 February 2014
  • This program will promote exchanges between the LRDE and the Faculty of Informatics of Masaryk University, Brno.
  • LRDE Seminar on Performance and Genericity -- CLAIRE : un pseudo-code élégant exécutable et compilable pour l'aide à la décision by Yves Caseau, Bouygues Telecom & Académie des Technologies — 18 February 2014
  • The LRDE belongs to EDITE de Paris (doctoral school). — 14 February 2014
  • You can read the notice in French here.
  • LRDE Seminar on Performance and Genericity -- Automates Acycliques by Dominique Revuz, LIGM, UMR 8046, Université Paris-Est Marne-la-Vallée — 12 February 2014
  • The LRDE hosts a new member, Alfred M. Szmidt, Research Fellow. — 3 February 2014
  • CSI Seminar : CSI 2014 students present their work on Wednesday 22 January 2014. — 22 January 2014
  • You can find the programme here. Seminars are free and open to anyone.
  • Yongchao Xu for a one-week visit at the Indian Institute of Technology Jodhpur (18-25 December 2013) — 18 December 2013
  • The objective of this visit is to foster the relation between EPITA and IITJ. Yongchao Xu is looking for IITJ candidates for internships at LRDE next spring. During his visit at IITJ, Yongchao Xu joins the National Conference on Computer Vision, Pattern Recognition, Image Processing and Graphics (NCVPRIPG) to be held in Jodhpur from December 19 to 21.
  • Yonchao Xu defends his PhD thesis "Tree-Based Shape Spaces: Definition and Applications in Image Processing and Computer Vision" at ESIEE at 2pm. — 12 December 2013
  • Publication Tree-based shape spaces: Definition and applications in image processing and computer vision — 12 December 2013
  • LRDE Seminar on Performance and Genericity -- A "Diplomatic" Parallel Algorithm for the Component Trees of High Dynamic Range Images by Michael Wilkinson, Johann Bernoulli Institute, University of Groningen, The Netherlands — 11 December 2013
  • Publication Planting, Growing and Pruning Trees: Connected Filters Applied to Document Image Analysis in Proceedings of the 11th IAPR International Workshop on Document Analysis Systems (DAS) — 10 December 2013
  • Olivier Ricou speaks at APIdays about APIs and the future of the internet. — 5 December 2013
  • LRDE Seminar on Performance and Genericity — CPC: Une implémentation efficace de la concurrence par passage de continuations by Juliusz Chroboczek, Laboratoire PPS, Université Paris-Diderot (Paris 7) — 4 December 2013
  • LRDE Seminar on Performance and Genericity — Address & Thread Sanitizer dans GCC: État Actuel et Orientation Future by Dodji Seketeli — 13 November 2013
  • Publication Text detection in street level image in Pattern Analysis and Applications — 5 November 2013
  • The LRDE hosts a new member, Luca Saiu, Research Fellow — 1 November 2013
  • Olivier Ricou participates in the Indo-French Technology Summit 2013 taking place in New Delhi on 23rd- 24th October 2013. — 23 October 2013
  • The objective of the France-India Technology Summit is to promote technological and trade exchanges between the two countries, to strengthen existing collaborations and to meet potential partners for the development of new technologies and of new synergies.

    Olivier Ricou presents research conducted at EPITA during the event.


    After the Summit, Olivier Ricou will undertake a 5-day visit to the Indian Institute of Technology Jodhpur (IIT Jodhpur) in order to set up a research partnership between EPITA and IIT Jodhpur.
  • Publication Three SCC-based Emptiness Checks for Generalized Büchi Automata in Proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'13) — 9 October 2013
  • LRDE Seminar on Performance and Genericity — GNU epsilon, un langage de programmation extensible by Luca Saiu — 9 October 2013
  • Publication of the lab's bulletin L'air de rien 29 — 18 September 2013
  • Now online: Talk of CSI student Raphaël Boissel on Reducing the resource consumption of a complex image processing chain — 10 September 2013
  • Publication of the lab's bulletin L'air de rien 28 — 27 June 2013
  • Publication LTL Model Checking with Neco in Proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis (ATVA'13) — 15 June 2013
  • Publication Manipulating LTL formulas using Spot 1.0 in Proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis (ATVA'13) — 15 June 2013
  • Publication of the lab's bulletin L'air de rien 27 — 12 June 2013
  • Now online: Talk of CSI student Thomas Badie on Simulation-based Reductions for TGBA — 11 June 2013
  • Publication Unsupervised Methods for Speaker Diarization: An Integrated and Iterative Approach in IEEE Transactions on Audio, Speech, and Language Processing — 7 June 2013
  • LRDE Seminar on Performance and Genericity - Langages de développement et sécurité -- Mind your language by Eric Jaeger et Olivier Levillain — 29 May 2013
  • Publication Salient Level Lines Selection Using the Mumford-Shah Functional in Proceedings of the 20th International Conference on Image Processing (ICIP) — 27 May 2013
  • LRDE Seminar on Performance and Genericity - Etendre le compilateur GCC avec MELT by Basile Starynkevitch — 22 May 2013
  • Didider Verna will give a talk on 'Language extensibility and its impact on DSL design and implementation: A case study in Lisp'at the ECOOP workshop on Domain Specific Languages Design and Implementation (DSLDI) in Montpellier — 21 May 2013
  • Publication Implementation Concepts in Vaucanson 2 in Proceedings of Implementation and Application of Automata18th International Conference (CIAA'13) — 2 May 2013
  • Project LINXV2 started — 1 May 2013
  • Spot 1.1 released — 28 April 2013
    Spot is a model-checking library developed collaboratively by LRDE and LIP6. It provides algorithms and data structures to implement
  • Publication Compositional Approach to Suspension and Other Improvements to LTL Translation in Proceedings of the 20th International SPIN Symposium on Model Checking of Software (SPIN'13) — 28 April 2013
  • Publication Efficient Multiscale Sauvola's Binarization in International Journal of Document Analysis and Recognition (IJDAR) — 25 April 2013
  • LRDE Seminar on Performance and Genericity - Designing robust distributed systems with weakly interacting feedback structures by Peter Van Roy — 24 April 2013
  • LRDE Seminar on Performance and Genericity - SMIL : Simple Morphological Image Library by Matthieu Faessel et Michel Bilodeau — 27 March 2013
  • Publication Discrete set-valued continuity and interpolation in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM) — 14 March 2013
  • Publication Two applications of shape-based morphology: blood vessels segmentation and a generalization of constrained connectivity in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM) — 14 March 2013
  • Publication A comparison of many max-tree computation algorithms in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM) — 14 March 2013
  • Publication A Quasi-Linear Algorithm to Compute the Tree of Shapes of n-D Images in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM) — 14 March 2013
  • The LRDE hosts a new member, Myriam Robert-Seidowsky, Research Engineer — 1 March 2013
  • LRDE Seminar on Performance and Genericity - Une représentation d'images 2D discrète, continue et auto-duale by Thierry Géraud — 20 February 2013
    Attendance to LRDE Seminars is free and open to anyone.
  • LRDE Seminar on Performance and Genericity - Amélioration du design et des performances des machines virtuelles langages by Gaël Thomas — 23 January 2013
    Attendance to LRDE Seminars is free and open to anyone.
  • Publication Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking in Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'13) — 8 January 2013
  • Didier Verna will hold a 90 minutes session with the title "The Bright Side of Exceptions" at ACCU 2013 — 3 January 2013
  • Publication The incredible tale of the author who didn't want to do the publisher's job in TUGboat — 1 January 2013
  • Publication TiCL: the Prototype (Star TeX: the Next GenerationSeason 2) in TUGboat — 1 January 2013
  • Etienne Renault, PhD-student at LRDE, gives a talk on "Strength-based decomposition of the property Büchi automaton for faster model-checking" organized at MeFoSyLoMa — 7 December 2012
  • Alexandre Duret-Lutz invited to give a talk at Faculty of Informatics, Masaryk University, Czech Republic — 3 December 2012
  • The LRDE hosts a new member, Clément Démoulins, Research Engineer — 1 December 2012
  • Publication MITLL 2012 Speaker Recognition Evaluation System Description in NIST Speaker Recognition Evaluation — 1 December 2012
  • Yongchao Xu, PhD-student at LRDE, gives a talk on "Morphological Filtering in Shape Spaces : Applications Using Tree-Based Image Representations" organized at Reseach Center for Frontier Medical Engineering, Chiba University — 16 November 2012
  • Stefania Calarasanu becomes PhD-student at LRDE — 1 November 2012
  • Spot 1.0 is released — 27 October 2012
  • LRDE Seminar on Performance and Genericity — 17 October 2012
    Attendance to LRDE Seminars is free and open to anyone.
  • Publication of the lab's bulletin L'air de rien 26 — 17 September 2012
  • A new intern joins the LRDE: Théophile Ranquet — 10 September 2012
  • Edwin Carlinet becomes PhD-student at LRDE — 10 September 2012
  • Publication Extensible languages: blurring the distinction between DSLs and GPLs in Formal and Practical Aspects of Domain-Specific Languages: Recent Developments — 1 September 2012
  • Publication Writing Reusable Digital Topology Algorithms in a Generic Image Processing Framework in WADGMM 2010 — 8 August 2012
  • GNU Bison 2.6.1 is released — 30 July 2012
  • Publication Writing Reusable Digital Geometry Algorithms in a Generic Image Processing Framework in Proceedings of the Workshop on Applications of Digital Geometry and Mathematical Morphology (WADGMM) — 30 July 2012
  • Vaucanson 1.4.1 is released — 14 July 2012
  • LRDE Seminar on Performance and Genericity — 4 July 2012
    This seminar is dedicated to the work of LRDE's PhD students.
  • LRDE Seminar on Performance and Genericity — 20 June 2012
    Attendance to LRDE Seminars is free and open to anyone.
  • Yongchao Xu, PhD-student at LRDE, gives a talk on "Morphological Filtering in Shape Spaces : Applications Using Tree-Based Image Representations" organized at ENSTA — 20 June 2012
  • Publication Morphological Filtering in Shape Spaces : Applications using Tree-Based Image Representations in Proceedings of the 21st International Conference on Pattern Recognition (ICPR) — 16 June 2012
  • Publication Outil logiciel pour le traitement d'images: Bibliothèque, paradigmes, types et algorithmes — 1 June 2012
  • Publication First Attempt at Boltzmann Machines for Speaker Recognition in Odyssey Speaker and Language Recognition Workshop — 1 June 2012
  • LRDE Seminar on Performance and Genericity — 9 May 2012
    Attendance to LRDE Seminars is free and open to anyone.
  • Publication of the lab's bulletin L'air de rien 25 — 9 May 2012
  • Spot 0.9 released — 9 May 2012
    Spot is a model-checking library developed collaboratively
  • Publication Generic Image Processing with Climb in European Lisp Symposium — 1 May 2012
  • Publication Context-Based Energy Estimator: Application to Object Segmentation on the Tree of Shapes in Proceedings of the 19th International Conference on Image Processing (ICIP) — 17 April 2012
  • Yongchao Xu, PhD-student at LRDE, gives a talk on "Morphological Filtering in Shape Spaces : Applications Using Tree-Based Image Representations" organized at ESIEE — 12 April 2012
  • LRDE Seminar on Performance and Genericity — 21 March 2012
    Attendance to LRDE Seminars is free and open to anyone.
  • LRDE Seminar on Performance and Genericity — 14 March 2012
    Attendance to LRDE Seminars is free and open to anyone.
  • LRDE Seminar on Performance and Genericity — 15 February 2012
    Attendance to LRDE Seminars is free and open to anyone.
  • Publication Motion compensation based on Tangent Distance prediction for video compression in Signal Processing: Image Communication — 9 February 2012
  • Publication of the lab's bulletin L'air de rien 24 — 2 February 2012
  • The LRDE participates in the conference dedicated to "Free Software and higher Education" organized by IRILL at IRILL, Paris; more info on this page — 2 February 2012
  • Project eTourismAugmentedReality (eTourismeAugmenté - French version) accepted — 16 January 2012
  • Publication Model Checking using Generalized Testing Automata in Transactions on Petri Nets and Other Models of Concurrency (ToPNoC VI) — 1 January 2012
  • Publication JSPP: Morphing C++ into JavaScript — 1 January 2012
  • Publication Star TeX : the Next Generation in TUGboat — 1 January 2012
  • Project TerraRush (TerraRush- French Version) accepted — 26 December 2011
  • The LRDE Progress Report 2010 is available now. — 6 December 2011
  • LRDE Seminar on Performance and Genericity — 16 November 2011
    Attendance to LRDE Seminars is free and open to anyone.
  • Roland Levillain defends his Ph.D. thesis — 15 November 2011
  • Publication Towards a Software Architecture for Generic Image Processing — 1 November 2011
  • LRDE Seminar on Performance and Genericity — 26 October 2011
    Attendance to LRDE Seminars is free and open to anyone.
  • Publication of the lab's bulletin L'air de rien 23 — 10 October 2011
  • The LRDE hosts a new member: Étienne Renault — 3 October 2011
    Étienne Renault has been graduated in real-time and distributed systems and he is interested in formal methods and model checking for distributed
  • Vaucanson 1.4 is released — 28 September 2011
    Vaucanson is a platform for manipulating weighted finite state
  • The LRDE hosts a new member: Benjamin Raynal — 26 September 2011
    PhD from Université Paris Est Marne-la-Vallée. His works mainly focus on real-time motion capture from multi-camera systems. The applications include new human-computer interfaces, automatic video surveillance and domotics. He joined LRDE as a postdoctoral researcher and is currently interested by automatic extraction of text from images.
  • Olena 2.0 is released — 16 September 2011
    Olena is LRDE's platform dedicated to image processing and
  • Publication of the lab's bulletin L'air de rien 22 — 12 September 2011
  • Publication Language Recognition via I-Vectors and Dimensionality Reduction in INTERSPEECH 2011 — 1 August 2011
  • Publication LTL Translation Improvements in Spot in Proceedings of the 5th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS'11) — 25 July 2011
  • LRDE Seminar on Performance and Genericity — 6 July 2011
    Attendance to LRDE Seminars is free and open to anyone.
  • Publication of the lab's bulletin L'air de rien 21 — 4 July 2011
  • Guillaume Lazzara invited to the LORIA in Nancy — 24 June 2011
    Guillaume Lazzara will be at the LORIA in Nancy on June 24th 2011. He is invited by the Qgar Team to give a talk about the Scribo module, a new free software framework for Document Image Analysis based on Milena.
  • Publication Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking in Proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis (ATVA'11) — 23 June 2011
  • LRDE Seminar on Performance and Genericity — 15 June 2011
    Attendance to LRDE Seminars is free and open to anyone.
  • Publication The SCRIBO Module of the Olena Platform: a Free Software Framework for Document Image Analysis in Proceedings of the 11th International Conference on Document Analysis and Recognition (ICDAR) — 1 June 2011
  • Publication Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking — 1 June 2011
  • Publication Generalized Büchi Automata versus Testing Automata for Model Checking in Proceedings of the second International Workshop on Scalable and Usable Model Checking for Petri Net and other models of Concurrency (SUMO'11) — 25 May 2011
  • LRDE Seminar on Performance and Genericity — 18 May 2011
    Attendance to LRDE Seminars is free and open to anyone. This session includes the following topic:
  • Publication Une approche générique du logiciel pour le traitement d'images préservant les performances in Proceedings of the 23rd Symposium on Signal and Image Processing (GRETSI) — 13 May 2011
  • Publication Front-End Factor Analysis For Speaker Verification in IEEE Transactions on Audio, Speech, and Language Processing — 1 May 2011
  • Publication A Channel-Blind System for Speaker Verification in International Conference on Acoustics, Speech and Signal Processing (ICASSP) — 1 May 2011
  • LRDE Seminar on Performance and Genericity — 16 March 2011
    Attendance to LRDE Seminars is free and open to anyone. This session includes the following topic:
  • LRDE Seminar on Performance and Genericity — 9 February 2011
    Attendance to LRDE Seminars is free and open to anyone. This session includes the following topic:
  • Spot 0.7 and 0.7.1 released — 7 February 2011
    Spot is a model-checking library developed collaboratively
  • New online demo of page segmentation and reconstruction — 5 January 2011
    Online demo of page segmentation and reconstruction. Convert a document image to PDF and HTML.
  • Publication Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them in Onward! 2011 — 1 January 2011
  • Publication Towards LaTeX Coding Standards in TUGboat — 1 January 2011
  • LRDE Seminar on Performance and Genericity — 8 December 2010
    Attendance to LRDE Seminars is free and open to anyone. This session includes the following topic:
  • The LRDE gives a talk at the "CO-LAB Sémantique" workshop organized by SCRIBO and XWiki at 'La Cantine', Paris; more info on this page — 23 November 2010
  • LRDE Seminar on Performance and Genericity — 10 November 2010
    Attendance to LRDE Seminars is free and open to anyone. This session includes the following topic:
  • Publication NixOS: A purely functional Linux distribution in Journal of Functional Programming — 15 October 2010
  • LRDE Seminar on Performance and Genericity — 13 October 2010
    Attendance to LRDE Seminars is free and open to anyone. This session includes the following topic:
  • The LRDE hosts a new member: Yongchao Xu — 5 October 2010
    Yongchao XU continues working at LRDE within the Olena project as a PhD Student at Université Paris Est Marne-la-Vallée on "Segmentation by self-dual structure on disconnected complexes" after having completed his Master at Paris Sud (IFIPS /Orsay).
  • The Spot project hosts a new member: Ala-Eddine Ben-Salem — 1 October 2010
    Ala Eddine BEN SALEM, graduate of ENSEEIHT (Ingénieur IMA, 2005), has
  • Publication of the lab's bulletin L'air de rien 20 — 22 September 2010
  • Publication SnooperText: A Multiresolution System for Text Detection in Complex Visual Scenes in Proceedings of the IEEE International Conference on Image Processing (ICIP) — 1 September 2010
  • Publication Morphologie et algorithmes in Morphologie mathématique 2~: estimation, choix et mise en œuvre — 1 September 2010
  • Publication Algorithms for Mathematical Morphology in Mathematical Morphology—From Theory to Applications — 1 July 2010
  • Two new online demos related to the Scribo project — 22 June 2010
    Parts of the work done in Scribo can be tested online: a multi-scale binarization based on Sauvola's algorithm and a text detector in natural pictures.
  • Publication polyDD: Towards a Framework Generalizing Decision Diagrams in Proceedings of the 10th International Conference on Application of Concurrency to System Design (ACSD) — 1 June 2010
  • Publication Why and How to Design a Generic and Efficient Image Processing Framework: The Case of the Milena Library in Proceedings of the IEEE International Conference on Image Processing (ICIP) — 26 May 2010
  • Publication of the lab's bulletin L'air de rien 19 — 11 May 2010
  • LRDE Seminar on Performance and Genericity — 28 April 2010
    Attendance to LRDE Seminars is free and open to anyone. This session includes the following topic:
  • Spot 0.6 is released — 16 April 2010
    Spot is a model-checking library developed collaboratively
  • LRDE Seminar on Performance and Genericity — 31 March 2010
    Attendance to LRDE Seminars is free and open to anyone. This session includes the following topic:
  • Publication CLoX: Common Lisp objects for XEmacs in Proceedings of the 3rd European Lisp Symposium — 9 March 2010
  • Publication Classes, Styles, Conflicts: the Biological Realm of LaTeX in TUGboat — 9 March 2010
  • LRDE Seminar on Performance and Genericity — 3 March 2010
    Attendance to LRDE Seminars is free and open to anyone. This session includes the following topic:
  • Olivier Ricou gives conference on Internet governance at ESPCI — 19 February 2010
    On the occasion of the Seminar of the PMMH laboratory at ESPCI, Olivier Ricou has given a general knowledge
  • Spot 0.5 is released — 1 February 2010
    Spot is a model-checking library developed collaboratively
  • Didier Verna invited to Vrije University of Brussels — 26 January 2010
    Didier Verna will be at the Vrije University of Brussels on January 26th
  • Alexandre Duret-Lutz invited to ETHZ Zurich — 25 January 2010
    Alexandre Duret-Lutz is invited by the "Information Security" group of
  • Publication Cosine Similarity Scoring without Score Normalization Techniques in Odyssey The Speaker and Language Recognition — 1 January 2010
  • Publication Unsupervised Speaker Adaptation based on the Cosine Similarity for Text-Independent Speaker Verification in Odyssey The Speaker and Language Recognition — 1 January 2010
  • Publication Revisiting the Visitor: the Just Do It Pattern in Journal of Universal Computer Science — 1 January 2010
  • Publication LRDE Speaker Recognition System for NIST-SRE 2010 in NIST 2010 Speaker Recognition Evaluation — 1 January 2010
  • PhD student Alexandre Hamez defends his Thesis at LIP6 — 8 December 2009
    Title :
  • LRDE Seminar on Performance and Genericity — 2 December 2009
    Attendance to LRDE Seminars is free and open to anyone. This session includes the following topic:
  • Publication Génération efficace de grands espaces d'états — 1 December 2009
  • Publication Sémantique paramétrable des Diagrammes de Décision : une démarche vers l'unification — 1 November 2009
  • Publication of the lab's bulletin L'air de rien 18 — 27 October 2009
  • LRDE Seminar on Performance and Genericity — 21 October 2009
    Attendance to LRDE Seminars is free and open to anyone. This session includes the following topic:
  • LRDE Seminar on Performance and Genericity — 30 September 2009
    Attendance to LRDE Seminars is free and open to anyone. This session includes the following topic:
  • PhD student Alban Linard defends his Thesis at LIP6 — 29 September 2009
    Title :
  • Vaucanson 1.3.2 is released — 22 September 2009
    Vaucanson is a platform for manipulating weighted finite state
  • DoX 2.0 is released — 21 September 2009
    DoX
  • Publication of the lab's bulletin L'air de rien 17 — 14 September 2009
  • DoX 1.0 is released — 11 September 2009
    DoX
  • Olena 1.0 is integrated into Mandriva Linux — 9 September 2009
    The Olena team is pleased to announce that Milena, the core C++ image processing library of the Olena 1.0 platform, has been integrated into the Mandriva Linux distribution.
  • FiXme 3.4 is released — 16 July 2009
    FiXme
  • Olena 1.0 is released. — 14 July 2009
  • The Olena project hosts a new member: Yann Jacquelet — 9 July 2009
    Yann Jacquelet, graduate of the EPITA (SCIA, 1999), has completed a Master
  • Vaucanson 1.3.1 is released — 8 July 2009
  • The lab hosts a new member: Jonathan Fabrizio — 2 July 2009
    The LRDE is happy to welcome Jonathan Fabrizio.
  • Publication Support Vector Machines versus Fast Scoring in the Low-Dimensional Total Variability Space for Speaker Verification in Interspeech — 22 June 2009
  • Publication Cepstral and Long-Term Features for Emotion Recognition in Interspeech — 22 June 2009
  • Vaucanson 1.3 is released — 26 May 2009
  • The Scribo project the lab is involved in now appears on Wikipedia — 21 May 2009
  • LRDE Seminar on Performance and Genericity — 22 April 2009
    Attendance to LRDE Seminars is free and open to anyone. This session includes the following topics:
  • Publication Support Vector Machines and Joint Factor Analysis for Speaker Verification in IEEE-ICASSP — 19 April 2009
  • Publication Milena: Write Generic Morphological Algorithms Once, Run on Many Kinds of Images in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the Ninth International Symposium on Mathematical Morphology (ISMM) — 9 April 2009
  • Publication of the lab's bulletin L'air de rien 16 — 8 April 2009
  • Publication Binary Methods Programming: the CLOS Perspective in Proceedings of the First European Lisp Symposium — 31 March 2009
  • LRDE Seminar on Performance and Genericity — 25 March 2009
    Attendance to LRDE Seminars is free and open to anyone. This session is dedicated to the following topic:
  • LRDE Seminar on Performance and Genericity — 25 February 2009
    Attendance to LRDE Seminars is free and open to anyone. This session includes the following topics:
  • LRDE Seminar on Performance and Genericity — 11 February 2009
    Attendance to LRDE Seminars is free and open to anyone. This session includes the following topics:
  • The LRDE and EPITA take part in the organization of the ITiCSE 2009 conference — 27 January 2009
    The 14th ACMSIGCSE
  • Publication CLOS Efficiency: Instantiation in Proceedings of the International Lisp Conference — 13 January 2009
  • Publication On-the-fly Emptiness Check of Transition-based Streett Automata in Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09) — 1 January 2009
  • Publication Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation in Fundamenta Informaticae — 1 January 2009
  • Publication Revisiting the Visitor: the Just Do It Pattern in Proceedings of the ACCU Conference 2009 — 29 December 2008
  • Olena 1.0 beta is available — 15 December 2008
  • The LRDE at the Open World Forum, Paris — 1 December 2008
  • LRDE Seminar on Performance and Genericity — 26 November 2008
    Attendance to LRDE Seminars is free and open to anyone. This session includes the following topics:
  • LRDE Seminar on Performance and Genericity — 5 November 2008
    Attendance to LRDE Seminars is free and open to anyone. This session includes the following topics:
  • Publication of the lab's bulletin L'air de rien 15 — 20 October 2008
  • Publication TWEAST: A Simple and Effective Technique to Implement Concrete-Syntax AST Rewriting Using Partial Parsing in Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC'09) — 11 October 2008
  • The lab hosts a new member : Dalila Benboudjema — 1 October 2008
    The LRDE is happy to welcome Dalila Benboudjema. After having successfully completed her PhD under the direction of thesis advisor Prof. W. Pieczynski at Télécom Sud-Paris (ex INT-Evry) she was postdoc at Telecom ParisTech. Then she has worked at Ecole des Mines de Paris as a Research Engineer, before joining EPITA as an Assistant Professor and the LRDE in order to work, among others, on Olena for the Scribo project .
  • LRDE Seminar on Performance and Genericity — 24 September 2008
    Attendance to LRDE Seminars is free and open to anyone. This session includes the following topics:
  • The lab has a new head : Olivier Ricou — 15 September 2008
    Akim Demaille hands over the responsibilty of the lab to Olivier Ricou after having held the post for 5,5 years.
  • The lab hosts a new member : Guillaume Lazzara — 1 September 2008
    The LRDE is happy to welcome Guillaume Lazzara. Former CSI 2008 student, he has received his EPITA
  • Publication An XML format proposal for the description of weighted automata, transducers, and regular expressions in Post-proceedings of the seventh international workshop on Finite-State Methods and Natural Language Processing (FSMNLP'08) — 28 July 2008
  • Publication A Survey of French Local e-Democracy in Proceedings of the 8th European Conference on e-Government (ECEG) — 1 July 2008
  • Publication Report on the 5th Workshop ELW at ECOOP 2008 in Object-Oriented Technology. ECOOP 2008 Workshop Reader — 1 July 2008
  • Publication The LRDE Systems for the 2008 NIST Speaker Recognition Evaluation in NIST-SRE 2008 — 1 June 2008
  • LRDE Seminar on Performance and Genericity — 28 May 2008
    Le language BSML -- Frédéric Gava Programmation parallèle certifiée -- Frédéric Loulergue.
  • Publication of the lab's bulletin L'air de rien 14 — 28 May 2008
  • Publication Semantics-Driven Genericity: A Sequel to the Static C++ Object-Oriented Programming Paradigm (SCOOP 2) in Proceedings of the 6th International Workshop on Multiparadigm Programming with Object-Oriented Languages (MPOOL) — 26 May 2008
  • LRDE Seminar on Performance and Genericity — 30 April 2008
    High-Level Abstractions and Optimization -- Anya Helene Bagge Mouldable Programming -- Magne Haveraaen.
  • The LRDE participates in the NIST-2008 Speaker Recognition Evaluation campaign — 7 April 2008
  • Publication of the lab's bulletin L'air de rien 13 — 31 March 2008
  • Publication A Set of Tools to Teach Compiler Construction in Proceedings of the Thirteenth Annual Conference on Innovation and Technology in Computer Science Education (ITICSE'08) — 29 March 2008
  • LRDE Seminar on Performance and Genericity — 26 March 2008
    Attendance to LRDE Seminars is free and open to anyone. This session includes the following topics:
  • Vaucanson 1.2 is released — 19 March 2008
  • Publication Hierarchical Set Decision Diagrams and Automatic Saturation in Petri Nets and Other Models of Concurrency –ICATPN 2008 — 1 March 2008
  • Patcher 3.10 is released — 27 February 2008
    Patcher
  • FiNK 2.1.1 is released — 27 February 2008
    FiNK
  • CurVe 1.15 is released — 25 February 2008
    CurVe
  • LRDE Seminar on Performance and Genericity — 20 February 2008
    Attendance to LRDE Seminars is free and open to anyone. This session welcomes the following talk:
  • Publication Semantics driven disambiguation: A comparison of different approaches in Proceedings of the 8th workshop on Language DescriptionsTools and Applications (LDTA'08) — 8 February 2008
  • The lab hosts engineer Géraud Beguin — 1 February 2008
    Géraud BEGUIN has obtained his Engineer Degree at ISEP - Graduate school of Engineers in Computer Engineering, Electronics, Telecommunications and Network in 2007. After having specialized in artificial intelligence during one semester in Argentinia at Universidad Tecnologica Nacional (UTN) thanks to an exchange programme, he has completed his final internship of ISEP at Institut Gustave Roussy (IGR), working on different methods for ultrasound image deconvolution.
  • LRDE Seminar on Performance and Genericity — 30 January 2008
    Attendance to LRDE Seminars is free and open to anyone. This session includes the following issues:
  • Publication Towards the World-Wide Quantum Network in Proceedings of the 4th Information Security Practice and Experience Conference (ISPEC'08) — 25 January 2008
  • Publication Approximate Nash Equilibria for Multi-Player Games in 1st International Symposium on Algorithmic Games Theory — 18 January 2008
  • Publication of the lab's bulletin L'air de rien 12 — 4 January 2008
  • Publication Global Optimization for First Order Markov Random Fields with Submodular Priors in Proceedings of the twelfth International Workshop on Combinatorial Image Analysis (IWCIA'08) — 3 January 2008
  • Publication Binary Methods Programming: the CLOS Perspective (extended version) in Journal of Universal Computer Science — 1 January 2008
  • Vaucanson 1.1.1 is released — 14 December 2007
    The Vaucanson Team is proud to announce the release of Vaucanson 1.1.1. This release contains mostly bug fixes.
  • FiXme 3.3 is released — 28 November 2007
    FiXme
  • CurVe 1.14 is released — 27 November 2007
    CurVe
  • FiNK 2.1 is released — 14 November 2007
    FiNK
  • Publication of the lab's bulletin L'air de rien 11 — 28 September 2007
  • Publication The Role of Speaker Factors in the NIST Extended Data Task in Proceedings of the Speaker and Language Recognition Workshop (IEEE-Odyssey 2008) — 25 September 2007
  • Publication Kernel Combination for SVM Speaker Verification in Proceedings of the Speaker and Language Recognition Workshop (IEEE-Odyssey 2008) — 25 September 2007
  • Publication Comparison Between Factor Analysis and GMM Support Vector Machines for Speaker Verification in Proceedings of the Speaker and Language Recognition Workshop (IEEE-Odyssey 2008) — 25 September 2007
  • Publication Web services at TERAPIX in Proceedings of the XVII conference on Astronomical Data Analysis Software & Systems (ADASS) — 23 September 2007
  • Patcher 3.9 is released — 17 September 2007
    Patcher
  • The lab welcomes a new member : Alexandre Duret-Lutz — 1 September 2007
    The LRDE is happy to welcome Alexandre Duret-Lutz who joins the team after receiving his PhD
  • Publication Linear and Non Linear Kernel GMM SuperVector Machines for Speaker Verification in Proceedings of the European Conference on Speech Communication and Technologies (Interspeech'07) — 27 August 2007
  • CurVe 1.13 is released — 21 August 2007
    CurVe
  • Vaucanson 1.1 is released — 30 July 2007
    The Vaucanson Team is proud to announce the release of Vaucanson 1.1. This release mainly includes bug fixes, various optimizations (I/O and algorithms) and TAF-Kit improvements.
  • Publication of the lab's bulletin L'air de rien 10 — 20 June 2007
  • Vaucanson 1.0a is released — 13 June 2007
    The Vaucanson Team is proud to announce the release of Vaucanson 1.0a. This is an intermediate release which mainly includes bug fixes and various optimizations.
  • FiNK 2.0 is released — 12 June 2007
    FiNK
  • Publication How to make Lisp go faster than C in Proceedings of the International MultiConference of Engineers and Computer Scientists — 11 June 2007
  • Publication 10 years of confrontation between French Internet users and their successive governments in Proceedings of the 7th European Conference on e-Government (ECEG) — 1 June 2007
  • Publication Algorithme de calcul de l'arbre des composantes avec applications à la reconnaissance des formes en imagerie satellitaire in Proceedings of the 21st Symposium on Signal and Image Processing (GRETSI) — 11 May 2007
  • Publication of the lab's bulletin L'air de rien 9 — 7 May 2007
  • Publication Effective Component Tree Computation with Application to Pattern Recognition in Astronomical Imaging in Proceedings of the IEEE International Conference on Image Processing (ICIP) — 3 May 2007
  • Publication libDMC: a library to Operate Efficient Distributed Model Checking in Workshop on Performance Optimization for High-Level Languages and Libraries — associated to IPDPS'2007 — 13 March 2007
  • Publication On the security of quantum networks: a proposal framework and its capacity in Proceedings of the 2007 International Conference on New Technologies, Mobility and Security (NTMS'07) — 10 March 2007
  • Publication of the lab's bulletin L'air de rien 8 — 5 March 2007
  • Olena 0.11 is released — 21 February 2007
    The Olena Team is proud to announce the release of Olena 0.11. This version is an update of the Olena generic and efficient image processing library developed at the LRDE. This new version brings support for recent versions of the GNU (g++ 4.0 and 4.1) and Intel (icpc 9.1) C++ compilers. Swilena, the set of Python and Ruby wrappers for Olena, has been improved. Finally Olena 0.11 supports Mac OS X (version 10.3) and includes a lot of fixes over the previous version.
  • Olena 0.11 is released. — 21 February 2007
  • Publication Local reasoning in fuzzy attribute graphs for optimizing sequential segmentation in Proceedings of the 6th IAPR TC-15 Workshop on Graph-based Representations in Pattern Recognition (GBR) — 15 February 2007
  • Publication CLOS solutions to binary methods in Proceedings of the International MultiConference of Engineers and Computer Scientists — 22 January 2007
  • Publication A Note on the Discrete Binary Mumford-Shah Model in Proceedings of the international Computer Vision / Computer Graphics Collaboration Techniques and Applications (MIRAGE 2007) — 29 December 2006
  • Publication The Biosecure Geometry-based System for Hand Modality in Proceedings of the 32nd IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP) — 18 December 2006
  • Publication Stochastic routing in large grid-shaped quantum networks in Proceedings of the Fifth International Conference on Computer Sciences, Research, Innovation and Vision for the Future (RIVF'07) — 4 December 2006
  • Publication How to make Lisp go faster than C in IAENG International Journal of Computer Science — 1 December 2006
  • The Transformers group presents its results to Seventh Stratego User Days — 30 November 2006
  • Publication of the lab's bulletin L'air de rien 7 — 29 November 2006
  • Publication The use of levelable regularization functions for MRF restoration of SAR images in Proceedings of the 19th Symposium SPIE on Electronic Imaging — 30 September 2006
  • Publication of the lab's bulletin L'air de rien 6 — 29 September 2006
  • Publication Project EFIGI: Automatic classification of galaxies in Astronomical Data Analysis Software and Systems XV — 20 September 2006
  • Publication Modeling of Sensor Networks Using XRM in Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'06) — 14 September 2006
  • Publication A note on nice-levelable MRFs for SAR image denoising with contrast preservation — 1 September 2006
  • Publication An Efficient Algorithm for Connected Attribute Thinnings and Thickenings in Proceedings of the second International Conference on Visual Computing — 9 August 2006
  • Vaucanson 1.0 is released — 28 July 2006
    The Vaucanson team is proud to announce this release, which includes significant improvements of the library, and TAF-Kit support for Boolean Automata, Z-Automata, and Transducers.
  • Publication Evaluating complex MAC protocols for sensor networks with APMC in Proceedings of the 6th International Workshop on Automated Verification of Critical Systems (AVoCS) — 27 July 2006
  • Publication Approximate Probabilistic Model Checking for Programs in Proceedings of the IEEE 2nd International Conference on Intelligent Computer Communication and Processing (ICCP'06) — 27 July 2006
  • Publication Attribute Grammars for Modular Disambiguation in Proceedings of the IEEE 2nd International Conference on Intelligent Computer Communication and Processing (ICCP'06) — 12 July 2006
  • Publication Beating C in Scientific Computing Applications in Third European Lisp Workshop at ECOOP — 11 July 2006
  • Publication Shape-based hand recognition in IEEE Transactions on Image Processing — 1 July 2006
  • Vaucanson 0.8.0 is released — 15 June 2006
    This new release comes with the usual set of bug fixes, renamings and cleanup, and with the advant of a new command-line interface: TAF-Kit.
  • CurVe 1.11 is released — 7 June 2006
    CurVe
  • Publication LRDE System description in NIST SRE'06 Workshop: speaker recognition evaluation campaign — 1 June 2006
  • Publication Uniform Random Sampling of Traces in Very Large Models in Proceedings of the 1st international workshop on Random Testing 2006 (RT06) — 30 May 2006
  • Publication ENST-IRCGN System Description in NIST SRE'06 Workshop: speaker recognition evaluation campaign — 30 May 2006
  • Publication of the lab's bulletin L'air de rien 5 — 24 May 2006
  • Publication of the lab's bulletin L'air de rien 4 — 10 May 2006
  • Publication On a Polynomial Vector Field Model for Shape Representation in Proceedings of the International Conference on Image Analysis and Recognition (ICIAR) — 28 April 2006
  • Publication of the lab's bulletin L'air de rien 3 — 13 April 2006
  • FiXme 3.2 is released — 12 April 2006
    FiXme
  • Publication Image restoration with discrete constrained Total Variation—Part~I: Fast and exact optimization in Journal of Mathematical Imaging and Vision — 24 March 2006
  • Publication Image restoration with discrete constrained Total Variation—Part~II: Levelable functions, convex priors and non-convex case in Journal of Mathematical Imaging and Vision — 24 March 2006
  • Publication of the lab's bulletin L'air de rien 2 — 8 March 2006
  • Publication Fast and Exact Discrete Image Restoration Based on Total Variation and on Its Extensions to Levelable Potentials in SIAM Conference on Imaging Sciences — 22 February 2006
  • Publication Probabilistic Verification of Sensor Networks in Proceedings of the Fourth International Conference on Computer Sciences, Research, Innovation and Vision for the Future (RIVF'06) — 1 February 2006
  • Publication APMC 3.0: Approximate verification of Discrete and Continuous Time Markov Chains in Proceedings of Qest 2006 — 1 January 2006
  • Publication of the lab's bulletin L'air de rien 1 — 6 December 2005
  • Publication Probabilistic abstraction for model checking: an approach based on property testing in ACM Transactions on Computational Logic — 21 November 2005
  • Vaucanson 0.7.2 is released — 9 November 2005
    This new release comes with the usual set of bug fixes (in the XML system and in demos for most of them), and is mainly motivated by the new compliance of Vaucanson with the latest GNU C++ Compiler (version 4.0) and the latest Intel C++ Compiler (version 9).
  • Publication C-Transformers — A Framework to Write C Program Transformations in ACM Crossroads — 16 October 2005
  • PhD student Jérôme Darbon receives his PhD degree with distinction — 7 October 2005
    Jérôme Darbon has studied Computer Science (EPITA, year 2001) and Applied Mathematics (DEA Mathématiques, Vision et Apprentissage, at ENS Cachan, year 2001). He has successfully completed his PhD at ENST and LRDE.
  • Vcs 0.4 is released — 3 October 2005
    Vcs is a wrapper over any Version Control Systems.
  • The lab hosts PhD student Alban Linard — 1 October 2005
    Alban Linard, after having completed a Master in Distributed Systems and Applications at the Pierre & Marie Curie University (Paris 6), starts
  • Publication Composants logiciels et algorithmes de minimisation exacte d'énergies dédidées au traitement d'images — 1 October 2005
  • CurVe 1.10 is released — 14 September 2005
    CurVe
  • Publication Spatial reasoning with relative incomplete information on relative positioning in IEEE Transactions on Pattern Analysis and Machine Intelligence — 1 September 2005
  • Publication A Vectorial Self-Dual Morphological Filter based on Total Variation Minimization in Proceedings of the First International Conference on Visual Computing — 20 August 2005
  • Patcher 3.8 is released — 26 July 2005
    Patcher
  • CurVe 1.9 is released — 21 July 2005
    CurVe
  • Vaucanson 0.7.1 is released — 25 June 2005
    This new release comes with a set of bug fixes in some algorithms on automata and transducers, some new useful algorithms on automata and transducers on direct product of free monoid, and a reorganization of demos. Also, the latest XML proposal was included. The Vaucanson platform will be presented at the CIAA conference, June 27-29 2005.
  • Publication Inside Vaucanson in Proceedings of Implementation and Application of Automata10th International Conference (CIAA) — 25 May 2005
  • Publication Distribution, approximation and probabilistic model checking in Proceedings of the 4th international workshop on Parallel and Distributed Model Checking (PDMC) — 23 May 2005
  • Vaucanson 0.7 is released — 17 May 2005
    This new release comes with a full support of transducers over a free monoid product and some new algorithms dedicated to transducers. Also, a new XML system has been implemented, introducing the latest updates of the Vaucanson group's format proposal.
  • Publication Total Variation Minimization with L^1 Data Fidelity as a Contrast Invariant Filter in Proceedings of the 4th International Symposium on Image and Signal Processing and Analysis (ISPA 2005) — 27 April 2005
  • Publication An efficient algorithm for attribute openings and closings in Proceedings of the 13th European Signal Processing Conference (EUSIPCO) — 14 April 2005
  • Publication Probabilistic verification and approximation in Proceedings of 12th Workshop on Logic, LanguageInformation and Computation (Wollic) — 11 April 2005
  • Publication Making Compiler Construction Projects Relevant to Core Curriculums in Proceedings of the Tenth Annual Conference on Innovation and Technology in Computer Science Education (ITICSE'05) — 6 February 2005
  • FiXme 3.1 is released — 31 January 2005
    FiXme
  • Publication A Fast and Exact Algorithm for Total Variation Minimization in Proceedings of the 2nd Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) — 18 January 2005
  • Publication Ruminations on Tarjan's Union-Find algorithm and connected operators in Proceedings of the 7th International Symposium on Mathematical Morphology (ISMM'05) — 5 January 2005
  • Publication A fast and exact algorithm for total variation minimization — 1 January 2005
  • FiXme 3.0 is released — 22 December 2004
    FiXme
  • QCM 2.1 is released — 27 November 2004
    QCM
  • Publication Proposal: an XML representation for automata — 1 November 2004
  • Publication Introducing Vaucanson in Theoretical Computer Science — 1 November 2004
  • Vaucanson 0.6.1 is released — 26 October 2004
    In addition to the usual bug fixes, this release brings full support of G++ 3.
  • QCM 1.0 is released — 15 October 2004
    QCM
  • Publication Exact optimization of discrete constrained total variation minimization problems — 1 October 2004
  • A new LRDE permanent member: Sylvain Peyronnet — 7 September 2004
    After completing his PhD in the field of probabilistic algorithms
  • Publication Fast road network extraction in satellite images using mathematical morphology and Markov random fields in EURASIP Journal on Applied Signal Processing — 5 September 2004
  • Publication Person authentication based on hand shape in Proceedings of 12th European Signal Processing Conference (EUSIPCO) — 1 September 2004
  • Retrieved from "https://www.lrde.epita.fr/wiki/Special:Ask"