Menu
International
LRDE : Séminaire de Juin 2010, un programme riche.
Le prochain séminaire des étudiants du LRDE (Laboratoire de Recherche & Développement de l’EPITA) aura lieu le mercredi 9 juin 2010 à 14 heures en Amphi Masters. Au programme ce mois-ci :
*CLIMB, OLENA, SPOT, VAUCANSON* (plus d’infos sur le site)
CLIMB
* 14h00 : Généricité par propriétés : une approche dynamique — LoïcDenuzière
* 14h30 : Approche fonctionnelle de la généricité du traitement d’imageet 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élixAbecassis
VAUCANSON
* 16h45 : Vers Vaucanson 2.0 -– Alex Hamelin
———————————————————————–
Les Résumés des exposés :**************************
La généricité par propriétés est un paradigme de programmation orientéeobjet qui permet de modéliser de manière générique certains systèmesdélicats à représenter en programmation objet classique. Elle a étéintroduite par le paradigme orienté C++ SCOOP utilisé dans Olena, unebibliothèque de traitement d’images. Le principe fondamental est decaractériser une classe non pas par ses relations d’héritage, mais parune liste des propriétés que possèdent ses instances. Nous présenteronsce paradigme et montrerons qu’il peut s’étendre à d’autres langages quele C++ et d’autres domaines d’application que le traitement d’images.Nous introduirons ensuite un exemple d’implémentation de généricité parpropriétés en Common Lisp qui tire parti des capacités dynamiques de celangage ainsi que de son extensibilité.* 14h30 : Approche fonctionnelle de la généricité du traitement d’imageet documentation de projet — Christopher Chedeau
Olena est l’une des bibliothèques de traitement d’images dont lagénéricité est la plus poussée. Celle-ci vient principalement d’unevision différente de la notion d’image via des concepts clés tels queles fenêtres, accumulateurs ainsi que les morphers. On va s’attacher àen faire une description détaillée ainsi que montrer comment lesimplémenter en Lisp.La documentation d’un projet comme Olena est une tâche difficile. Ilfaut d’abord faire changer les mentalités et voir la documentation commeun gain de temps et non l’inverse. La documentation doit être un effortcollaboratif et s’adresser à un large panel de personnes. Des conseilspratiques de mise en application sont enfin disponibles pour vous aiderdans 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 descontours, dédiée à la segmentation des images. Les derniers temps ontété marqués par le développement des techniques de traitement d’imageutilisant les filtres connectés qui préservent les contours des objetset deviennent ainsi de puissants outils à des fins de segmentation. Lesméthodes de segmentation à base d’opérateurs connectés procèdentgénéralement en deux étapes. Elles calculent un attribut sur lescomposantes connectées puis filtrent celles qui ne satisfont pas uncritère. Nous proposons un nouvel algorithme basé sur l’union-find quipermet de calculer un attribut sur les contours des composantesconnectées. Nous introduisons ainsi les attributs basés sur les contourset en proposons qui évaluent l’énergie d’une composante connectée. Pourfinir, nous concluons avec le filtrage à base de contours pour produireune nouvelle méthode de segmentation.
SCRIBO, pour Semi-automatic and Collaborative Retrieval of InformationBased on Ontologies, est un projet de dématérialisation et d’annotationsemi-automatique ayant pour finalité la mise en place d’algorithmes etd’outils collaboratifs visant à extraire des connaissances à partir detextes et d’images.L’extraction des différentes structures d’un document numérisé se basesur la mise en place d’une chaîne de traitements constituée d’un certainnombre d’étapes primordiales afin d’optimiser la qualité du rendu. Leredressement de l’image, en amont de la chaîne, est une phase nécessaireafin de corriger l’éventuel angle dû à la numérisation du document. Deplus, l’extraction et l’étude des informations des caractères composantle texte permet non seulement de réaliser une reconstitution la plusfidèle possible du texte mais également de préparer ce dernier à sonpassage dans l’OCR.Ainsi, nous présenterons dans un premier temps un algorithme permettantde détecter rapidement l’inclinaison d’un document pour de petitsangles, puis l’étude menée sur l’extraction des différentescaractéristiques des caractères.
SPOT* 16h15 : Minimisation d’automates représentant des obligations -– FélixAbecassisLe model checking est une discipline s’intéressant à la vérificationautomatique 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 approcheautomate: le système à vérifier est représenté par un automate de Büchigénéralisé basé sur les transitions, les propriétés sont exprimées pardes formules de logique temporelle linéaire (LTL) et sont traduites enautomate de Büchi.Les formules LTL peuvent être classées dans une hiérarchie selon le typede propriété qu’elles représentent. Nous étudierons le cas des formulesLTL représentant des propriétés d’obligation, ces formules peuvent êtrereconnues par un type plus précis d’automates dont il est possible decalculer une forme minimale canonique.
Vaucanson est une plateforme de manipulation d’automates finis et detransducteurs. Son utilisation a su mettre en &e acute;vidence son interfacetrop complexe lors de la manipulation des automates. Une nouvelleapproche de sa définition fut par conséquent considérée, impliquantl’utilisation du concept de kind d’un automate. La précédente équipe dedéveloppement de Vaucanson démarra cette série de changements qui seconclurent par l’implémentation du kind labels-are-letters. Toutefois,ces modifications lais- sèrent la bibliothèque dans un état defonctionnement transitoire.Dans la continuité de leur travail et de façon à restaurer la forceainsi que la généricité de Vaucanson, nous introduirons deux nouveauxkind d’automates dans la bibliothèque: labels-are-words etlabels-are-series. Ce travail pourra mener à plusieurs changementsimpliquant d’une part la réécriture d’algorithmes et d’autre part lamodification de structures de données, ceci afin de permettre unemanipulation plus facile, mais aussi plus puissante, des automates.