Semantic search
- 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 Thomas Quinot, AdaCore, by Samuel Tardieu, TELECOM ParisTech
- 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 Magne Haveraaen, Institutt for Informatikk, Universitetet i Bergen, Norway, by Anya Helene Bagge, 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