Job title
From LRDE
This is a property of type Text.
J
Bison : points d'entrée multiples +
Traduction de formules de logique temporelle en automates +
Imagerie holographique rétinienne hyperspectrale en temps réel sur GPU +
Faster, Faster, Faster +
Development of an IPython interface, and a couple of web interfaces for the Spot library +
Minimization of Büchi automata using SAT-solving +
Lisp for the design and the development of DSLs +
Lisp for statistics: an alternative to R +
Document image simplification +
Exploration of new self-dual filters in mathematical morphology +
Text extraction from natural images +
Étude et optimisation des performances de la bibliothèque Climb +
Conception et réalisation d'une interface graphique Qt pour Climb +
Development of Parallel Algorithms for Spot +
Reconnaissance de texte dans des images naturelles +
QuickRefs - Documentation globale du monde Lisp +
Algorithms for generic acceptance +
Interactive Spot demonstration +
Programmation générique en C++ moderne pour le traitement d'images +
Typage de Séquences Hétérogènes dans les Langages Dynamiques +