Bonjour,
nous avons le plaisir de vous inviter à la deuxième session du séminaire
des étudiants CSI qui aura lieu le mercredi 20 mai 2009 à 14 heures en
Amphi 2 au KB.
-----------------------------------------------------------------------
Le programme :
VAUCANSON
* 14h00 : Hiérarchie par propriétés du module Algebra de Vaucanson -–
Alex Hamelin
OLENA
* 14h30 : Histogrammes -– Etienne Folio
* 15h00 : Les arbres de composantes dans Milena -– Edwin Carlinet
SPOT
* 15h45 : Nondéterminisation d’automates alternants dans SPOT -– Samuel
Da Mota
LISP
16h15 : CLIMB : Une approche dynamique du traitement générique d’images
–- Loïc Denuzière
-----------------------------------------------------------------------
Les Résumés des exposés :
**************************
VAUCANSON
14h00 : Hiérarchie par propriétés du module Algebra de Vaucanson -– Alex
Hamelin
Le module de structures algébriques de Vaucanson, Algebra, sert de base
à la définition mathématique des automates finis. Cependant la
modélisation actuelle est inexacte du point de vue théorique : les
relations d’héritages entre certaines classes sont fausses (l’héritage
entre les semi-anneaux et les monoïdes en est le parfait exemple).
D’autre part, nous ne pouvons facilement l’étendre avec de nouvelles
structures algébriques. Ainsi, afin de doter Algebra d’une plus grande
granularité dans sa définition des concepts algébriques, il est
nécessaire de retravailler sa structure globale en introduisant un
système de hiérarchie par propriétés similaire à celui présenté dans
SCOOP. En se basant sur les propriétés des opérateurs et des ensembles
mathématiques pour définir la nature des structures algébriques, et non
sur une hiérarchie de classes classique, nous pourrons nous permettre
une spécialisation plus précise des algorithmes grâce à la garantie de
propriétés sur ces structures, entraînant ainsi un gain de performance
et d’expressivité important au coeur de Vaucanson.
OLENA
14h30 : Histogrammes -– Etienne Folio
Un histogramme est une représentation de la distribution de données dans
une image, par exemple des niveaux de gris ou des couleurs. Cette
caractéristique essentielle doit être implémentée génériquement dans la
bibliothèque MILENA. Durant ce séminaire nous proposons d’enregistrer
les données d’histogrammes dans des conteneurs d’images. Pour cela, nous
avons besoin d’adapter la définition des types de valeurs. Plus
spécifiquement, nous proposons d’augmenter les traits associés aux types
de valeurs, d’ajouter de nouveaux types de valeurs utiles et de
construire de nouvelles abstractions au-dessus. Enfin nous présenterons
comment traiter des données circulaires comme les valeurs de teinte
(encodées par des angles dans l’espace de couleurs HSL) ; dans ce cas
"l’image histogramme" deviendrait aussi circulaire.
15h00 : Les arbres de composantes dans Milena -– Edwin Carlinet
La détection des formes et la reconnaissance d’objets font partie des
enjeux les plus importants du traitement d’images. Différentes
stratégies ont déjà vu le jour ; néanmoins celle basée sur l’utilisation
des arbres de composantes semble particulièrement prometteuse. En effet,
l’arbre de composantes permet d’établir puis de mettre en relation les
composantes à différents niveaux de gris de l’image. À partir de cet
arbre, il devient alors possible d’appliquer des attributs qui serviront
de critères pour filtrer ces composantes et mettre en évidence les
objets de l’image. Nous présenterons donc l’implémentation de ces
arbres, l’utilisation des attributs et des politiques de propagation
pour filtrer les composantes, ainsi que la chaîne de traitement qui
permettra d’identifier ces objets.
SPOT
15h45 : Nondéterminisation d’automates alternants dans SPOT -– Samuel Da
Mota
SPOT est une bibliothèque de model checking basée sur l’approche par
automates et sur les automates de Büchi généralisés basés sur les
transitions (TGBA) pour la vérification de systèmes exprimés sous forme
de formules logiques. L’approche automate consiste à traduire une
formule logique LTL en un automate qui reconnaît le même language. Dans
l’état actuel des choses, il existe deux algorithmes dans SPOT de
traduction de formules LTL vers des TGBA. Un troisième algorithme y sera
rajouté. Ce dernier convertira dans un premier temps la formule LTL en
un automate alternant, puis appliquera un algorithme de
nondéterminisation sur celui-ci pour obtenir un TGBA. Le but de cette
nouvelle implémentation est de mener une comparaison avec les deux
autres déjà en place. Pour mener à bien cette tâche, la structure des
automates alternants sera intégrée dans SPOT, puis ce sera au tour de
l’algorithme de nondéterminisation d’automates alternants vers des TGBA
et enfin la traduction de formules LTL sous forme d’automates alternants.
LISP
16h15 : CLIMB : Une approche dynamique du traitement générique d’images
–- Loïc Denuzière
Olena est l’une des bibliothèques de traitement d’images dont la
généricité est la plus poussée. Son modèle entièrement statique permet
de très bonnes performances, au prix d’une syntaxe alourdie et de temps
de compilation importants. Ces aspects la rendent moins efficace pour le
développement incrémental, l’expérimentation et le prototypage rapide.
Nous présenterons une approche différente du traitement d’images
générique qui utilise la même modélisation du domaine qu’Olena mais se
concentre sur les aspects dynamiques, offrant ainsi une utilisation
totalement différente de la bibliothèque. La pierre angulaire est le
langage Common Lisp qui permet une utilisation interactive, la création
à la volée de nouveaux types d’images ou de nouveaux algorithmes, tout
en offrant une syntaxe claire, personnalisable et extensible pour les
opérations courantes.
--
Daniela Becker
