Annonce

annonce@lrde.epita.fr

1 participants
563 discussions

Milena intégrée à la distribution Linux Mandriva

by Guillaume Lazzara

L'équipe Olena a le plaisir de vous annoncer que la version 1.0 de la bibliothèque de traitement d'image, Milena, a été intégrée à la distribution Linux Mandriva. Milena fera partie de la prochaine version de la distribution, Mandriva 2010.0, prévue pour le mois de novembre 2009. Les packages RPMs sont déjà disponibles à cette adresse : http://doc4.mandriva.org/bin/view/doc42/package/63eeb0d7e033fba7fdc6fe7b83c… -- Guillaume Lazzara

15 years, 3 months

FiXme 3.4 is released

by Didier Verna

Hello, I'm happy to announce the release of FiXme version 3.4. What's new in this version: * \fixme, \fxerror, \fxwarning and \fxnote are now robust * Fix incompatibility with KOMA-Script classes Grab it directly here: http://www.lrde.epita.fr/~didier/software/latex.php#fixme or wait until it propagates through CTAN... FiXme provides you with a way of inserting fixme notes in documents. Such notes can appear in the margin of the document, as index entries, in the log file and as warnings on stdout. It is also possible to summarize them in a list, and in the index. When you switch from draft to final mode, any remaining fixme note will be logged, but removed from the document's body. Additionally, critical notes will abort compilation with an informative message. FiXme also comes with support for AUC-TeX. -- Resistance is futile. You will be jazzimilated. Scientific site: http://www.lrde.epita.fr/~didier Music (Jazz) site: http://www.didierverna.com EPITA/LRDE, 14-16 rue Voltaire, 94276 Le Kremlin-Bicêtre, France Tel. +33 (0)1 44 08 01 85 Fax. +33 (0)1 53 14 59 22

15 years, 5 months

Olena 1.0 released

by Roland Levillain

The Olena Team is proud to announce the release of Olena 1.0. Olena is a platform dedicated to image processing and pattern recognition. Its core component is a generic and efficient C++ library called Milena. Milena provides a framework to implement simple, fast, safe, reusable and extensible image processing tool chains. The library provides many ready-to-use image data structures (regular 1D, 2D, 3D images, graph-based images, etc.) and algorithms. Milena's algorithms are built upon classical entities from the image processing field (images, points/sites, domains, neighborhoods, etc.). This design allows image processing developers and practitioners to easily understand, modify, develop and extend new algorithms while retaining the core traits of Milena: genericity and efficiency. The package also features Swilena, an optional component exposing Milena to other languages thanks to the Simplified Wrapper and Interface Generator (SWIG). For the moment, only some Python bindings are provided. The Olena platform is Free Software. It is distributed under the conditions of the GNU General Public License (GPL) version 2. See the file COPYING shipped with the Olena distribution. Release notes are available at: http://olena.lrde.epita.fr/Olena100 You can download packages of the Olena 1.0 distribution here: http://www.lrde.epita.fr/dload/olena/1.0/olena-1.0.tar.gz (25MB) http://www.lrde.epita.fr/dload/olena/1.0/olena-1.0.tar.bz2 (21MB) The SHA1 digests of theses packages are: 33fc3a327db3f4f68c882d3b2462b83841425628 olena-1.0.tar.gz 2c6ba36d4a156156f7d5ea8f2e1f02bbec9c9098 olena-1.0.tar.bz2 Here is a list of major changes since Olena 0.11: * The core C++ library, renamed to Milena, has been rewritten from scratch and features numerous additions over the past releases. Some features have also been dropped or disabled, and some of them will be reintegrated in future releases. The programming interface has changed from previous versions, but most programs using Olena 0.11 can be adapted to the Olena 1.0 API. * Milena uses a simplified version of the SCOOP 2 paradigm (informally called SCOOP 1.5), to improve the speed of compilation and make developing easier while still providing very good run-time performances. * A first (re)implementation of Swilena featuring Python wrappers for a very small subset of Milena is available. The bundled Swilena Python Shell (sps) allows interactive Olena sessions. * A reference documentation including a tutorial and a quick reference guide have been started. They do not cover the whole Milena library yet. * Olena includes some demos and applications using Milena. The file NEWS, included in the archive, contains a more complete list of user-visible changes. Please report any problem by mail to <olena-bugs(a)lrde.epita.fr>. -- Roland Levillain - LRDE/EPITA - A3SI/ESIEE/IGM/UMLV-Paris Est EPITA Research and Development Laboratory (LRDE) 14-16, rue Voltaire - FR-94276 Le Kremlin-Bicêtre Cedex - France Phone: +33 1 53 14 59 45 - Fax: +33 1 53 14 59 22 - www.lrde.epita.fr

15 years, 5 months

[Final CfPart] 6th European Lisp Workshop, July 6th, Genova, Italy

by Didier Verna

+------------------------------------------------------------+ | FINAL CALL FOR PARTICIPATION | | 6th European Lisp Workshop | | July 6, Genova, Italy - co-located with ECOOP 2009 | | http://elw.bknr.net/2009 | +------------------------------------------------------------+ Important Dates =============== ECOOP late registration deadline: July 03, 2009 6th European Lisp Workshop: July 06, 2009 Please note that registration must be done with ECOOP itself. There is a reduced registration fee for workshop-only attendance. The early registration deadline is in two days, so register now! See http://ecoop09.disi.unige.it/ for details. 2009 Special News ================= * Edi Weitz will give a keynote address on the use of his notorious open source libraries in commercial / industrial application. * The workshop is sponsored by ITA Software, Inc. Please visit them at http://www.itasoftware.com/ * This year, and for the first time, the workshop proceedings will be published in the ACM Digital Library. Overview ======== "...Please don't assume Lisp is only useful for Animation and Graphics, AI, Bio-informatics, B2B and E-Commerce, Data Mining, EDA/Semiconductor applications, Expert Systems, Finance, Intelligent Agents, Knowledge Management, Mechanical CAD, Modeling and Simulation, Natural Language, Optimization, Research, Risk Analysis, Scheduling, Telecom, and Web Authoring just because these are the only things they happened to list." -- Kent Pitman Lisp, one of the eldest computer languages still in use today, is gaining momentum again. The structure of Lisp makes it easy to extend the language or even to implement entirely new dialects without starting from scratch, making it the ideal candidate for writing Domain Specific Languages. Common Lisp, with the Common Lisp Object System (CLOS), was the first object-oriented programming language to receive an ANSI standard and retains the most complete and advanced object system of any programming language, while influencing many other object-oriented programming languages that followed. This workshop will address the near-future role of Lisp-based languages in research, industry and education. We solicit contributions that discuss the opportunities Lisp provides to capture and enhance the possibilities in software engineering. We want to promote lively discussion between researchers proposing new approaches and practitioners reporting on their experience with the strengths and limitations of current Lisp technologies. Programme ========= In addition to Edi Weitz's keynote address, the workshop will feature four technical papers and two tutorials. Please visit the programme web page (http://elw2009.bknr.net/programme) for a detailed description. Organizers ========== Didier Verna, EPITA Research and Development Laboratory, Paris Charlotte Herzeel, Programming Technology Lab, Vrije Universiteit, Brussel Robert Strandh, LaBRI, University of Bordeaux I, France Christophe Rhodes, Goldsmiths College, University of London Hans Hübner, Software Developer, Berlin -- Resistance is futile. You will be jazzimilated. Scientific site: http://www.lrde.epita.fr/~didier Music (Jazz) site: http://www.didierverna.com EPITA/LRDE, 14-16 rue Voltaire, 94276 Le Kremlin-Bicêtre, France Tel. +33 (0)1 44 08 01 85 Fax. +33 (0)1 53 14 59 22

15 years, 6 months

Publication: ATVA'09: On-the-fly Emptiness Check of Transition-based Streett Automata

by Alexandre Duret-Lutz

We are happy to announce that the following paper has been accepted for publication at the 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09) that will take place at Macao on 14-16 October 2009. Alexandre Duret-Lutz (1) Denis Poitrenaud (2) Jean-Michel Couvreur (3) On-the-fly Emptiness Check of Transition-based Streett Automata http://publis.lrde.epita.fr/200910-ATVA (1) EPITA Research and Development Laboratory (LRDE) (2) Laboratoire d'Informatique de Paris 6 (LIP6) (3) Laboratoire d'Informatique Fondamentale d'Orléans (LIFO) In the automata theoretic approach to model checking, checking a state-space S against a linear-time property F can be done in O(|S|\times 2^O(|F|)) time. When model checking under n strong fairness hypotheses expressed as a Generalized Büchi automaton, this complexity becomes O(|S|*2^O(|F|+n)). Here we describe an algorithm to check the emptiness of Streett automata, which allows model checking under n strong fairness hypotheses in O(|S|*2^O(|F|)*n). We focus on transition-based Streett automata, because it allows us to express strong fairness hypotheses by injecting Streett acceptance conditions into the state-space without any blowup. -- Alexandre Duret-Lutz

15 years, 6 months

Publications: INTERSPEECH 2009

by Daniela Becker

We are happy to announce that the following papers have been accepted for publication at the 10th Annual Conference of the International Speech Communication Association (INTERSPEECH 2009) that will take place in Brighton, UK, 6-10 September 2009. 1) "Cepstral and Long-Term Features for Emotion Recognition", presented at Special Session: INTERSPEECH 2009 Emotion Challenge http://publis.lrde.epita.fr/200909-INTERSPEECH-A 2) "Support Vector Machines versus Fast Scoring in the Low-Dimensional Total Variability Space for Speaker Verification" http://publis.lrde.epita.fr/200909-INTERSPEECH-B -- Daniela Becker Responsable administrative du LRDE

15 years, 6 months

New publication: ELW'08 Workshop Reader

by Didier Verna

It is my pleasure to inform you that the following paper has just been published: Report on the 5th Workshop ELW at ECOOP 2008. ¨ Didier Verna, Charlotte Herzeel, Christophe Rhodes. and Hans Hübner (2008). In Eugster, P editor, Object-Oriented Technology. ECOOP 2008 Workshop Reader, volume 5475 of Lecture Notes in Computer Science, pages 16. Springer. http://www.springer.com/computer/programming/book/978-3-642-02046-9. -- European Lisp Workshop, July 6th, Genova, Italy: http://elw.bknr.net/2009 Scientific site: http://www.lrde.epita.fr/~didier Music (Jazz) site: http://www.didierverna.com EPITA/LRDE, 14-16 rue Voltaire, 94276 Le Kremlin-Bicêtre, France Tel. +33 (0)1 44 08 01 85 Fax. +33 (0)1 53 14 59 22

15 years, 6 months

Séminaire Performance et Généricité du LRDE le Mercredi 27 mai 2009

by Akim Demaille

The following message is a courtesy copy of an article that has been posted to lrde.annonce,epita.adm.adm,epita.adm,iit.adm,fr.comp.developpement,fr.comp.lang.c++,fr.comp.lang.general,fr.comp.objet as well. 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 27 mai 2009 (14h-17h). Au programme: * 14h: VMKit, LLVM et Clang: les prochaines générations de compilateurs -- Nicolas Geoffray, Lip6/INRIA/Regal http://pagesperso-systeme.lip6.fr/Nicolas.Geoffray/ La Low-Level Virtual Machine (LLVM) est un ensemble de bibliothèques et d'outils qui facilitent le développement et l'optimisation de compilateurs, de générateurs de code et de machines virtuelles. Clang et VMKit utilisent LLVM pour leur générateur de code à différents niveaux: l'un pour la compilation statique de langages de la famille C (C/C++/ObjectiveC), et l'autre pour la compilation dynamique d'applications Java ou .Net. Dans cet exposé, je présenterai ces trois projets, et rentrerai dans les détails de VMKit, que j'ai développée dans le cadre de ma thèse. Je finirai par montrer les exemples de recherche auxquels nous nous adressons avec l'aide de VMKit, au sein de l'équipe de recherche INRIA/Regal. -- Nicolas Geoffray est doctorant à l'université Pierre et Marie Curie dans l'équipe mixte Lip6/INRIA Regal. Sa thèse porte sur les machines virtuelles applicatives et la manière dont elles sont utilisées dans les projets de recherche. La soutenance est prévue à la fin de l'année universitaire 2009. * 15h15: AutoVM: repousser les frontières de la généricité -- Gaël Thomas, REGAL/Lip6/Inria http://pagesperso-systeme.lip6.fr/Gael.Thomas/ Avec l'avènement du Web et des applications réparties, les machines virtuelles applicatives sont devenues le support d'exécution de choix pour la plupart des applications. Développer et optimiser une machine virtuelle est un travail long et difficile qui requiert plusieurs années. Il s'avère que la plupart des machines virtuelles possèdent des composants communs: compilateur à la volée, ramasse-miettes, vérifieur de type, gestionnaire de threads, gestionnaire d'entrées/sorties, éditeur de liens paresseux, chargeur dynamique de code. AutoVM est une machine virtuelle générique qui factorise ces composants communs et facilite le développement de nouvelles machines virtuelles, ou l'amélioration de machines virtuelles existantes. Dans cet exposé, je présenterai l'architecture logicielle de notre prototype AutoVM et montrerai sa généricité et son extensibilité. -- Gaël Thomas est maître de conférences à l'université Pierre et Marie Curie dans l'équipe mixte Regal/Lip6/Inria depuis trois ans. Ses travaux de recherche portent sur la gestion des ressources, l'isolation et la gestion de la concurrence dans les machines virtuelles. 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.

15 years, 7 months

[CfPart] 6th European Lisp Workshop at ECOOP, July 6th 2009

by Didier Verna

Apologies for multiple reception. Please forward, to any person you think might be interested. +------------------------------------------------------------+ | CALL FOR PARTICIPATION | | 6th European Lisp Workshop | | July 6, Genova, Italy - co-located with ECOOP 2009 | | http://elw.bknr.net/2009 | +------------------------------------------------------------+ Important Dates =============== ECOOP early registration deadline: May 20, 2009 ECOOP late registration deadline: July 03, 2009 6th European Lisp Workshop: July 06, 2009 Please note that registration must be done with ECOOP itself. There is a reduced registration fee for workshop-only attendance. The early registration deadline is in two days, so register now! See http://ecoop09.disi.unige.it/ for details. 2009 Special News ================= * Edi Weitz will give a keynote address on the use of his notorious open source libraries in commercial / industrial application. * The workshop is sponsored by ITA Software, Inc. Please visit them at http://www.itasoftware.com/ * This year, and for the first time, the workshop proceedings will be published in the ACM Digital Library. Overview ======== "...Please don't assume Lisp is only useful for Animation and Graphics, AI, Bio-informatics, B2B and E-Commerce, Data Mining, EDA/Semiconductor applications, Expert Systems, Finance, Intelligent Agents, Knowledge Management, Mechanical CAD, Modeling and Simulation, Natural Language, Optimization, Research, Risk Analysis, Scheduling, Telecom, and Web Authoring just because these are the only things they happened to list." -- Kent Pitman Lisp, one of the eldest computer languages still in use today, is gaining momentum again. The structure of Lisp makes it easy to extend the language or even to implement entirely new dialects without starting from scratch, making it the ideal candidate for writing Domain Specific Languages. Common Lisp, with the Common Lisp Object System (CLOS), was the first object-oriented programming language to receive an ANSI standard and retains the most complete and advanced object system of any programming language, while influencing many other object-oriented programming languages that followed. This workshop will address the near-future role of Lisp-based languages in research, industry and education. We solicit contributions that discuss the opportunities Lisp provides to capture and enhance the possibilities in software engineering. We want to promote lively discussion between researchers proposing new approaches and practitioners reporting on their experience with the strengths and limitations of current Lisp technologies. Programme ========= In addition to Edi Weitz's keynote address, the workshop will feature: - technical papers on tools to interface modelling in biology, an infrastructure for offline work in web applications and a denotational semantics for modelling the class relationships of CLOS and its MOP, - tutorials on filtered dispatch and SWCLOS, a semantic web processor. Please visit the workshop's website in the next few days for a more detailed description. Organizers ========== Didier Verna, EPITA Research and Development Laboratory, Paris Charlotte Herzeel, Programming Technology Lab, Vrije Universiteit, Brussel Robert Strandh, LaBRI, University of Bordeaux I, France Christophe Rhodes, Goldsmiths College, University of London Hans Hübner, Software Developer, Berlin -- Scientific site: http://www.lrde.epita.fr/~didier Music (Jazz) site: http://www.didierverna.com EPITA/LRDE, 14-16 rue Voltaire, 94276 Le Kremlin-Bicêtre, France Tel. +33 (0)1 44 08 01 85 Fax. +33 (0)1 53 14 59 22

15 years, 7 months

[Séminaire des étudiants CSI] : mercredi 20 mai 2009

by Daniela Becker

Bonjour, nous avons le plaisir de vous inviter à la deuxième session du séminaire des étudiants CSI qui aura lieu le mercredi 20 mai 2009 à 14 heures en Amphi 2 au KB. ----------------------------------------------------------------------- Le programme : VAUCANSON * 14h00 : Hiérarchie par propriétés du module Algebra de Vaucanson -– Alex Hamelin OLENA * 14h30 : Histogrammes -– Etienne Folio * 15h00 : Les arbres de composantes dans Milena -– Edwin Carlinet SPOT * 15h45 : Nondéterminisation d’automates alternants dans SPOT -– Samuel Da Mota LISP 16h15 : CLIMB : Une approche dynamique du traitement générique d’images –- Loïc Denuzière ----------------------------------------------------------------------- Les Résumés des exposés : ************************** VAUCANSON 14h00 : Hiérarchie par propriétés du module Algebra de Vaucanson -– Alex Hamelin Le module de structures algébriques de Vaucanson, Algebra, sert de base à la définition mathématique des automates finis. Cependant la modélisation actuelle est inexacte du point de vue théorique : les relations d’héritages entre certaines classes sont fausses (l’héritage entre les semi-anneaux et les monoïdes en est le parfait exemple). D’autre part, nous ne pouvons facilement l’étendre avec de nouvelles structures algébriques. Ainsi, afin de doter Algebra d’une plus grande granularité dans sa définition des concepts algébriques, il est nécessaire de retravailler sa structure globale en introduisant un système de hiérarchie par propriétés similaire à celui présenté dans SCOOP. En se basant sur les propriétés des opérateurs et des ensembles mathématiques pour définir la nature des structures algébriques, et non sur une hiérarchie de classes classique, nous pourrons nous permettre une spécialisation plus précise des algorithmes grâce à la garantie de propriétés sur ces structures, entraînant ainsi un gain de performance et d’expressivité important au coeur de Vaucanson. OLENA 14h30 : Histogrammes -– Etienne Folio Un histogramme est une représentation de la distribution de données dans une image, par exemple des niveaux de gris ou des couleurs. Cette caractéristique essentielle doit être implémentée génériquement dans la bibliothèque MILENA. Durant ce séminaire nous proposons d’enregistrer les données d’histogrammes dans des conteneurs d’images. Pour cela, nous avons besoin d’adapter la définition des types de valeurs. Plus spécifiquement, nous proposons d’augmenter les traits associés aux types de valeurs, d’ajouter de nouveaux types de valeurs utiles et de construire de nouvelles abstractions au-dessus. Enfin nous présenterons comment traiter des données circulaires comme les valeurs de teinte (encodées par des angles dans l’espace de couleurs HSL) ; dans ce cas "l’image histogramme" deviendrait aussi circulaire. 15h00 : Les arbres de composantes dans Milena -– Edwin Carlinet La détection des formes et la reconnaissance d’objets font partie des enjeux les plus importants du traitement d’images. Différentes stratégies ont déjà vu le jour ; néanmoins celle basée sur l’utilisation des arbres de composantes semble particulièrement prometteuse. En effet, l’arbre de composantes permet d’établir puis de mettre en relation les composantes à différents niveaux de gris de l’image. À partir de cet arbre, il devient alors possible d’appliquer des attributs qui serviront de critères pour filtrer ces composantes et mettre en évidence les objets de l’image. Nous présenterons donc l’implémentation de ces arbres, l’utilisation des attributs et des politiques de propagation pour filtrer les composantes, ainsi que la chaîne de traitement qui permettra d’identifier ces objets. SPOT 15h45 : Nondéterminisation d’automates alternants dans SPOT -– Samuel Da Mota SPOT est une bibliothèque de model checking basée sur l’approche par automates et sur les automates de Büchi généralisés basés sur les transitions (TGBA) pour la vérification de systèmes exprimés sous forme de formules logiques. L’approche automate consiste à traduire une formule logique LTL en un automate qui reconnaît le même language. Dans l’état actuel des choses, il existe deux algorithmes dans SPOT de traduction de formules LTL vers des TGBA. Un troisième algorithme y sera rajouté. Ce dernier convertira dans un premier temps la formule LTL en un automate alternant, puis appliquera un algorithme de nondéterminisation sur celui-ci pour obtenir un TGBA. Le but de cette nouvelle implémentation est de mener une comparaison avec les deux autres déjà en place. Pour mener à bien cette tâche, la structure des automates alternants sera intégrée dans SPOT, puis ce sera au tour de l’algorithme de nondéterminisation d’automates alternants vers des TGBA et enfin la traduction de formules LTL sous forme d’automates alternants. LISP 16h15 : CLIMB : Une approche dynamique du traitement générique d’images –- Loïc Denuzière Olena est l’une des bibliothèques de traitement d’images dont la généricité est la plus poussée. Son modèle entièrement statique permet de très bonnes performances, au prix d’une syntaxe alourdie et de temps de compilation importants. Ces aspects la rendent moins efficace pour le développement incrémental, l’expérimentation et le prototypage rapide. Nous présenterons une approche différente du traitement d’images générique qui utilise la même modélisation du domaine qu’Olena mais se concentre sur les aspects dynamiques, offrant ainsi une utilisation totalement différente de la bibliothèque. La pierre angulaire est le langage Common Lisp qui permet une utilisation interactive, la création à la volée de nouveaux types d’images ou de nouveaux algorithmes, tout en offrant une syntaxe claire, personnalisable et extensible pour les opérations courantes. -- Daniela Becker

15 years, 7 months

← Newer
1
...
41
42
43
44
45
46
47
...
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