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 +
Distributed Model Checking +
Minimization of automata +
Minimisation d'automates +
Symmetric Difference Automata +
Syntactic Monoids +
Vcsn for Linguists +
Algorithms for automata over infinite words using a general acceptance condition +
Lisp for the design and the development of DSLs +
Lisp pour la conception et le développement de DSLs. +
Lisp for statistics: an alternative to R +
Lisp pour les statistiques: une alternative à R. +
Inpainting in videos +
Inpainting dans les vidéos +
Study of performance-related issues in image analysis in a generic context +
Étude de problématiques de performance en traitement d'images dans un contexte générique +
Document image simplification +
Simplification des images de documents +
Exploration of new self-dual filters in mathematical morphology +
Exploration de filtres auto-dual en morphologie mathématique +
Text extraction from natural images +
Extraction de texte dans des images naturelles +
Apprentissage de dynamique temporelle pour le démélange de séquences d’images hyperspectrales +
Traduction de logique dynamique linéaire en ω-automates +
Parallélisation des algorithmes d'ω-automates sur GPU +
Algorithmique des ω-automates +
Conception et réalisation d'une interface graphique Qt pour Climb +