Semantic search
- 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 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 A Comparative Review of Component Tree Computation Algorithms in IEEE Transactions on Image Processing — 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 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
- 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 Meaningful disjoint level lines selection 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 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 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é — 14 May 2014
by Patrick Foubet, gérant et directeur technique de SERIANE
- 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 — 12 March 2014
by Vincent Balat, Université Paris Diderot et INRIA
- 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 — 18 February 2014
by Yves Caseau, Bouygues Telecom & Académie des Technologies
- 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
- LRDE Seminar on Performance and Genericity - Programmation d'applications Web client-serveur avec Ocsigen — 5 February 2014
by Vincent Balat, Université Paris Diderot et INRIA
- 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 — 11 December 2013
by Michael Wilkinson - Johann Bernoulli Institute, University of Groningen, The Netherlands
- 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 — 4 December 2013
by Juliusz Chroboczek, Laboratoire PPS, Université Paris-Diderot (Paris 7)
- 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 — 13 November 2013
by Dodji Seketeli, Red Hat
- 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
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.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. - LRDE Seminar on Performance and Genericity - GNU epsilon, un langage de programmation extensible — 9 October 2013
- by Luca Saiu - Projet GNU, INRIA
- 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 — 29 May 2013
systèmes d'information)by Eric Jaeger et Olivier Levillain, ANSSI (Agence nationale de la sécurité des - 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 - Étendre le compilateur GCC avec MELT — 22 May 2013
by Basile Starynkevitch (CEA LIST)
- 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 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 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 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
- 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
- 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 — 20 February 2013
by Thierry Géraud, EPITA-LRDE
- 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 TiCL: the Prototype (Star TeX: the Next GenerationSeason 2) in TUGboat — 1 January 2013
- Publication The incredible tale of the author who didn't want to do the publisher's job 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