Annonce

annonce@lrde.epita.fr

1 participants
563 discussions

Publication: Meaningful disjoint level lines selection (ICIP'14)

by Edwin Carlinet

We are pleased to announce that the following paper has been accepted in the 21st International Conference on Image Processing (ICIP'14). Meaningful disjoint level lines selection Yongshao Xu¹ Edwin Carlinet¹² Thierry Géraud¹² Laurent Najman² ¹EPITA Research and ²Laboratoire d'Informatique Development Laboratory (LRDE) Gaspard-Monge (LIGM) yongshao.xu(a)lrde.epita.fr Many methods based on the morphological notion of shapes (i.e., connected components of level sets) have been proved to be very efficient in shape recognition and shape analysis. The inclusion relationship of the level lines (boundaries of level sets) forms the tree of shapes, a tree-based image representation with a high potential. Numerous applications using this tree representation have been proposed. In this article, we propose an efficient algorithm that extracts a set of disjoint level lines in the image. These selected level lines yields a simplified image with clean contours, which also provides an intuitive idea about the main structure of the tree of shapes. Besides, we obtain a saliency map without transition problems around the contours by weighting level lines with their significance. Experimental results demonstrate the efficiency and usefulness of our method. -- Edwin Carlinet Doctorant à l'Université Paris-Est / EPITA

10 years, 7 months

Publication: Tree of Shapes of Multivariate Images: Leads and Traps (ICIP'14)

by Edwin Carlinet

We are pleased to announce that the following paper has been accepted in the 21st International Conference on Image Processing (ICIP'14). Tree of Shapes of Multivariate Images: Leads and Traps Edwin Carlinet¹² Thierry Géraud¹² ¹EPITA Research and ²Laboratoire d'Informatique Development Laboratory (LRDE) Gaspard-Monge (LIGM) edwin.carlinet(a)lrde.epita.fr The Tree of Shapes is a morphological tree that provides an high-level hierarchical representation of the image suitable for many image processing tasks. This structure has the desirable properties to be self-dual and contrast-invariant and describes the organization of the objects through level lines inclusion. Yet it is defined on gray-level while many images have multivariate data (color images, multispectral images...) where information are split across channels. In this paper, we propose some leads to extend the tree of shapes on colors with classical approaches based on total orders, more recent approaches based on graphs and also a new distance-based method. Eventually, we compare these approaches through denoising to highlight their strengths and weaknesses and show the strong potential of the new methods compared to classical ones. -- Edwin Carlinet Doctorant à l'Université Paris-Est / EPITA

10 years, 7 months

Publication: A Type System for Weighted Automata and Rational Expressions (CIAA'14)

by Akim Demaille

We are happy to announce that the following paper has been accepted in the 19th International Conference Implementation and Application of Automata (CIAA'14), to be held in Giessen, Germany, on July 30 -- August 2. A Type System for Weighted Automata and Rational Expressions Akim Demaille [1], Alexandre Duret-Lutz [1], Sylvain Lombardy [2], Luca Saiu [1,3] and Jacques Sakarovitch [3] 1 LRDE, EPITA; 2 LaBRI, Institut Polytechnique de Bordeaux; 3 LTCI, CNRS / Télécom-ParisTech https://www.lrde.epita.fr/wiki/Publications/demaille.14.ciaa We present a type system for automata and rational expressions, expressive enough to encompass weighted automata and transducers in a single coherent formalism. The system allows to express useful properties about the applicability of operations including binary heterogeneous functions over automata. We apply the type system to the design of the Vaucanson 2 platform, a library dedicated to the computation with finite weighted automata, in which genericity and high efficiency are obtained at the lowest level through the use of template metaprogramming, by letting the C++ template system play the role of a static type system for automata. Between such a low-level layer and the interactive high-level interface, the type system plays the crucial role of a mediator and allows for a cleanly-structured use of dynamic compilation.

10 years, 7 months

International Lisp Conference deadline extension (May 25)

by Didier Verna

ILC 2014 - International Lisp Conference "Lisp on the Move" August 14-17 2014, Université de Montréal, Montréal, Canada Sponsored by the Association of Lisp Users In cooperation with: ACM SIGPLAN http://www.international-lisp-conference.org Latest News: * The submission deadline has been extended to May 25. You have one more week to write a paper! Scope: Lisp is one of the greatest ideas from computer science and a major influence for almost all programming languages and for all sufficiently complex software applications. The International Lisp Conference is a forum for the discussion of Lisp and, in particular, the design, implementation and application of any of the Lisp dialects. We encourage everyone interested in Lisp to participate. We invite high quality submissions in all areas involving Lisp dialects and any other languages in the Lisp family, including, but not limited to, ACL2, AutoLisp, Clojure, Common Lisp, ECMAScript, Dylan, Emacs Lisp, ISLISP, Racket, Scheme, SKILL, HOP etc. The conference proceedings will be published in the ACM Digital Library. This year's focus will be directed towards integrated solutions, including mobile computing. We especially invite submissions in the following areas: * Pervasive computing Interoperability Portability Implementation * challenges/tradeoffs for embedded/mobile platforms Language * support for mobile toolkits and frameworks Language support for * distribution Language support for reliability, availability, and * serviceability Mobile IDEs Mobile applications Contributions are also welcome in other areas, including but not limited to: * Language design and implementation Language integration, * inter-operation and deployment Applications (especially * commercial) Reflection, meta-object protocols, meta-programming * Domain-specific languages Programming paradigms and environments * Efficient parallel and concurrent computation Language support for * managing both manual and automatic GC Theorem proving Scientific * computing Data mining Semantic web Technical Programme: Original submissions in all areas related to the conference themes are invited for the following categories: Papers: Technical papers of up to 10 pages that describe original results. Demonstrations: Abstracts of up to 2 pages for demonstrations of tools, libraries and applications. Workshops: Abstracts of up to 2 pages for groups of people who intend to work on a focused topic for half a day. Tutorials: Abstracts of up to 2 pages for in-depth presentations about topics of special interest for 1 to 2 hours. Panel discussions: Abstracts of up to 2 pages for discussions about current themes. Panel discussion proposals must mention panel member who are willing to partake in a discussion. The conference will also provide slots for lightning talks, to be registered on-site every day. For inquiries about any other kind of participation (commercial exhibits, advertising, prizes, book signing etc.), please see the contacts below. Important Dates: - May 25, 2014: Submission deadline *** EXTENDED *** - June 09, 2014: Notification of acceptance - June 29, 2014: Final Papers due - August 14, 2014: Conference All submissions should be formatted following the ACM SIGS guidelines and include ACM classification categories and terms. For more information on the submission guidelines and the ACM keywords, see: http://www.acm.org/sigs/publications/proceedings-templates and http://www.acm.org/about/class/1998. Submissions should be uploaded to Easy Chair, at the following address: https://www.easychair.org/conferences/?conf=ilc14 Organizing Committee: General Chair: Marc Feeley (Université de Montréal, Montréal, Canada) Programme Chair: Didier Verna (EPITA Research lab, Paris, France) Local chair: Marc Feeley (Université de Montréal, Montréal, Canada) Programme Committee: Charlotte Herzeel, IMEC, ExaScience Life Lab, Belgium Damir Cavar, Eastern Michigan University, USA Dave Herman, Mozilla Research, USA Greg Pfeil, Clozure Associates, USA Irène Anne Durand, LaBRI University of Bordeaux, France Jim Newton, Cadence Design Systems, France Kuroda Hisao, Mathematical Systems Inc., Japan Matthew Might, University of Utah, USA Nicolas Neuss, Friedrich Alexander Universitat, Germany Ralf Möller, TUHH, Germany Sam Tobin-Hochstadt, Northeastern University, USA William Byrd, University of Utah, USA Contacts: * General Questions: ilc14-organizing-committee at alu.org * Programme Committee: ilc14 at easychair.org For more information, see http://www.international-lisp-conference.org -- Resistance is futile. You will be jazzimilated. Lisp, Jazz, Aïkido: http://www.didierverna.info

10 years, 7 months

[CfP] International Lisp Conference 2014, Aug. 14-17, Montreal

by Didier Verna

ILC 2014 - International Lisp Conference "Lisp on the Move" August 14-17 2014, Université de Montréal, Montréal, Canada Sponsored by the Association of Lisp Users In cooperation with: ACM SIGPLAN http://www.international-lisp-conference.org Scope: Lisp is one of the greatest ideas from computer science and a major influence for almost all programming languages and for all sufficiently complex software applications. The International Lisp Conference is a forum for the discussion of Lisp and, in particular, the design, implementation and application of any of the Lisp dialects. We encourage everyone interested in Lisp to participate. We invite high quality submissions in all areas involving Lisp dialects and any other languages in the Lisp family, including, but not limited to, ACL2, AutoLisp, Clojure, Common Lisp, ECMAScript, Dylan, Emacs Lisp, ISLISP, Racket, Scheme, SKILL, HOP etc. The conference proceedings will be published in the ACM Digital Library. This year's focus will be directed towards integrated solutions, including mobile computing. We especially invite submissions in the following areas: * Pervasive computing Interoperability Portability Implementation * challenges/tradeoffs for embedded/mobile platforms Language * support for mobile toolkits and frameworks Language support for * distribution Language support for reliability, availability, and * serviceability Mobile IDEs Mobile applications Contributions are also welcome in other areas, including but not limited to: * Language design and implementation Language integration, * inter-operation and deployment Applications (especially * commercial) Reflection, meta-object protocols, meta-programming * Domain-specific languages Programming paradigms and environments * Efficient parallel and concurrent computation Language support for * managing both manual and automatic GC Theorem proving Scientific * computing Data mining Semantic web Technical Programme: Original submissions in all areas related to the conference themes are invited for the following categories: Papers: Technical papers of up to 10 pages that describe original results. Demonstrations: Abstracts of up to 2 pages for demonstrations of tools, libraries and applications. Workshops: Abstracts of up to 2 pages for groups of people who intend to work on a focused topic for half a day. Tutorials: Abstracts of up to 2 pages for in-depth presentations about topics of special interest for 1 to 2 hours. Panel discussions: Abstracts of up to 2 pages for discussions about current themes. Panel discussion proposals must mention panel member who are willing to partake in a discussion. The conference will also provide slots for lightning talks, to be registered on-site every day. For inquiries about any other kind of participation (commercial exhibits, advertising, prizes, book signing etc.), please see the contacts below. Important Dates: - May 18, 2014: Submission deadline - June 09, 2014: Notification of acceptance - June 29, 2014: Final Papers due - August 14, 2014: Conference All submissions should be formatted following the ACM SIGS guidelines and include ACM classification categories and terms. For more information on the submission guidelines and the ACM keywords, see: http://www.acm.org/sigs/publications/proceedings-templates and http://www.acm.org/about/class/1998. Submissions should be uploaded to Easy Chair, at the following address: https://www.easychair.org/conferences/?conf=ilc14 Organizing Committee: General Chair: Marc Feeley (Université de Montréal, Montréal, Canada) Programme Chair: Didier Verna (EPITA Research lab, Paris, France) Local chair: Marc Feeley (Université de Montréal, Montréal, Canada) Programme Committee: Charlotte Herzeel, IMEC, ExaScience Life Lab, Belgium Damir Cavar, Eastern Michigan University, USA Dave Herman, Mozilla Research, USA Greg Pfeil, Clozure Associates, USA Irène Anne Durand, LaBRI University of Bordeaux, France Jim Newton, Cadence Design Systems, France Kuroda Hisao, Mathematical Systems Inc., Japan Matthew Might, University of Utah, USA Nicolas Neuss, Friedrich Alexander Universitat, Germany Ralf Möller, TUHH, Germany Sam Tobin-Hochstadt, Northeastern University, USA William Byrd, University of Utah, USA Contacts: * General Questions: ilc14-organizing-committee at alu.org * Programme Committee: ilc14 at easychair.org For more information, see http://www.international-lisp-conference.org -- Resistance is futile. You will be jazzimilated. Lisp, Jazz, Aïkido: http://www.didierverna.info

10 years, 7 months

[Seminaire-LRDE] Mercredi 14 mai 2014 : Patrick Foubet, gérant et directeur technique de SERIANE

by Daniela Becker

Chers collègues, La prochaine session du séminaire Performance et Généricité du LRDE (Laboratoire de Recherche et Développement de l'EPITA) aura lieu le Mercredi 14 mai 2014 (11h--12h30), Salle L0, LRDE. Au programme: * 11h: Nife : du Forth pour l'embarqué -- Patrick Foubet, gérant et directeur technique de SERIANE http://www.seriane.fr/nife/ Nife est un langage de programmation ``Forth-like'': basé sur les principes du langage Forth, défini par Charles H. Moore dans les années 1960, il n'en reprend pas la totalité des fonctionnalités. Son ambition est d'offrir aux non-informaticiens qui ont besoin de faire des mesures, de contrôler des appareils distants, de surveiller des processus industriels, de manipuler des grandes collections de données, de faire des calculs, des filtrages, des statistiques, de pouvoir le réaliser facilement, dans un environnement Linux à faible coût. Simple, n'importe qui peut comprendre le fonctionnement de ce langage en quelques minutes, et le maîtriser totalement en quelques heures --- une semaine tout au plus. Il peut aussi être utilisé plus modestement comme une super calculatrice, pour faire ses comptes ou des calculs d'inversion de matrice. Le public concerné est donc très large. Une extension de Nife pour les systèmes embarqués lui permet de pouvoir être directement chargé sur de petites ou moyennes unités de calcul. Pour cela, on lui associe un noyau ``bootable'' et il devient Knife : Kernelable Nife. Dans ce cas, il devient un outil puissant pour coder dans des environnements où la mémoire est denrée rare, et où le côté ``langage dynamique'' va permettre de résoudre des problèmes là où d'autres langages vont échouer. -- Patrick Foubet commence l'informatique en 1978 dans une SSII parisienne. Il y développe des applications de gestion en Cobol et en Fortran sur des main-frames IBM (DOS-VSE) et Bull (Gcos), mais aussi en assembleur sur des mini-ordinateurs Computer Automation et Data General. En 1986 il passe au CNAM un DEA en IA. Il y enseigne ainsi qu'au CEPIA, centre de formation de l'INRIA. En 1988, il crée la société SERIANE et développe des applications industrielles : bancs de tests, acquisition de données, traitement du signal, systèmes temps-réel et embarqués. Ses clients comptent le CEA, Thomson, la RATP, Michelin, PSA, etc. C'est dans cette période qu'il crée son propre système temps-réel sous DPMI et son interface graphique SerView. En 1996, il passe au CNAM un second DEA en ``Construction de Programmes''. Il apprend la Méthode B avec Jean-Raymond Abrial. Entre 2003 et 2012, il est consultant auprès du CEA/DAM dans le cadre du projet Laser MégaJoule. Dans le même temps, il enseigne dans des écoles de la région parisienne: ECE, EFREI, EPSI, ESME-Sudria, ESIGETEL, INGESUP, INSIA, ITIN, etc. Il a libéré une partie du code qu'il a développé lors de ses travaux et qu'il a utilisé pour écrire son langage Nife. Pour plus de renseignements, consultez http://seminaire.lrde.epita.fr/. L'entrée du séminaire est libre. Merci de bien vouloir diffuser cette information le plus largement possible. -- Akim Demaille Akim.Demaille(a)lrde.epita.fr _______________________________________________ Seminaire mailing list Seminaire(a)lrde.epita.fr https://lists.lrde.epita.fr/listinfo/seminaire

10 years, 7 months

publication: Mechanizing the Minimization of Deterministic Generalized Büchi Automata (FORTE'14)

by Alexandre Duret-Lutz

I am happy to announce that the following paper has been accepted in the Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'14), to be held in Berlin on June 3–6. Mechanizing the Minimization of Deterministic Generalized Büchi Automata Souheib Baarir (1,2) and Alexandre Duret-Lutz (3) (1) Université Paris Ouest Nanterre la Défense (2) Sorbonne Universités, UPMC Univ. Paris 6, LIP6 (3) EPITA, LRDE https://www.lrde.epita.fr/wiki/Publications/baarir.14.forte Abstract: Deterministic Büchi automata (DBA) are useful to (probabilistic) model checking and synthesis. We survey techniques used to obtain and minimize DBAs for different classes of properties. We extend these techniques to support DBA that have generalized and transition-based acceptance (DTGBA) as they can be even smaller. Our minimization technique—a reduction to a SAT problem—synthesizes a DTGBA equivalent to the input DTGBA for any given number of states and number of acceptance sets (assuming such automaton exists). We present benchmarks using a framework that implements all these techniques. -- Alexandre Duret-Lutz

10 years, 9 months

L'air de rien 30.0

by Daniela Becker

Bonjour, nous avons le plaisir de vous annoncer la sortie du n°30 du bulletin du LRDE. Ce numéro résume les dernières bonnes nouvelles du LRDE, les avancées du projet Vaucanson 2 et les dernières publications du labo. Vous pouvez télécharger le bulletin en couleur à la page suivante : https://www.lrde.epita.fr/wiki/Latest_issue -- Daniela Becker Responsable administrative du LRDE

10 years, 9 months

[CfP] DEADLINE EXTENSION - 7th European Lisp Symposium

by Didier Verna

ELS'14 - 7th European Lisp Symposium IRCAM, Paris, France May 5-6, 2014 http://www.european-lisp-symposium.org/ Sponsored by IRCAM, CNRS, UPMC, EPITA, LispWorks, Franz Inc. Latest News: * SUBMISSION DEADLINE EXTENDED. You have two more week to submit! * Registration is now open. Early registration fee until April 13. See http://www.european-lisp-symposium.org/content-registration-full.html The purpose of the European Lisp Symposium is to provide a forum for the discussion and dissemination of all aspects of design, implementation and application of any of the Lisp and Lisp-inspired dialects, including Common Lisp, Scheme, Emacs Lisp, AutoLisp, ISLISP, Dylan, Clojure, ACL2, ECMAScript, Racket, SKILL, Hop and so on. We encourage everyone interested in Lisp to participate. The 7th European Lisp Symposium invites high quality papers about novel research results, insights and lessons learned from practical applications, and educational perspectives. We also encourage submissions about known ideas as long as they are presented in a new setting and/or in a highly elegant way. Topics include but are not limited to: - Context-, aspect-, domain-oriented and generative programming - Macro-, reflective-, meta- and/or rule-based development approaches - Language design and implementation - Language integration, inter-operation and deployment - Development methodologies, support and environments - Educational approaches and perspectives - Experience reports and case studies Please note that IRCAM, the conference venue, is a French institute for research on music and acoustics. Submissions relating Lisp to music or other acoustical matters will hence be particularly welcome, although given no heightened favor during the review process. We invite submissions in the following forms: Papers: Technical papers of up to 8 pages that describe original results or explain known ideas in new and elegant ways. Demonstrations: Abstracts of up to 2 pages for demonstrations of tools, libraries, and applications. Tutorials: Abstracts of up to 4 pages for in-depth presentations about topics of special interest for at least 90 minutes and up to 180 minutes. The symposium will also provide slots for lightning talks, to be registered on-site every day. All submissions should be formatted following the ACM SIGS guidelines and include ACM classification categories and terms. For more information on the submission guidelines and the ACM keywords, see: http://www.acm.org/sigs/publications/proceedings-templates and http://www.acm.org/about/class/1998. Important dates: - TODAY: Mark your calendar. Start planning now! - 23 Mar 2014: Submission deadline **** EXTENDED **** - 31 Mar 2014: Notification of acceptance - 13 Apr 2014: Early registration deadline - 21 Apr 2014: Final Papers due - 05 May 2014: Symposium. Join us there! Programme chair: Kent Pitman, Hypermeta Inc., U.S.A. Local chairs: Didier Verna, EPITA Research Lab, France Gérard Assayag, IRCAM, Paris, France Programme committee: Marie Beurton-Aimar — LaBRI, University of Bordeaux, France Pierre Parquier — IBM France Lab, Paris, France Rainer Joswig — Hamburg, Germany Guiseppe Attardi — Università di Pisa, Italy Taiichi Yuasa — Kyoto University, Japan António Leitão — IST/Universidade de Lisboa, Portugal Christophe Rhodes — Goldsmiths, University of London, UK Olin Shivers — Northeastern University, USA Charlotte Herzeel — IMEC, ExaScience Life Lab, Leuven, Belgium Local organizers: Daniela Becker, EPITA Research Lab, France Sylvie Benoit, IRCAM, Paris, France Search Keywords: #els2014, ELS 2014, ELS '14, European Lisp Symposium 2014, European Lisp Symposium '14, 7th ELS, 7th European Lisp Symposium, European Lisp Conference 2014, European Lisp Conference '14 Ircam STMS Lab, IRCAM / CNRS / UPMC -- Resistance is futile. You will be jazzimilated. Lisp, Jazz, Aïkido: http://www.didierverna.info

10 years, 9 months

Prochain séminaire MeFoSyLoMa le 28 mars au LRDE (EPITA)

by Alexandre Duret-Lutz

======================================================================== Séminaire MeFoSyLoMa http://www.mefosyloma.fr/ Méthodes Formelles pour les Systèmes Logiciels et Matériels vendredi 28 Mars 2014, 14h-17h Adresse: LRDE (EPITA), Salle Alpha Bâtiment X, 2e étage 18 rue Pasteur, 94270 Le Kremlin-Bicêtre Métro Porte d'Italie Plans d'accès : https://www.google.com/maps?q=48.8152808,2.3623765 https://www.lrde.epita.fr/~adl/dl/access-lrde.pdf ======================================================================== Le séminaire MeFoSyLoMa est animé conjointement par les laboratoires Cedric (Cnam), IBISC (Univ. Evry), LACL (Univ. Paris 12), LIP6 (UPMC), LIPN (Univ. Paris 13), LRDE (Epita), LSV (École Normale Supérieure de Cachan) et LTCI (TELECOM ParisTech). Son objet est de permettre la confrontation de différentes approches ou points de vue sur l'utilisation des méthodes formelles dans les domaines du génie logiciel, de la conception de circuit, des systèmes répartis, des systèmes temps-réel ou encore des systèmes d'information. Il s'organise autour de réunions bimestrielles où sont exposés des travaux de recherche récents sur ce thème. ======================================================================== Programme 14h00-15h00 Laura Carnevali - Université de Florence, "Quantitative evaluation of non-Markovian models through the approach of stochastic state classes: applications and future issues" Abstract: The method of stochastic state classes supports steady state and transient analysis of models that encompass multiple timers with general distribution and possibly bounded support. When the model underlies a Markov Regenerative Process (MRP) that always reaches a regeneration point within a finite number of steps, transient analysis can be limited to the first regeneration epoch and repeated from every regenerative point. This supports efficient derivation of the local and global kernels that characterize the MRP behavior and enables transient evaluation through the numerical integration of generalized Markov renewal equations. Applications of the approach through the Oris Tool are illustrated referring to the evaluation of availability measures for maintenance procedures. Future research directions are discussed in the area of probabilistic schedulability analysis of real-time systems. 15h00-15h30 Ridha Benosman - CNAM, "Conception et Évaluation de Performances d'un Bus Applicatif Parallèle et Orienté Service" Abstract: De nombreuses solutions d'intégration d'applications à base d'ESB on été proposées. Cependant, ces solutions d'intégration ne supportent pas le traitement parallèle. et ne tirent donc pas profit des technologies multicoeurs. Nous proposons une solution de type "bus" permettant le traitement parallèle. Pour cela, nous avons conçu et mis en oeuvre : un mécanisme de multiplexage/démultiplexage en mesure de contrôler la circulation du flux de données, un allocateur dynamique de mémoires partagées répondant à certaines limitations du standard des mémoires IPC et un nouveau connecteur permettant à l'ensemble des threads d'une même application mère de fonctionner simultanément sur des zones mémoires complètement disjointes. 15h30-16h00: Pause café 16h00-16h30: Vie du groupe ======================================================================== -- Alexandre Duret-Lutz

10 years, 9 months

← Newer
1
...
24
25
26
27
28
29
30
...
57
Older →

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

Annonce