Bonjour, nous avons le plaisir de vous inviter au séminaire des étudiants du LRDE. Il aura lieu le mercredi 9 juin 2010 à 14 heures en Amphi Masters (KB). ----------------------------------------------------------------------- Au programme: *CLIMB, OLENA, SPOT, VAUCANSON* http://publis.lrde.epita.fr/Seminar-2010-06-09 CLIMB * 14h00 : Généricité par propriétés : une approche dynamique -- Loïc Denuzière * 14h30 : Approche fonctionnelle de la généricité du traitement d'image et documentation de projet -- Christopher Chedeau OLENA * 15h00 : Filtrage à base de contours pour la segmentation d'images -- Edwin Carlinet * 15h30 : Outils pour la dématérialisation dans SCRIBO -– Julien Marquegnies SPOT * 16h15 : Minimisation d’automates représentant des obligations -– Félix Abecassis VAUCANSON * 16h45 : Vers Vaucanson 2.0 -– Alex Hamelin ----------------------------------------------------------------------- Les Résumés des exposés : ************************** CLIMB * 14h00 : Généricité par propriétés : une approche dynamique -- Loïc Denuzière La généricité par propriétés est un paradigme de programmation orientée objet qui permet de modéliser de manière générique certains systèmes délicats à représenter en programmation objet classique. Elle a été introduite par le paradigme orienté C++ SCOOP utilisé dans Olena, une bibliothèque de traitement d'images. Le principe fondamental est de caractériser une classe non pas par ses relations d'héritage, mais par une liste des propriétés que possèdent ses instances. Nous présenterons ce paradigme et montrerons qu'il peut s'étendre à d'autres langages que le C++ et d'autres domaines d'application que le traitement d'images. Nous introduirons ensuite un exemple d'implémentation de généricité par propriétés en Common Lisp qui tire parti des capacités dynamiques de ce langage ainsi que de son extensibilité. * 14h30 : Approche fonctionnelle de la généricité du traitement d'image et documentation de projet -- Christopher Chedeau Olena est l'une des bibliothèques de traitement d'images dont la généricité est la plus poussée. Celle-ci vient principalement d'une vision différente de la notion d'image via des concepts clés tels que les fenêtres, accumulateurs ainsi que les morphers. On va s'attacher à en faire une description détaillée ainsi que montrer comment les implémenter en Lisp. La documentation d'un projet comme Olena est une tâche difficile. Il faut d'abord faire changer les mentalités et voir la documentation comme un gain de temps et non l'inverse. La documentation doit être un effort collaboratif et s'adresser à un large panel de personnes. Des conseils pratiques de mise en application sont enfin disponibles pour vous aider dans votre projet. OLENA * 15h00 : Filtrage à base de contours pour la segmentation d'images -- Edwin Carlinet Nous proposons une nouvelle méthode basée sur l'utilisation des contours, dédiée à la segmentation des images. Les derniers temps ont été marqués par le développement des techniques de traitement d'image utilisant les filtres connectés qui préservent les contours des objets et deviennent ainsi de puissants outils à des fins de segmentation. Les méthodes de segmentation à base d'opérateurs connectés procèdent généralement en deux étapes. Elles calculent un attribut sur les composantes connectées puis filtrent celles qui ne satisfont pas un critère. Nous proposons un nouvel algorithme basé sur l'union-find qui permet de calculer un attribut sur les contours des composantes connectées. Nous introduisons ainsi les attributs basés sur les contours et en proposons qui évaluent l'énergie d'une composante connectée. Pour finir, nous concluons avec le filtrage à base de contours pour produire une nouvelle méthode de segmentation. * 15h30 : Outils pour la dématérialisation dans SCRIBO -– Julien Marquegnies SCRIBO, pour Semi-automatic and Collaborative Retrieval of Information Based on Ontologies, est un projet de dématérialisation et d'annotation semi-automatique ayant pour finalité la mise en place d'algorithmes et d'outils collaboratifs visant à extraire des connaissances à partir de textes et d'images. L'extraction des différentes structures d'un document numérisé se base sur la mise en place d'une chaîne de traitements constituée d'un certain nombre d'étapes primordiales afin d'optimiser la qualité du rendu. Le redressement de l'image, en amont de la chaîne, est une phase nécessaire afin de corriger l'éventuel angle dû à la numérisation du document. De plus, l'extraction et l'étude des informations des caractères composant le texte permet non seulement de réaliser une reconstitution la plus fidèle possible du texte mais également de préparer ce dernier à son passage dans l'OCR. Ainsi, nous présenterons dans un premier temps un algorithme permettant de détecter rapidement l'inclinaison d'un document pour de petits angles, puis l'étude menée sur l'extraction des différentes caractéristiques des caractères. SPOT * 16h15 : Minimisation d’automates représentant des obligations -– Félix Abecassis Le model checking est une discipline s’intéressant à la vérification automatique de la conformité d’un système fini vis-à-vis d’une propriété. Spot est une bibliothèque de model checking basée sur une approche automate: le système à vérifier est représenté par un automate de Büchi généralisé basé sur les transitions, les propriétés sont exprimées par des formules de logique temporelle linéaire (LTL) et sont traduites en automate de Büchi. Les formules LTL peuvent être classées dans une hiérarchie selon le type de propriété qu'elles représentent. Nous étudierons le cas des formules LTL représentant des propriétés d'obligation, ces formules peuvent être reconnues par un type plus précis d’automates dont il est possible de calculer une forme minimale canonique. VAUCANSON * 16h45 : Vers Vaucanson 2.0 -– Alex Hamelin Vaucanson est une plateforme de manipulation d'automates finis et de transducteurs. Son utilisation a su mettre en évidence son interface trop complexe lors de la manipulation des automates. Une nouvelle approche de sa définition fut par conséquent considérée, impliquant l'utilisation du concept de kind d'un automate. La précédente équipe de développement de Vaucanson démarra cette série de changements qui se conclurent par l'implémentation du kind labels-are-letters. Toutefois, ces modifications lais- sèrent la bibliothèque dans un état de fonctionnement transitoire. Dans la continuité de leur travail et de façon à restaurer la force ainsi que la généricité de Vaucanson, nous introduirons deux nouveaux kind d'automates dans la bibliothèque: labels-are-words et labels-are-series. Ce travail pourra mener à plusieurs changements impliquant d'une part la réécriture d'algorithmes et d'autre part la modification de structures de données, ceci afin de permettre une manipulation plus facile, mais aussi plus puissante, des automates. -- Daniela Becker Responsable administrative du LRDE