Semantic search
- 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
- 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
ENSTA ParisTechby Matthieu Garrigues, Laboratoire d'informatique et d'ingénierie des systèmes, - 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.
- 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 — 17 December 2014
by Christian Queinnec, UPMC, LIP6
- 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 — 10 December 2014
by Raphaël Boissel, EPITA, CSI
- 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
- Publication Improving the Model Checking of Stutter-Invariant LTL Properties — 25 September 2014