Olena October 2004

olena@lrde.epita.fr

7 participants
5 discussions

Re: 1732: Fix typos; use Doxygen's \arg for functions arguments
by Roland Levillain 22 Oct '04

22 Oct '04

>>>>> "Akim" == Akim Demaille <akim(a)epita.fr> writes: >>>> "Roland" == Roland Levillain <roland(a)lrde.epita.fr> writes: >> Arg, désolé. Je me suis inspiré de la documentation d'Olena, qui >> utilise \param pour les paramètres de templates, et \arg pour les >> arguments de fonctions. Akim> Alors il faut la corriger ! La doc de Doxygen montre ce pour quoi Akim> c'est fait \arg. Oui, je viens de la lire et j'ai vu la différence. (Je CC la ML Olena.)

1 0

Koala
by Akim Demaille 15 Oct '04

15 Oct '04

http://www.program-transformation.org/Tools/KoalaTools The Koala-tools package is a collection of tools operating on the Koala component definition language as developed by Philips Research. Koala is a component definition language used by Philips consumer electroniccs to model components (as C modules), composition (as C compilation and linking), and variability (as CPP macros and partial evaluation). The Koala component model consists of a component language, which supports definition of: * interfaces (both required and provided) * data types * components * diversity (by means of a diversity interfaces) * component compositions Component compositions consist of collections of components and wires that connect provides and requires interfaces (see picture below). [...]

1 0

des nouvelles du proto
by Thierry GERAUD 12 Oct '04

12 Oct '04

Cf. déjà dit, le proto supportait l' ``héritage conditionnel'' ; depuis cet été j'ai seulement défini la liste des abstractions correspondant aux images (ex : abstract::greylevel_image) un objectif est de pouvoir définir des morpheurs génériques le plus simplement possible. Le problème est double pour un tel morpheur : - avoir l'héritage qui va bien (résolu par l'utilisation des propriétés) - ne pas avoir à recoder les méthodes que le morpheur doit fournir. un exemple : les valeurs d'une image (ref) sont vues à travers une fonction (f) => une image morphée (ima). ima[p] renvoit donc f(ref[p]). on doit pouvoir appeler ima.size() pour accéder aux dimensions de l'image vue à travers f mais on n'a pas envie d'écrire cette méthode. si ce type de morpheur est implémenté par la classe fimage<I,F> avec I type de ref et F type de f, on doit redéfinir "op[]" et "op[] const" mais on ne veut pas coder fimage<I,F>::size(). En effet, d'après la description de ce morpheur, la méthode "size" n'est pas transformée (on doit avoir "ima.size()" est équivalent à "ref.size()). Pire, on ne connaît pas la liste des méthodes que l'on devraient écrire ! Si les données de ref sont stockées avec un buffer mémoire linéaire, on peut appeler ref.buffer() pour récupérer son adresse de début et "ref.buffer_size()" pour connaître sa taille (longueur). On doit donc pouvoir faire de même avec ima. En revanche, si ref n'est pas "linéaire", ima ne l'est pas non plus. Comment demander au programmeur qui doit définir la classe paramétrée "fimage" (et ses méthodes) de gérer tous ces cas ? soluce dans le proto, on définit des hiérarchies d'abstractions ; par exemple abstract::image dont un bout est donné ci-dessous : template <typename E> struct image : public internal::get_image_impl < image<E>, E > { unsigned npoints() const // abstract { return this->exact().impl_npoints(); } //... }; ici npoints() est une méthode abstraite et on code la liaison à la main (via this->exact().impl_) ce qui change par rapport à "avant" (hier et les jours encore avant), c'est le fait qu'on puisse récupérer des implémentations par défaut pour les méthodes. elles arrivent via l'héritage de internal::get_image_impl (notez le "get"). bien sûr, il faut écrire les implémentations par défaut (le "set" qui correspond au "get") : template <typename E> struct set_image_impl < image<E>, E> : public virtual image_impl<E> { unsigned impl_npoints() const { return this->delegate().npoints(); } //... }; vous voyez qu'ici, ce n'est pas "exact()" (liaison) qui est appelé mais "delegate()" (délégation). On ne rêve pas, une implémentation par défaut signifie qu'on a un objet concret quelque part qui nous fournit cet implémentation. Dans le cas d'un morpheur (ima), c'est bien sûr l'image morphée (ref). au bout du compte, un morpher "identité" (un morpheur qui ne change rien à l'image ciblée) s'écrit en quelques lignes : template <typename I> struct id_morpher; template <typename I> struct props < id_morpher > : public props { typedef I delegated_type; }; template <typename I> struct id_morpher : public abstract::from_image_morpher< I, id_morpher > { typedef abstract::from_image_morpher< I, id_morpher > super; id_morpher(const I& ref) : super(ref) { exact_ptr = this; } }; et pour vérifier que ça marche, on définit ref puis on appelle des méthodes attendues naturellement : int main() { image2d<int> ref(16, 64); std::cout << ref.npoints() << std::endl; // le morpheur qui en fout pas une : id_morpher< image2d<int> > ima(ref); std::cout << ima.npoints() << std::endl; // comme toute image std::cout << ima(5, 1) << std::endl; // car ref est 2d std::cout << ima.buffer_size() << std::endl; // car ref a un buf.lin. }

1 0

Re: [DOC] publications récupérées
by Thierry GERAUD 12 Oct '04

12 Oct '04

Thierry GERAUD wrote: > > tous ceux qui récupèrent des publis sur le net pour leur > recherche *devraient* poser les articles sur la partition > de documentation du labo (/mnt/doc/) > > cela afin que chacun puisse bénéficier de leurs trouvailles > et que tout le monde économise du temps > [...] de nouveaux répertoires et articles sur la morpho maths : /mnt/doc/computer_vision/morpho % ls -d1 * README clustering/ color/ connected_filters/ divers__a_trier/ fuzzy/ genericity/ levelling/ luc_vincent__a_trier/ self_dual/ theory/ wst/ un bon nombre d'articles de Luc Vincent ont été traduits de djvu en pdf (répertoire luc_vincent__a_trier/) le détail, en attendant de faire "mv" et d'ajouter les "*.bib" correspondants : /mnt/doc/computer_vision/morpho % ls * README clustering: barata.02.icpr.pdf fontaine.00.icpr.pdf vandenbroucke.98.icip.pdf bicego.03.emmcvpr.pdf geraud.01.icip.pdf xue.03.icip.pdf chen.98.itip.pdf postaire.93.pami.pdf zhang.00.icpr.pdf dornellas.00.icpr.pdf vandenbroucke.00.icpr.pdf color: README iwanowski.99.iciap.pdf salembier.98.itip.ps.gz dornellas.98.sibgrapi.pdf li.96.icip.pdf salembier.98.sp.ps.gz geraud.01.icip.pdf park.98.pr.pdf salembier.99.iicsvt.pdf geraud.01.icisp.pdf salembier.00.itip.pdf wegner.96.icip.pdf geraud.95.icip.pdf salembier.95.itip.pdf xue.03.icip.pdf gomila.99.icip.pdf salembier.96.itip.ps.gz hagyard.96.icip.pdf salembier.97.itcsvt.ps.gz connected_filters: BinaryImageAnalysis\ (bw).pdf meijster.98.eusipco.pdf BinaryImageAnalysis.pdf meijster.98.eusipco.ps.gz BinaryImageProcessing.pdf meijster.book/ CS340b.UnionFind.ps meine.04.bvm.pdf README meyer.98.ismm.pdf Report-375-1994.ps.ps moga.97.pami.pdf acton.98.itip.pdf monasse.00.itip.pdf andrade05.pdf morel.chap6.pdf arbelaez.03.vlsm.pdf najman.04.sdrr.pdf atine.pdf najman.04.svg.pdf ayala.02.tr.pdf najman.05.dam.pdf bertrand.04.svg.pdf neemuchwala.02.asilomar.pdf bieniek.00.pr.pdf nguyen.03.pami.pdf bieniek.98.ismm.ps.gz odobez.03.cbmi.pdf braganeto.99.ciss.pdf ramos.00.ecdl.pdf breuel.01.sdiut.pdf ramos.00.recpad.pdf brox.01.sitb.pdf rautio.pdf caselles.02.jmiv.pdf roerdink.00.fi.ps.gz cha.03.nar.pdf roerdink.00.pr.pdf chassignet.sujet.ps salembier.00.icpr.pdf coll.00.icpr.pdf salembier.00.icpr.ps.gz deandrade.99.mr.pdf salembier.00.itip.pdf dokladal.00.phd.pdf salembier.02.ismm.pdf eow.ball-detection.pdf salembier.95.itip.pdf felkel.01.tr.pdf salembier.98.itip.pdf fiorio.96.tcs.ps.gz salkin.04.slides.pdf gatica-perez.02.ismm.pdf sankar...pdf gatica.01.csvt.1.pdf serra.99.dgci.pdf gatica.01.csvt.2.pdf stoc99.ps gatica.01.ip.pdf stoev.00.iv.pdf gomila.99.icip.pdf stoev.00.wscg.pdf guichard.02.ismm.pdf union-find-problem.txt.txt haris.98.ip.pdf.pdf urbach.02.ismm.pdf hesselink.01.scp.ps.gz urbach.04.icpr.pdf hesselink.03.ipl.pdf vachier.01.gretsi.pdf jalba.03.icip.pdf vachier.01.icip.pdf lotufo.02.sibgrapi.pdf villalobos.02.ismm.pdf louverdis.02.hcai.pdf vincent.91.pami.pdf meijster..titlecon.pdf wayne.04.slides.pdf meijster.00.ismm.pdf wilkinson.00.icpr.pdf meijster.01.icip.pdf wilkinson.00.ismm.pdf meijster.02.pami.pdf wilkinson.02.icpr.pdf meijster.02.sip.pdf wood..isotoposimp.pdf meijster.95.caip.pdf yoram.99.cvpr.pdf meijster.95.csn.pdf young.02.ismm.pdf meijster.96.computation.pdf yu.02.icme-slides.pdf meijster.96.ismm.pdf yu.02.icme.pdf meijster.96.ismm.ps zanoguera.02.ismm.pdf divers__a_trier: arrighi-soille99.pdf* chunsun_paris99.pdf* suzuki.03.cviu.pdf* belaid.00.bn.pdf* nc04.ps.gz* fuzzy: barlas.doc.pdf bloomberg.00.jei.pdf koeppen.slides.pdf bloch.03.course.ps.gz dubois.03.ifsa.pdf koeppen.tut.pdf bloch.95.pr.pdf franke.00.icpr.pdf sinha.95.itfs.pdf genericity: darbon.02.ismm.pdf ornellas.99.sibgrapi.ps.gz ornellas.98.ismm.ps.gz vigra-handbook.ps.gz levelling: angulo.03.bi.pdf maragos.00.ivph.pdf serra.99.dgci.pdf butt.98.itip.pdf maragos.03.ijcv.pdf sofou.01.icip.pdf dornellas.00.icpr.pdf maragos.99.sp.pdf sofou.03.icip.pdf dornellas.98.sibgrapi.pdf meyer.00.jvcir.pdf terolvillalobos.02.ismm.pdf dornellas.99.sibgrapi.pdf meyer.02.ismm.pdf tzafestas.02.jmiv.pdf doulamis.01.icip.pdf meyer.99.sp.pdf vachier.04.jmiv.pdf heijmans.02.ismm.pdf papandreou.04.cvpr.pdf zanoguera.02.ismm.pdf jung.02.sibgrapi.pdf salembier.00.icpr.pdf manay.03.itip.pdf salembier.96.itip.pdf luc_vincent__a_trier: beucher.90.tdi.pdf tang.98.air.pdf vincent.92.nsp.pdf bloomberg.00.jei.pdf vincent.00.fi.pdf vincent.93.ip.pdf heijmans.92.jvcir.pdf vincent.89.as.pdf wilkinson.no-math.pdf jeulin.92.jvcir.pdf vincent.89.sp.pdf yanikoglu.98.pr.pdf rosen.94.usnjua.pdf vincent.91.pami.pdf yuille.92.jmiv.pdf serra.92.cssp.pdf vincent.91.sp.pdf self_dual: ageenko.00.prl.pdf heijmans.00.icip.pdf salembier.00.ismm.pdf ahmed...pdf heijmans.00.tr.pdf salembier.02.ismm.pdf ballester.01.cmla.ps heijmans.94.icip.pdf serra...pdf bangham.96.pami.pdf heijmans.98.istftsa.pdf sidiropoulos.97.itsp.pdf carolina.04.course.pdf lyberis...pdf thesis.upc.chap2.pdf charith.03.isispa.pdf ray...pdf vanvliet.02.course-1.pdf forbes.97.tr.ps ray.03.icip.pdf vanvliet.02.course-2.pdf hanbury.01.itip.pdf robinson.04.prl.pdf weber.01.nc.pdf theory: Heijmans_Zakopane_intro.ps.gz mmtutor.pdf hanbury.slides.pdf tarjan.cours.pdf wst: acton.98.itip.pdf najman.04.spie.pdf bertrand.04.spie.pdf najman.96.pami.pdf figueroa.98.eusipco.ps.gz najman.96.pami_answer.pdf gauch.93.pami.pdf najman.96.pami_comments.pdf haris.98.itip.pdf rainfall.pdf lapeer.02.miua.pdf roerdink.fi.01.pdf malpica.97.cyto.pdf shafarenko.ip.97.pdf najman.03.dgci.pdf vachier.02.ismm.pdf najman.04.spie.2.pdf

5 9

les conteneurs std::
by theo.lrde＠free.fr 02 Oct '04

02 Oct '04

avec le petit bout de code en fin de message, les images d'olena sont compatibles avec les conteneurs de la bibliothèque std et avec ses algos. pour un type I d'image, il suffit de former std::container< boxed > ou std::container< boxed<const I> > et pour accéder aux images, il suffit de sortir l'image de la boîte. avec un vecteur v : unbox(v[0]).npoints() // - - - - - - - - - - - - - - - - - - - - - - - - - - - - template <class T> struct boxed { boxed(T ref) : ref(ref) {} boxed(const boxed<T>& rhs) : ref(rhs.ref) {} boxed<T>& operator=(boxed<T>& rhs) { this->ref = rhs.ref; return *this; } operator T() { return ref; } T& unbox() { return ref; } const T& unbox() const { return ref; } friend class boxed<const T>; private: mutable T ref; }; template <class T> struct boxed <const T> { boxed(const T& ref) : ref(const_cast<T&>(ref)) {} boxed(const boxed<T>& rhs) : ref(const_cast<T&>(rhs.ref)) {} boxed(const boxed<const T>& rhs) : ref(const_cast<T&>(rhs.ref)) {} boxed<const T>& operator=(const boxed<const T>& rhs) { this->ref = const_cast<T&>(rhs.ref); return *this; } operator const T() const { return ref; } const T& unbox() const { return ref; } private: mutable T ref; }; template <class T> T& unbox(boxed<T>& b) {return b.unbox(); } template <class T> const T& unbox(const boxed<T>& b) {return b.unbox(); }

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

Olena October 2004