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
  • 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 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 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 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
  • Publication Hierarchical Segmentation Using Tree-Based Shape Spaces in IEEE Transactions on Pattern Analysis and Machine Intelligence — 11 April 2016