Past Internal Projects
- Vcsn: a finite state machine manipulation platform
Vcsn is a finite state machine manipulation platform, consisting of a library and tools implemented on top of it. It benefits from the expertise we gained from our intensive work on high performance generic programming for Olena. On the other hand, its theoretical well-foundedness in the area of automata is ensured thanks to a collaboration with Jacques Sakarovitch, at Télécom ParisTech, and with Sylvain Lombardy at the Laboratoire Bordelais de Recherche en Informatique. About ten years after its first inception, the project is taking a new start with the Vaucanson 2 effort. This complete redesign aims at keeping the successful parts of its predecessor (especially genericity and large feature set) while addressing its shortcomings (compile-time and runtime efficiency, the flexibility).
- Software design
- Generic programming
- Design patterns
- Automata theory
- Speaker ID: Speaker's Voice Print
The Speaker Recognition team is working on Machine Learning solutions applied to Speaker Recognition tasks. We propose statistical representations of speech signal which are more robust to the problem of session and channel variabilities.
- Speaker Recognition
- Total Variability Space (TV, I-Vectors)
- Joint Factor Analysis (JFA)
- Cosine Distance Scoring (CDS)
- SVM and Kernel Tricks (GSV, NAP, ...)
- Urbi et Orbi: a distributed environment framework.
The Urbi et Orbi project (no longer maintained at the LRDE) aimed at building a distributed environment framework whose first applications were virtual worlds. Virtual worlds are virtual 3D scenes personneld with common objects (houses, trees, etc.), avatars (i.e. the virtual image of the users) in which one may walk around and interact. In addition, this virtual world is distributed, in the sense that its full description is spread over several computers, connected via a network. There is no need for a single host to have a full knowledge of the world. We focused on virtual worlds for a large audience, therefore there were no other material requirements than a standard personal machine, with a connection to a local network or the Internet. Windows and unix or linux platforms were supported. Scalability was required
- Transformers: a set of tools to manipulate the C++ language.
Thanks to the keyword template, and almost by accident, C++ is a very special language where one can not only specify what a program will do once compiled, but in addition one can specify how the compiler will compile a program. This feature gave birth to powerful programming techniques, commonly referred to as metaprogramming. Because of its committment in the Olena and Vcsn projects, the LRDE has developped expertize in metaprogramming. Unfortunately the implementation is tricky and very error-prone. Starting from the simple idea that we want metaprogramming efficiency, but we don't want to write it, the Transformers project was initiated. It aimed at converting naive (but decent) C++ programming into high-speed (but indecent) C++ source code. To this end, aimed at designing a set of tools to manipulate C++ programs.
The Transformers project is no longer maintained by the LRDE. A former student has exported it to Norway where he did his PhD thesis. This project consisted of writing a modular C++ grammar, and of the provision of a library with methods for C++ program transformation. Some extensions of C/C++ have been implemented. However, the full coverage of C + + was not achieved when the project was closed in 2009.
It should be noted that this project was watched closely by the most influential personalities in the C++ community, because they saw the opportunity to experiment easily various extensions to the language.
- APMC: Approximate Probabilistic Model Checker
- Miscellaneous projects
- Decision Diagrams (DD)
- Game theory
Past Publicly Funded Projects
- Linx - FUI 14 - 2012 -2016
An automatic reader to help visually impaired people in their everyday lives (project labeled by cap-digital).
- TerraRush - Investissement d'avenir - Grand Emprunt - 2013-2015
A platform for indexing video files from digitized rushes (project labeled by the Competitiveness Cluster cap-digital).
- Vaucanson 2 - ANR - 2011-2014
A finite state machine manipulation platform.
Semi-automatic and Collaborative Retrieval of Information Based on Ontologies.
- Mélimage - INCa - 2006-2009
Functional characterization and quantification of response to treatment using multimodality imaging.
- EFIGI - ANR - 2004-2008
Extraction of idealized forms of Galaxies in Image Processing.
- Interactive autonomous agents - ROBEA - 2002
Computer modeling and experimental study in cognitive psychology of decision-making action of interacting agents.
- eTourism Augmented Reality - Investissement d'avenir - Grand Emprunt - 2013 (abandoned project)
A toolbox with augmented reality applications for mobile devices to assist tourists before, during and after their visit (project labeled by cap-digital).
- OpenSE - LLP project - 2009-2012
An infrastructure for teaching and learning of computer science through free software.