Special

Semantic search

  • LRDE Seminar on Performance and Genericity - Analyse topologique de données pour la visualisation scientifique: où en est-on et où va-t-on? — 18 January 2017
    by Julien Tierny - CNRS - LIP6 - UPMC
  • 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 — 7 December 2016
    by Julien Perret, équipe COGIT, LaSTIG, IGN
  • 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 — 23 November 2016
    by Elodie Puybareau, LIGM
  • 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
  • LRDE Seminar on Performance and Genericity - Transformation de la prospection commerciale grâce à la science des données — 28 September 2016
    by Samuel Charron
  • 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.
  • 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.
  • 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 Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection in Pattern Recognition Letters — 20 May 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
  • 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
  • Publication TextCatcher: a method to detect curved and challenging text in natural scenes in International Journal on Document Analysis and Recognition — 8 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"
  • 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++ — 23 March 2016
    by Joël Falcou, Université Paris Sud, NumScale
  • 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 — 16 March 2016
    by Guillaume Tochon - Grenoble-INP & GIPSA-lab
  • 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 — 17 February 2016
    by Stephan Hadinger, Head of Solutions Architecture, AWS
  • 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é — 27 January 2016
    by Pierre-Yves Strub - IMDEA Software Institute - Espagne
  • 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 — 14 October 2015
    by Tamy Boubekeur, Telecom ParisTech - CNRS - University Paris-Saclay
  • 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.
  • 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
  • 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 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 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
  • 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
  • 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
  • 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.
  • The LRDE hosts a new member, Jim Newton, Research Engineer, who joins the Climb team. — 2 June 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 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 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 How to Make nD Images Well-Composed Without Interpolation in Proceedings of the IEEE International Conference on Image Processing (ICIP) — 14 May 2015
  • LRDE Seminar on Performance and Genericity - Programmation web haute performance avec C++14 — 13 May 2015
    by Matthieu Garrigues, Laboratoire d'informatique et d'ingénierie des systèmes,
    ENSTA ParisTech
  • 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 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 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 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
  • The LRDE hosts a new member, Lê Duy Huynh, Master student intern from Telecom Bretagne, who joins the Olena team. — 16 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 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 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 — 18 February 2015
    by Yann Azoury, Faveod
  • 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.
  • Retrieved from "https://www.lrde.epita.fr/wiki/Special:Ask"