Vous êtes tous cordialement invités à assister au séminaire du LRDE
de cette semaine qui aura lieu le mercredi 01 juin en amphi P004
au KB. Le thème de cette journée est : *OLENA & VAUCANSON*
Séminaire du 01 juin 2005
OLENA & Vaucanson
Amphi P004 (KB)
14h00
http://www.lrde.epita.fr/cgi-bin/twiki/view/Publications/Seminar-2005-06-01
Programme :
OLENA :
* 14h00 : Modélisation et taxonomie des images -- Simon Odou
* 14h45 : Utilisation de canevas dans Olena -- Damien Thivolle
VAUCANSON
* 15h45 : Composition de transducteurs -- Sarah O'Connor
* 16h30 : Vers une nouvelle modélisation pour Vaucanson
-- Louis-Noël Pouchet
Les Résumés :
***************
* Modélisation et taxonomie des images -- Simon Odou
Tout ce que notre esprit est capable de se représenter
visuellement est image. Pourtant toutes ces images ne
sont pas égales : une fonction n'est pas équivalente à
une photographie, non plus à un graphe. De même que
notre cerveau est capable de jongler naturellement avec
ces différents concepts, nous aimerions doter Olena
- la bibliothèque de traitement d'images développée
au LRDE - d'une modélisation intuitive et efficace.
L'objectif est de mettre un terme à la prédominance
des images "classiques" dans Olena en préservant sa
simplicité d'utilisation et ses performances.
Nous identifierons précisément les différents types
d'images avant d'en présenter une taxonomie. Ensuite
nous vous proposerons une modélisation Enfin, nous
verrons comment le C++ et notamment l'héritage par
propriétés facilitent sa mise en oeuvre.
* Utilisation de canevas dans Olena -- Damien Thivolle
Il arrive que certains algorithmes de traitement d'image
aient une écriture similaire. Pour éviter la redondance,
la mise en place de canevas permet de factoriser une
grande partie du code. Il restealors à remplir les trous
dans les implémentations spécifiques.
Différentes approches d'implémentation des canevas
dans Olena seront présentées.
* Composition de transducteurs -- Sarah O'Connor
La plateforme de manipulation d'automates qu'est
Vaucanson a pour particularité la généricité des objets
manipulés. Il est ainsi possible de représenter un grand
nombre d'automates de structures différentes et, donc,
plus particulièrement les transducteurs.
Les transducteurs sont disponibles dans la bibliothèque
Vaucanson sous deux formes différentes: automates sur
un monoïde libre à coefficients dans une série et automates
sur un produit de monoïdes libres. Parmi les algorithmes
dédiés aux transducteurs proposés dans Vaucanson,
existent plusieurs algorithmes de composition, applicables
selon la forme sous laquelle l'utilisateur manipule les
transducteurs.
Dans cet exposé, nous nous attacherons à l'étude de
différents algorithmes de composition de transducteurs,
à leur comparaison, puis à l'implémentation de certains
d'entre eux dans la bibliothèque Vaucanson.
* Vers une nouvelle modélisation pour Vaucanson --
Louis-Noël Pouchet
Vaucanson est une bibliothèque de manipulation
d'automates finis, programmée grâce à des méthodes
avancées de programmation statique. Ce type de
programmation permet d'obtenir généricité et
performances, au prix parfois d'une programmation
lourde et contraignante.
En quatre ans, la bibliothèque s'est enrichie de
nombreuses fonctionnalités et algorithmes, dont
certains n'ont pas été pris en compte au démarrage
du projet. A l'instar d'Olena, il est temps d'envisager
une refonte de la bibliothèque, en s'attachant à proposer
une nouvelle modélisation prenant en compte les besoins
actuels et le futur de la bibliothèque.
Lors de ce séminaire, un point sera fait sur les
fonctionnalités désirées dans la bibliothèque et une
attention particulière sera portée sur celles qui ont
posé le plus de problèmes. Ensuite, plusieurs
méthodes de modélisation seront présentées pour
répondre à ces contraintes, afin de déterminer dans
quelle direction orienter la maquette de la prochaine
version de Vaucanson.
