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