Special

Semantic search

  • LRDE Seminar on Performance and Genericity - Computing with (nearly) unlimited resources by Stephan Hadinger, Head of Solutions Architecture, AWS — 17 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
  • Publication What is a good evaluation protocol for text localization systems? Concerns, arguments, comparisons and solutions in Image and Vision Computing — 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 Variations on Parallel Explicit Model Checking for Generalized Büchi Automata in International Journal on Software Tools for Technology Transfer (STTT) — 26 October 2015
  • Publication MToS: A Tree of Shapes for Multivariate Images in IEEE Transactions on Image Processing — 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 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
  • 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
  • The LRDE hosts a new member, Lê Duy Huynh, Master student intern from Telecom Bretagne, who joins the Olena team. — 16 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
  • 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
  • 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
  • Publication Contribution aux tests de vacuité pour le model checking explicite — 5 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
  • 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 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
  • 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
  • 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).
  • Publication of the lab's bulletin L'air de rien 31 — 4 July 2014
  • 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 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 A Comparative Review of Component Tree Computation Algorithms in IEEE Transactions on Image Processing — 16 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
  • 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 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
  • 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
  • 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"