Semantic search
- 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
- A more public development scheme! — 15 June 2004
The LRDE is happy to announce that its development process is now
- Publication A novel method to fight the non line of sight error in AOA measurements for mobile location in Proceedings of the IEEE International Conference on Communications (ICC) — 1 June 2004
- Publication Metagene, a C++ meta-program generation tool in Proceedings of the Workshop on Multiple Paradigm with OO Languages (MPOOL; in conjunction with ECOOP) — 25 May 2004
- CodeBoost tutorial morning — 19 May 2004
CodeBoost is a framework for C++ source to source transformation. It's developed at the university of
- CurVe 1.7 is released — 19 May 2004
- Publication Unified texture management for arbitrary meshes — 26 April 2004
- Transformers 0.1 is released — 19 April 2004
This release contains the current C++ parser of the project and
- Olena 0.10 is released — 16 April 2004
This new release of Olena comes with a new
- VaucansonDay, Vaucanson 0.5 tutorial day — 31 March 2004
The second Vaucanson Day is held at EPITA,
- Vaucanson 0.5 is released — 31 March 2004
With the Vaucanson Day comes a new release
- The lab hosts PhD student Franck Coppola — 18 March 2004
Franck Coppola, an EPITA graduate student having completed a Master
- CurVe 1.6 is released — 10 March 2004
- Publication Generic algorithmic blocks dedicated to image processing in Proceedings of the ECOOP Workshop for PhD Students — 10 March 2004
- Fifth Stratego Users Days — 1 March 2004
A part of the Transformers's team went to
- Vampire 0.2 is released — 19 February 2004
Vampire is a remote package testing tool written
- The Tiger 2006 Project has started — 12 January 2004
The Tiger.TigerCompiler consists in the implementation of a
- Publication Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC in Proceedings of the 4th International Workshop on Automated Verification of Critical Systems (AVoCS) — 1 January 2004
- Vaucanson 0.4.2 is released — 25 December 2003
- Vaucanson 0.4 is released — 29 October 2003
- Publication A static C++ object-oriented programming (SCOOP) paradigm mixing benefits of traditional OOP and generic programming in Proceedings of the Workshop on Multiple Paradigm with Object-Oriented Languages (MPOOL) — 29 October 2003
- Olena 0.9 is released — 8 August 2003
- Publication Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition—application to 3D brain imaging in Artificial Intelligence — 1 August 2003
- Publication Program templates: expression templates applied to program evaluation in Proceedings of the Workshop on Declarative Programming in the Context of Object-Oriented Languages (DP-COOL; in conjunction with PLI) — 31 July 2003
- Vaucanson 0.3 is released — 11 July 2003
- Mical 0.1 is released — 10 July 2003
- Vaucanson 0.2 is released — 2 July 2003
- SdfOption 0.1 is released — 21 June 2003
- BoxedSdf 0.1 is released — 18 June 2003
- Publication Segmentation d'objets curvilignes à l'aide des champs de Markov sur un graphe d'adjacence de courbes issu de l'algorithme de la ligne de partage des eaux in Proceedings of the International Conference on Image and Signal Processing (ICISP) — 1 June 2003
- Publication On orthogonal specialization in C++: dealing with efficiency and algebraic abstraction in Vaucanson in Proceedings of the Parallel/High-performance Object-Oriented Scientific Computing (POOSC; in conjunction with ECOOP) — 26 May 2003
- Olena 0.8 is released — 13 May 2003
- Publication Introducing Vaucanson in Proceedings of Implementation and Application of Automata8th International Conference (CIAA'03) — 5 May 2003
- Publication Document type recognition using evidence theory in Proceedings of the 5th IAPR International Workshop on Graphics Recognition (GREC) — 29 April 2003
- Publication Multi-band segmentation using morphological clustering and fusion application to color image segmentation in Proceedings of the IEEE International Conference on Image Processing (ICIP) — 10 April 2003
- Publication Segmentation of curvilinear objects using a watershed-based curve adjacency graph in Proceedings of the 1st Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) — 10 March 2003
- Main.AkimDemaille replaces Main.ThierryGeraud at the head of the lab — 3 March 2003
- Vaucanson Day: presentation and demonstration of the Vaucanson project — 21 February 2003
- Olena Day: presentation and demonstration of the Olena project — 19 February 2003
- Olena 0.7 is released — 10 February 2003
- Publication Fast Road Network Extraction in Satellite Images using Mathematical Morphology and MRF in Proceedings of the EURASIP Workshop on Nonlinear Signal and Image Processing (NSIP) — 31 January 2003
- Olena 0.6 is released — 15 January 2003
- Olena 0.5 is released — 25 July 2002
- Publication Polar type inference with intersection types and ω in Proceedings of the 2nd Workshop on Intersection Types and Related Systems (ITRS), published in: Electronic Notes in Theoretical Computer Science — 1 July 2002
- Olena 0.4.1 is released — 25 April 2002
- Publication Generic implementation of morphological image operators in Mathematical Morphology, Proceedings of the 6th International Symposium (ISMM) — 1 April 2002
- Olena 0.3 is released — 14 January 2002
- Publication Color image segmentation based on automatic morphological clustering in Proceedings of the IEEE International Conference on Image Processing (ICIP) — 1 October 2001
- Publication Virtual reality and tele-operation: a common framework in Proceedings of the 5th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI)—Emergent Computing and Virtual Engineering — 1 July 2001
- Publication Segmentation d'images en couleur par classification morphologique non supervisée in Proceedings of the International Conference on Image and Signal Processing (ICISP) — 1 May 2001
- Publication Expression templates in Ada 95 in Proceedings of the 6th International Conference on Reliable Software Technologies (Ada-Europe) — 1 May 2001