Semantic search
- The LRDE hosts a new member: Benjamin Raynal — 26 September 2011
- PhD from Université Paris Est Marne-la-Vallée. His works mainly focus on real-time motion capture from multi-camera systems. The applications include new human-computer interfaces, automatic video surveillance and domotics. He joined LRDE as a postdoctoral researcher and is currently interested by automatic extraction of text from images.
- Olena 2.0 is released — 16 September 2011
Olena is LRDE's platform dedicated to image processing and
- Publication of the lab's bulletin L'air de rien 22 — 12 September 2011
- Publication Language Recognition via I-Vectors and Dimensionality Reduction in INTERSPEECH 2011 — 1 August 2011
- Publication LTL Translation Improvements in Spot in Proceedings of the 5th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS'11) — 25 July 2011
- LRDE Seminar on Performance and Genericity - Un algorithme rapide pour le Compressive Sensing sur architectures parallèles — 6 July 2011
by Alexandre Borghi
- LRDE Seminar on Performance and Genericity — 6 July 2011
Attendance to LRDE Seminars is free and open to anyone.
- Publication of the lab's bulletin L'air de rien 21 — 4 July 2011
- Guillaume Lazzara invited to the LORIA in Nancy — 24 June 2011
Guillaume Lazzara will be at the LORIA in Nancy on June 24th 2011. He is invited by the Qgar Team to give a talk about the Scribo module, a new free software framework for Document Image Analysis based on Milena.
- Publication Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking in Proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis (ATVA'11) — 23 June 2011
- LRDE Seminar on Performance and Genericity - Modèle basé-contexte pour l'annotation automatique du multimédia, LRDE Seminar on Performance and Genericity - Traitement d'images sur processeur graphique avec CUDA et C++ — 15 June 2011
by Matthieu Garrigues, by Nicolas Ballas
- LRDE Seminar on Performance and Genericity — 15 June 2011
Attendance to LRDE Seminars is free and open to anyone.
- Publication The SCRIBO Module of the Olena Platform: a Free Software Framework for Document Image Analysis in Proceedings of the 11th International Conference on Document Analysis and Recognition (ICDAR) — 1 June 2011
- Publication Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking — 1 June 2011
- Publication Generalized Büchi Automata versus Testing Automata for Model Checking in Proceedings of the second International Workshop on Scalable and Usable Model Checking for Petri Net and other models of Concurrency (SUMO'11) — 25 May 2011
- LRDE Seminar on Performance and Genericity - Utilisation des distances tangentes pour la compensation de mouvement : Application au codec Theora — 18 May 2011
by Jonathan Fabrizio
- LRDE Seminar on Performance and Genericity — 18 May 2011
Attendance to LRDE Seminars is free and open to anyone. This session includes the following topic:
- Publication Une approche générique du logiciel pour le traitement d'images préservant les performances in Proceedings of the 23rd Symposium on Signal and Image Processing (GRETSI) — 13 May 2011
- Publication Front-End Factor Analysis For Speaker Verification in IEEE Transactions on Audio, Speech, and Language Processing — 1 May 2011
- Publication A Channel-Blind System for Speaker Verification in International Conference on Acoustics, Speech and Signal Processing (ICASSP) — 1 May 2011
- LRDE Seminar on Performance and Genericity - Généricité en traitement des images : développement d’algorithmes complexes et localisés au sein d’une image. — 16 March 2011
by Benoît Vandame
- LRDE Seminar on Performance and Genericity — 16 March 2011
Attendance to LRDE Seminars is free and open to anyone. This session includes the following topic:
- LRDE Seminar on Performance and Genericity - Principes et Pratiques de la Programmation Concurrente en π-calcul — 9 February 2011
by Frédéric Peschanski
- LRDE Seminar on Performance and Genericity — 9 February 2011
Attendance to LRDE Seminars is free and open to anyone. This session includes the following topic:
- Spot 0.7 and 0.7.1 released — 7 February 2011
Spot is a model-checking library developed collaboratively
- New online demo of page segmentation and reconstruction — 5 January 2011
Online demo of page segmentation and reconstruction. Convert a document image to PDF and HTML.
- Publication Towards LaTeX Coding Standards in TUGboat — 1 January 2011
- Publication Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them in Onward! 2011 — 1 January 2011
- Publication SnooperText: A Multiresolution System for Text Detection in Complex Visual Scenes in Proceedings of the IEEE International Conference on Image Processing (ICIP) — 31 December 2010
- LRDE Seminar on Performance and Genericity — 8 December 2010
Attendance to LRDE Seminars is free and open to anyone. This session includes the following topic:
- The LRDE gives a talk at the "CO-LAB Sémantique" workshop organized by SCRIBO and XWiki at 'La Cantine', Paris; more info on this page — 23 November 2010
- LRDE Seminar on Performance and Genericity — 10 November 2010
Attendance to LRDE Seminars is free and open to anyone. This session includes the following topic:
- Publication NixOS: A purely functional Linux distribution in Journal of Functional Programming — 15 October 2010
- LRDE Seminar on Performance and Genericity - Recherche d'images et indexation multimédia basées contenu — 13 October 2010
by David Picard
- LRDE Seminar on Performance and Genericity — 13 October 2010
Attendance to LRDE Seminars is free and open to anyone. This session includes the following topic:
- The LRDE hosts a new member: Yongchao Xu — 5 October 2010
Yongchao XU continues working at LRDE within the Olena project as a PhD Student at Université Paris Est Marne-la-Vallée on "Segmentation by self-dual structure on disconnected complexes" after having completed his Master at Paris Sud (IFIPS /Orsay).
- The Spot project hosts a new member: Ala-Eddine Ben-Salem — 1 October 2010
Ala Eddine BEN SALEM, graduate of ENSEEIHT (Ingénieur IMA, 2005), has
- Publication of the lab's bulletin L'air de rien 20 — 22 September 2010
- Publication Morphologie et algorithmes in Morphologie mathématique 2 : estimation, choix et mise en œuvre — 1 September 2010
- Publication Algorithms for Mathematical Morphology in Mathematical Morphology—From Theory to Applications — 1 July 2010
- Two new online demos related to the Scribo project — 22 June 2010
Parts of the work done in Scribo can be tested online: a multi-scale binarization based on Sauvola's algorithm and a text detector in natural pictures.
- LRDE Seminar on Performance and Genericity - Généricité et topologie discrète en C++, LRDE Seminar on Performance and Genericity - Interface générique pour la parallélisation d'applications de recherche en imagerie biomédicale — 2 June 2010
by Julien Lamy, by Yann Cointepas
- Publication polyDD: Towards a Framework Generalizing Decision Diagrams in Proceedings of the 10th International Conference on Application of Concurrency to System Design (ACSD) — 1 June 2010
- Publication Why and How to Design a Generic and Efficient Image Processing Framework: The Case of the Milena Library in Proceedings of the IEEE International Conference on Image Processing (ICIP) — 26 May 2010
- Publication of the lab's bulletin L'air de rien 19 — 11 May 2010
- LRDE Seminar on Performance and Genericity - Diagrammes de Décision à la Demande (DDoD), LRDE Seminar on Performance and Genericity - Architecture logicielle pour des outils génériques en traitement d'images — 28 April 2010
by Alban Linard, by Roland Levillain
- LRDE Seminar on Performance and Genericity — 28 April 2010
Attendance to LRDE Seminars is free and open to anyone. This session includes the following topic:
- Spot 0.6 is released — 16 April 2010
Spot is a model-checking library developed collaboratively
- LRDE Seminar on Performance and Genericity - Généricité en traitement d'images: niveau algorithmique et logiciel, LRDE Seminar on Performance and Genericity - Généricité et héritage en Eiffel — 31 March 2010
by Bertrand Meyer, by Jean-Baptiste Fasquel
- LRDE Seminar on Performance and Genericity — 31 March 2010
Attendance to LRDE Seminars is free and open to anyone. This session includes the following topic:
- Publication CLoX: Common Lisp objects for XEmacs in Proceedings of the 3rd European Lisp Symposium — 9 March 2010
- Publication Classes, Styles, Conflicts: the Biological Realm of LaTeX in TUGboat — 9 March 2010
- LRDE Seminar on Performance and Genericity - Yayi : Bibliothèque générique de traitement morphologique d'images — 3 March 2010
by Raffi Enficiaud
- LRDE Seminar on Performance and Genericity — 3 March 2010
Attendance to LRDE Seminars is free and open to anyone. This session includes the following topic:
- Olivier Ricou gives conference on Internet governance at ESPCI — 19 February 2010
On the occasion of the Seminar of the PMMH laboratory at ESPCI, Olivier Ricou has given a general knowledge
- Spot 0.5 is released — 1 February 2010
Spot is a model-checking library developed collaboratively
- Didier Verna invited to Vrije University of Brussels — 26 January 2010
Didier Verna will be at the Vrije University of Brussels on January 26th
- Alexandre Duret-Lutz invited to ETHZ Zurich — 25 January 2010
Alexandre Duret-Lutz is invited by the "Information Security" group of
- Publication Unsupervised Speaker Adaptation based on the Cosine Similarity for Text-Independent Speaker Verification in Odyssey The Speaker and Language Recognition — 1 January 2010
- Publication Cosine Similarity Scoring without Score Normalization Techniques in Odyssey The Speaker and Language Recognition — 1 January 2010
- Publication LRDE Speaker Recognition System for NIST-SRE 2010 in NIST 2010 Speaker Recognition Evaluation — 1 January 2010
- Publication Revisiting the Visitor: the Just Do It Pattern in Journal of Universal Computer Science — 1 January 2010
- PhD student Alexandre Hamez defends his Thesis at LIP6 — 8 December 2009
Title :
- LRDE Seminar on Performance and Genericity — 2 December 2009
Attendance to LRDE Seminars is free and open to anyone. This session includes the following topic:
- Publication Génération efficace de grands espaces d'états — 1 December 2009
- Publication Sémantique paramétrable des Diagrammes de Décision : une démarche vers l'unification — 1 November 2009
- Publication of the lab's bulletin L'air de rien 18 — 27 October 2009
- LRDE Seminar on Performance and Genericity - CImg et G'MIC : Boites à outils libres pour le traitement d'images à différents niveaux — 21 October 2009
by David Tschumperlé, GREYC Uni Caen.
- LRDE Seminar on Performance and Genericity — 21 October 2009
Attendance to LRDE Seminars is free and open to anyone. This session includes the following topic:
- LRDE Seminar on Performance and Genericity - GpuCV: Accélération par processeur graphique pour le traitement d'image et la vision artificielle — 30 September 2009
by Yannick Allusse et Patrick Horain
- LRDE Seminar on Performance and Genericity — 30 September 2009
Attendance to LRDE Seminars is free and open to anyone. This session includes the following topic:
- PhD student Alban Linard defends his Thesis at LIP6 — 29 September 2009
Title :
- Vaucanson 1.3.2 is released — 22 September 2009
Vaucanson is a platform for manipulating weighted finite state
- DoX 2.0 is released — 21 September 2009
- Publication of the lab's bulletin L'air de rien 17 — 14 September 2009
- DoX 1.0 is released — 11 September 2009
- Olena 1.0 is integrated into Mandriva Linux — 9 September 2009
The Olena team is pleased to announce that Milena, the core C++ image processing library of the Olena 1.0 platform, has been integrated into the Mandriva Linux distribution.
- FiXme 3.4 is released — 16 July 2009
- Olena 1.0 is released. — 14 July 2009
- The Olena project hosts a new member: Yann Jacquelet — 9 July 2009
Yann Jacquelet, graduate of the EPITA (SCIA, 1999), has completed a Master
- Vaucanson 1.3.1 is released — 8 July 2009
- The lab hosts a new member: Jonathan Fabrizio — 2 July 2009
The LRDE is happy to welcome Jonathan Fabrizio.
- Publication Cepstral and Long-Term Features for Emotion Recognition in Interspeech — 22 June 2009
- Publication Support Vector Machines versus Fast Scoring in the Low-Dimensional Total Variability Space for Speaker Verification in Interspeech — 22 June 2009
- LRDE Seminar on Performance and Genericity - VMKit, LLVM et Clang: les prochaines générations de compilateurs, LRDE Seminar on Performance and Genericity - AutoVM: repousser les frontières de la généricité — 27 May 2009
by Gaël Thomas, REGAL/Lip6/Inria, by Nicolas Geoffray, Lip6/INRIA/Regal
- Vaucanson 1.3 is released — 26 May 2009
- The Scribo project the lab is involved in now appears on Wikipedia — 21 May 2009
- LRDE Seminar on Performance and Genericity - Visite guidée de SmartEiffel: le génie logiciel en pratique., LRDE Seminar on Performance and Genericity - Lisaac/IsaacOS: La puissance des langages objets à prototypes. — 22 April 2009
by Benoit Sonntag. ICPS - LSIIT., by Dominique Colnet. SmartEiffel - LORIA.
- LRDE Seminar on Performance and Genericity — 22 April 2009
Attendance to LRDE Seminars is free and open to anyone. This session includes the following topics:
- Publication Support Vector Machines and Joint Factor Analysis for Speaker Verification in IEEE-ICASSP — 19 April 2009
- Publication Milena: Write Generic Morphological Algorithms Once, Run on Many Kinds of Images in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the Ninth International Symposium on Mathematical Morphology (ISMM) — 9 April 2009
- Publication of the lab's bulletin L'air de rien 16 — 8 April 2009
- Publication Binary Methods Programming: the CLOS Perspective in Proceedings of the First European Lisp Symposium — 31 March 2009
- LRDE Seminar on Performance and Genericity - Que se cache-t-il derrière ce type ? — 25 March 2009
by Yann Régis-Gianas, laboratoire PPS (Univ. Paris Diderot), équipe πr² (INRIA)
- LRDE Seminar on Performance and Genericity — 25 March 2009
Attendance to LRDE Seminars is free and open to anyone. This session is dedicated to the following topic:
- LRDE Seminar on Performance and Genericity — 25 February 2009
Attendance to LRDE Seminars is free and open to anyone. This session includes the following topics:
- LRDE Seminar on Performance and Genericity — 11 February 2009
Attendance to LRDE Seminars is free and open to anyone. This session includes the following topics:
- The LRDE and EPITA take part in the organization of the ITiCSE 2009 conference — 27 January 2009
- Publication CLOS Efficiency: Instantiation in Proceedings of the International Lisp Conference — 13 January 2009
- Publication Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation in Fundamenta Informaticae — 1 January 2009
- Publication On-the-fly Emptiness Check of Transition-based Streett Automata in Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09) — 1 January 2009
- Publication Revisiting the Visitor: the Just Do It Pattern in Proceedings of the ACCU Conference 2009 — 29 December 2008
- Olena 1.0 beta is available — 15 December 2008
- The LRDE at the Open World Forum, Paris — 1 December 2008
- LRDE Seminar on Performance and Genericity - Mesure de Performance et Généricité à EDF R&D, LRDE Seminar on Performance and Genericity - Bibliothèque générique multi-cible d'algèbre linéaire — 26 November 2008
by Laurent Plagne ; EDF R&D Clamart., by Wilfried Kirschenmann, EDF R&D
- LRDE Seminar on Performance and Genericity — 26 November 2008
Attendance to LRDE Seminars is free and open to anyone. This session includes the following topics:
- LRDE Seminar on Performance and Genericity - Représentation efficace des données complexes dans un intergiciel schizophrène, LRDE Seminar on Performance and Genericity - Construire une application robuste sans faire exploser les coûts — 5 November 2008
by Samuel Tardieu, TELECOM ParisTech, by Thomas Quinot, AdaCore
- LRDE Seminar on Performance and Genericity — 5 November 2008
Attendance to LRDE Seminars is free and open to anyone. This session includes the following topics:
- Publication of the lab's bulletin L'air de rien 15 — 20 October 2008
- Publication TWEAST: A Simple and Effective Technique to Implement Concrete-Syntax AST Rewriting Using Partial Parsing in Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC'09) — 11 October 2008
- The lab hosts a new member : Dalila Benboudjema — 1 October 2008
The LRDE is happy to welcome Dalila Benboudjema. After having successfully completed her PhD under the direction of thesis advisor Prof. W. Pieczynski at Télécom Sud-Paris (ex INT-Evry) she was postdoc at Telecom ParisTech. Then she has worked at Ecole des Mines de Paris as a Research Engineer, before joining EPITA as an Assistant Professor and the LRDE in order to work, among others, on Olena for the Scribo project .
- LRDE Seminar on Performance and Genericity — 24 September 2008
Attendance to LRDE Seminars is free and open to anyone. This session includes the following topics:
- The lab has a new head : Olivier Ricou — 15 September 2008
Akim Demaille hands over the responsibilty of the lab to Olivier Ricou after having held the post for 5,5 years.
- LRDE Seminar on Performance and Genericity - Systèmes, algorithmes et applications: Efficacité et utilité des systèmes parallèles., LRDE Seminar on Performance and Genericity - Outils pour le parallèlisme : apports de la programmation générative — 14 September 2008
by Gaétan Hains, LACL, Université de Paris Est, Créteil, by Joël Falcou, IEF, Université de Paris-Sud, Orsay
- The lab hosts a new member : Guillaume Lazzara — 1 September 2008
The LRDE is happy to welcome Guillaume Lazzara. Former CSI 2008 student, he has received his EPITA
- Publication An XML format proposal for the description of weighted automata, transducers, and regular expressions in Post-proceedings of the seventh international workshop on Finite-State Methods and Natural Language Processing (FSMNLP'08) — 28 July 2008
- Publication Report on the 5th Workshop ELW at ECOOP 2008 in Object-Oriented Technology. ECOOP 2008 Workshop Reader — 1 July 2008
- Publication A Survey of French Local e-Democracy in Proceedings of the 8th European Conference on e-Government (ECEG) — 1 July 2008
- Publication The LRDE Systems for the 2008 NIST Speaker Recognition Evaluation in NIST-SRE 2008 — 1 June 2008
- LRDE Seminar on Performance and Genericity - Le langage BSML, LRDE Seminar on Performance and Genericity - Programmation parallèle certifiée — 28 May 2008
by Frédéric Gava, LACL, Université de Paris Est, Créteil, by Frédéric Loulergue, LIFO, Université d'Orléans
- LRDE Seminar on Performance and Genericity — 28 May 2008
Le language BSML -- Frédéric Gava Programmation parallèle certifiée -- Frédéric Loulergue.
- Publication of the lab's bulletin L'air de rien 14 — 28 May 2008
- Publication Semantics-Driven Genericity: A Sequel to the Static C++ Object-Oriented Programming Paradigm (SCOOP 2) in Proceedings of the 6th International Workshop on Multiparadigm Programming with Object-Oriented Languages (MPOOL) — 26 May 2008
- LRDE Seminar on Performance and Genericity - Mouldable Programming, LRDE Seminar on Performance and Genericity - High-Level Abstractions and Optimization — 30 April 2008
by Anya Helene Bagge, Institutt for Informatikk, Universitetet i Bergen, Norway, by Magne Haveraaen, Institutt for Informatikk, Universitetet i Bergen, Norway
- LRDE Seminar on Performance and Genericity — 30 April 2008
High-Level Abstractions and Optimization -- Anya Helene Bagge Mouldable Programming -- Magne Haveraaen.
- The LRDE participates in the NIST-2008 Speaker Recognition Evaluation campaign — 7 April 2008
- Publication of the lab's bulletin L'air de rien 13 — 31 March 2008
- Publication A Set of Tools to Teach Compiler Construction in Proceedings of the Thirteenth Annual Conference on Innovation and Technology in Computer Science Education (ITICSE'08) — 29 March 2008
- LRDE Seminar on Performance and Genericity - Aspect-oriented Programming, LRDE Seminar on Performance and Genericity - Context-oriented Programming with ContextL — 26 March 2008
by Anya Helene Bagge, Institutt for Informatikk, Universitetet i Bergen, Norway, by Pascal Costanza, Vrije Universiteit, Brussel, Belgium
- LRDE Seminar on Performance and Genericity — 26 March 2008
Attendance to LRDE Seminars is free and open to anyone. This session includes the following topics:
- Vaucanson 1.2 is released — 19 March 2008
- Publication Hierarchical Set Decision Diagrams and Automatic Saturation in Petri Nets and Other Models of Concurrency –ICATPN 2008 — 1 March 2008
- FiNK 2.1.1 is released — 27 February 2008
- Patcher 3.10 is released — 27 February 2008
- CurVe 1.15 is released — 25 February 2008
- LRDE Seminar on Performance and Genericity - Performance et Généricité dans Qgar — 20 February 2008
by Vitor Vasconcelos Araujo Silva, LORIA Nancy
- LRDE Seminar on Performance and Genericity — 20 February 2008
Attendance to LRDE Seminars is free and open to anyone. This session welcomes the following talk:
- Publication Semantics driven disambiguation: A comparison of different approaches in Proceedings of the 8th workshop on Language DescriptionsTools and Applications (LDTA'08) — 8 February 2008
- The lab hosts engineer Géraud Beguin — 1 February 2008
Géraud BEGUIN has obtained his Engineer Degree at ISEP - Graduate school of Engineers in Computer Engineering, Electronics, Telecommunications and Network in 2007. After having specialized in artificial intelligence during one semester in Argentinia at Universidad Tecnologica Nacional (UTN) thanks to an exchange programme, he has completed his final internship of ISEP at Institut Gustave Roussy (IGR), working on different methods for ultrasound image deconvolution.
- LRDE Seminar on Performance and Genericity — 30 January 2008
Attendance to LRDE Seminars is free and open to anyone. This session includes the following issues:
- Publication Towards the World-Wide Quantum Network in Proceedings of the 4th Information Security Practice and Experience Conference (ISPEC'08) — 25 January 2008
- Publication Approximate Nash Equilibria for Multi-Player Games in 1st International Symposium on Algorithmic Games Theory — 18 January 2008
- Publication of the lab's bulletin L'air de rien 12 — 4 January 2008
- Publication Global Optimization for First Order Markov Random Fields with Submodular Priors in Proceedings of the twelfth International Workshop on Combinatorial Image Analysis (IWCIA'08) — 3 January 2008
- Publication Binary Methods Programming: the CLOS Perspective (extended version) in Journal of Universal Computer Science — 1 January 2008
- Vaucanson 1.1.1 is released — 14 December 2007
The Vaucanson Team is proud to announce the release of Vaucanson 1.1.1. This release contains mostly bug fixes.
- FiXme 3.3 is released — 28 November 2007
- CurVe 1.14 is released — 27 November 2007
- FiNK 2.1 is released — 14 November 2007
- Publication of the lab's bulletin L'air de rien 11 — 28 September 2007
- Publication The Role of Speaker Factors in the NIST Extended Data Task in Proceedings of the Speaker and Language Recognition Workshop (IEEE-Odyssey 2008) — 25 September 2007
- Publication Comparison Between Factor Analysis and GMM Support Vector Machines for Speaker Verification in Proceedings of the Speaker and Language Recognition Workshop (IEEE-Odyssey 2008) — 25 September 2007
- Publication Kernel Combination for SVM Speaker Verification in Proceedings of the Speaker and Language Recognition Workshop (IEEE-Odyssey 2008) — 25 September 2007
- Publication Web services at TERAPIX in Proceedings of the XVII conference on Astronomical Data Analysis Software & Systems (ADASS) — 23 September 2007
- Patcher 3.9 is released — 17 September 2007
- The lab welcomes a new member : Alexandre Duret-Lutz — 1 September 2007
The LRDE is happy to welcome Alexandre Duret-Lutz who joins the team after receiving his PhD
- Publication Linear and Non Linear Kernel GMM SuperVector Machines for Speaker Verification in Proceedings of the European Conference on Speech Communication and Technologies (Interspeech'07) — 27 August 2007
- CurVe 1.13 is released — 21 August 2007
- Vaucanson 1.1 is released — 30 July 2007
The Vaucanson Team is proud to announce the release of Vaucanson 1.1. This release mainly includes bug fixes, various optimizations (I/O and algorithms) and TAF-Kit improvements.
- Publication of the lab's bulletin L'air de rien 10 — 20 June 2007
- Vaucanson 1.0a is released — 13 June 2007
The Vaucanson Team is proud to announce the release of Vaucanson 1.0a. This is an intermediate release which mainly includes bug fixes and various optimizations.
- FiNK 2.0 is released — 12 June 2007
- Publication How to make Lisp go faster than C in Proceedings of the International MultiConference of Engineers and Computer Scientists — 11 June 2007
- Publication 10 years of confrontation between French Internet users and their successive governments in Proceedings of the 7th European Conference on e-Government (ECEG) — 1 June 2007
- Publication Algorithme de calcul de l'arbre des composantes avec applications à la reconnaissance des formes en imagerie satellitaire in Proceedings of the 21st Symposium on Signal and Image Processing (GRETSI) — 11 May 2007
- Publication of the lab's bulletin L'air de rien 9 — 7 May 2007
- Publication Effective Component Tree Computation with Application to Pattern Recognition in Astronomical Imaging in Proceedings of the IEEE International Conference on Image Processing (ICIP) — 3 May 2007
- Publication libDMC: a library to Operate Efficient Distributed Model Checking in Workshop on Performance Optimization for High-Level Languages and Libraries — associated to IPDPS'2007 — 13 March 2007
- Publication On the security of quantum networks: a proposal framework and its capacity in Proceedings of the 2007 International Conference on New Technologies, Mobility and Security (NTMS'07) — 10 March 2007
- Publication of the lab's bulletin L'air de rien 8 — 5 March 2007
- Olena 0.11 is released — 21 February 2007
The Olena Team is proud to announce the release of Olena 0.11. This version is an update of the Olena generic and efficient image processing library developed at the LRDE. This new version brings support for recent versions of the GNU (g++ 4.0 and 4.1) and Intel (icpc 9.1) C++ compilers. Swilena, the set of Python and Ruby wrappers for Olena, has been improved. Finally Olena 0.11 supports Mac OS X (version 10.3) and includes a lot of fixes over the previous version.
- Olena 0.11 is released. — 21 February 2007
- Publication Local reasoning in fuzzy attribute graphs for optimizing sequential segmentation in Proceedings of the 6th IAPR TC-15 Workshop on Graph-based Representations in Pattern Recognition (GBR) — 15 February 2007
- Publication CLOS solutions to binary methods in Proceedings of the International MultiConference of Engineers and Computer Scientists — 22 January 2007
- Publication A Note on the Discrete Binary Mumford-Shah Model in Proceedings of the international Computer Vision / Computer Graphics Collaboration Techniques and Applications (MIRAGE 2007) — 29 December 2006
- Publication The Biosecure Geometry-based System for Hand Modality in Proceedings of the 32nd IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP) — 18 December 2006
- Publication Stochastic routing in large grid-shaped quantum networks in Proceedings of the Fifth International Conference on Computer Sciences, Research, Innovation and Vision for the Future (RIVF'07) — 4 December 2006
- Publication How to make Lisp go faster than C in IAENG International Journal of Computer Science — 1 December 2006
- The Transformers group presents its results to Seventh Stratego User Days — 30 November 2006
- Publication of the lab's bulletin L'air de rien 7 — 29 November 2006
- Publication The use of levelable regularization functions for MRF restoration of SAR images in Proceedings of the 19th Symposium SPIE on Electronic Imaging — 30 September 2006
- Publication of the lab's bulletin L'air de rien 6 — 29 September 2006
- Publication Project EFIGI: Automatic classification of galaxies in Astronomical Data Analysis Software and Systems XV — 20 September 2006
- Publication Modeling of Sensor Networks Using XRM in Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'06) — 14 September 2006
- Publication A note on nice-levelable MRFs for SAR image denoising with contrast preservation — 1 September 2006
- Publication An Efficient Algorithm for Connected Attribute Thinnings and Thickenings in Proceedings of the second International Conference on Visual Computing — 9 August 2006
- Vaucanson 1.0 is released — 28 July 2006
The Vaucanson team is proud to announce this release, which includes significant improvements of the library, and TAF-Kit support for Boolean Automata, Z-Automata, and Transducers.
- Publication Approximate Probabilistic Model Checking for Programs in Proceedings of the IEEE 2nd International Conference on Intelligent Computer Communication and Processing (ICCP'06) — 27 July 2006
- Publication Evaluating complex MAC protocols for sensor networks with APMC in Proceedings of the 6th International Workshop on Automated Verification of Critical Systems (AVoCS) — 27 July 2006
- Publication Attribute Grammars for Modular Disambiguation in Proceedings of the IEEE 2nd International Conference on Intelligent Computer Communication and Processing (ICCP'06) — 12 July 2006
- Publication Beating C in Scientific Computing Applications in Third European Lisp Workshop at ECOOP — 11 July 2006
- Publication Shape-based hand recognition in IEEE Transactions on Image Processing — 1 July 2006
- Vaucanson 0.8.0 is released — 15 June 2006
This new release comes with the usual set of bug fixes, renamings and cleanup, and with the advant of a new command-line interface: TAF-Kit.
- CurVe 1.11 is released — 7 June 2006
- Publication LRDE System description in NIST SRE'06 Workshop: speaker recognition evaluation campaign — 1 June 2006
- Publication ENST-IRCGN System Description in NIST SRE'06 Workshop: speaker recognition evaluation campaign — 30 May 2006
- Publication Uniform Random Sampling of Traces in Very Large Models in Proceedings of the 1st international workshop on Random Testing 2006 (RT06) — 30 May 2006
- Publication of the lab's bulletin L'air de rien 5 — 24 May 2006
- Publication of the lab's bulletin L'air de rien 4 — 10 May 2006
- Publication On a Polynomial Vector Field Model for Shape Representation in Proceedings of the International Conference on Image Analysis and Recognition (ICIAR) — 28 April 2006
- Publication of the lab's bulletin L'air de rien 3 — 13 April 2006
- FiXme 3.2 is released — 12 April 2006
- Publication Image restoration with discrete constrained Total Variation—Part II: Levelable functions, convex priors and non-convex case in Journal of Mathematical Imaging and Vision — 24 March 2006
- Publication Image restoration with discrete constrained Total Variation—Part I: Fast and exact optimization in Journal of Mathematical Imaging and Vision — 24 March 2006
- Publication of the lab's bulletin L'air de rien 2 — 8 March 2006
- Publication Fast and Exact Discrete Image Restoration Based on Total Variation and on Its Extensions to Levelable Potentials in SIAM Conference on Imaging Sciences — 22 February 2006
- Publication Probabilistic Verification of Sensor Networks in Proceedings of the Fourth International Conference on Computer Sciences, Research, Innovation and Vision for the Future (RIVF'06) — 1 February 2006
- Publication APMC 3.0: Approximate verification of Discrete and Continuous Time Markov Chains in Proceedings of Qest 2006 — 1 January 2006
- Publication Practical Application of Probabilistic Model Checking to Communication Protocols in FMICS Handbook on Industrial Critical Systems — 1 January 2006
- Publication of the lab's bulletin L'air de rien 1 — 6 December 2005
- Publication Probabilistic abstraction for model checking: an approach based on property testing in ACM Transactions on Computational Logic — 21 November 2005
- Vaucanson 0.7.2 is released — 9 November 2005
This new release comes with the usual set of bug fixes (in the XML system and in demos for most of them), and is mainly motivated by the new compliance of Vaucanson with the latest GNU C++ Compiler (version 4.0) and the latest Intel C++ Compiler (version 9).
- Publication C-Transformers — A Framework to Write C Program Transformations in ACM Crossroads — 16 October 2005
- PhD student Jérôme Darbon receives his PhD degree with distinction — 7 October 2005
Jérôme Darbon has studied Computer Science (EPITA, year 2001) and Applied Mathematics (DEA Mathématiques, Vision et Apprentissage, at ENS Cachan, year 2001). He has successfully completed his PhD at ENST and LRDE.
- Vcs 0.4 is released — 3 October 2005
Vcs is a wrapper over any Version Control Systems.
- The lab hosts PhD student Alban Linard — 1 October 2005
Alban Linard, after having completed a Master in Distributed Systems and Applications at the Pierre & Marie Curie University (Paris 6), starts
- Publication Composants logiciels et algorithmes de minimisation exacte d'énergies dédidées au traitement d'images — 1 October 2005
- CurVe 1.10 is released — 14 September 2005
- Publication Spatial reasoning with relative incomplete information on relative positioning in IEEE Transactions on Pattern Analysis and Machine Intelligence — 1 September 2005
- Publication A Vectorial Self-Dual Morphological Filter based on Total Variation Minimization in Proceedings of the First International Conference on Visual Computing — 20 August 2005
- Patcher 3.8 is released — 26 July 2005
- CurVe 1.9 is released — 21 July 2005
- Vaucanson 0.7.1 is released — 25 June 2005
This new release comes with a set of bug fixes in some algorithms on automata and transducers, some new useful algorithms on automata and transducers on direct product of free monoid, and a reorganization of demos. Also, the latest XML proposal was included. The Vaucanson platform will be presented at the CIAA conference, June 27-29 2005.
- Publication Inside Vaucanson in Proceedings of Implementation and Application of Automata10th International Conference (CIAA) — 25 May 2005
- Publication Distribution, approximation and probabilistic model checking in Proceedings of the 4th international workshop on Parallel and Distributed Model Checking (PDMC) — 23 May 2005
- Vaucanson 0.7 is released — 17 May 2005
This new release comes with a full support of transducers over a free monoid product and some new algorithms dedicated to transducers. Also, a new XML system has been implemented, introducing the latest updates of the Vaucanson group's format proposal.
- Publication Total Variation Minimization with L^1 Data Fidelity as a Contrast Invariant Filter in Proceedings of the 4th International Symposium on Image and Signal Processing and Analysis (ISPA 2005) — 27 April 2005
- Publication An efficient algorithm for attribute openings and closings in Proceedings of the 13th European Signal Processing Conference (EUSIPCO) — 14 April 2005
- Publication Probabilistic verification and approximation in Proceedings of 12th Workshop on Logic, LanguageInformation and Computation (Wollic) — 11 April 2005
- Publication Making Compiler Construction Projects Relevant to Core Curriculums in Proceedings of the Tenth Annual Conference on Innovation and Technology in Computer Science Education (ITICSE'05) — 6 February 2005
- FiXme 3.1 is released — 31 January 2005
- Publication A Fast and Exact Algorithm for Total Variation Minimization in Proceedings of the 2nd Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) — 18 January 2005
- Publication Ruminations on Tarjan's Union-Find algorithm and connected operators in Proceedings of the 7th International Symposium on Mathematical Morphology (ISMM'05) — 5 January 2005
- Publication A fast and exact algorithm for total variation minimization — 1 January 2005
- FiXme 3.0 is released — 22 December 2004
- QCM 2.1 is released — 27 November 2004
- Publication Proposal: an XML representation for automata — 1 November 2004
- Publication Introducing Vaucanson in Theoretical Computer Science — 1 November 2004
- Vaucanson 0.6.1 is released — 26 October 2004
In addition to the usual bug fixes, this release brings full support of G++ 3.
- QCM 1.0 is released — 15 October 2004
- Publication Exact optimization of discrete constrained total variation minimization problems — 1 October 2004
- A new LRDE permanent member: Sylvain Peyronnet — 7 September 2004
After completing his PhD in the field of probabilistic algorithms
- Publication Fast road network extraction in satellite images using mathematical morphology and Markov random fields in EURASIP Journal on Applied Signal Processing — 5 September 2004
- Publication Person authentication based on hand shape in Proceedings of 12th European Signal Processing Conference (EUSIPCO) — 1 September 2004
- Publication Exact optimization of discrete constrained total variation minimization problems in Proceedings of the 10th International Workshop on Combinatorial Image Analysis (IWCIA) — 1 September 2004
- Publication Fast color image segmentation based on levellings in feature Space in Computer Vision and Graphics—International Conference on Computer Vision and Graphics (ICCVG), Warsaw, PolandSeptember 2004 — 11 August 2004
- Transformers 0.2 is released — 25 July 2004
This release introduces a grammar and disambiguation tools for the C language. Moreover, new
- Thomas Claveirole presents Vaucanson XML representation for automata to CIAA 2004 — 24 July 2004
Thomas Claveirole, an LRDE student, will make a
- Vaucanson 0.6 is released — 18 July 2004
This new release comes with an improved XML I/O system and more
- Publication Fusion of spatial relationships for guiding recognitionexample of brain structure recognition in 3D MRI in Pattern Recognition Letters — 9 July 2004