Annonce

annonce@lrde.epita.fr

564 discussions

ACCU 2012 session on language extensibility

by Didier Verna

Hello, and happy new year to all ! I'm pleased to announce that I will hold a 90 minutes session at the next ACCU conference in Oxford, April 2012. The session's topic is given below: Impact of Extensibility on Domain Specific Language Design and Implementation Domain-specific languages (DSLs) are usually very different from the general purpose language (GPL) in which the embedding application is written. The need for designing a DSL as a completely new language often comes from the lack of extensibility of the chosen GPL. By imposing a rigid syntax, a set of predefined operators and data structures, the traditional GPL approach leaves no choice but to implement a DSL as a different language, with its own lexical and syntactic parser, semantic analyzer and possibly its own brand new interpreter or even compiler. Some GPLs, however, are extensible or customizable enough to let one implement a DSL merely as either a subset or an extension of the original language. While the end-user does not see a difference with the traditional approach, the gain for the developer is substantial. Since the DSL is now just another entry point for the same original GPL, there is essentially only one application written in only one language to maintain. Moreover, no specific language infrastructure (parser, interpreter, compiler etc.) is required for the DSL anymore, since it is simply expressed in terms of the original GPL. The purpose of this presentation is to illustrate the most important factors that make a language truly extensible, and to show how extensibility impacts the process of DSL design and implementation. -- 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

13 years, 3 months

Le Rapport d'activité du LRDE disponible

by Daniela Becker

Bonjour, Nous avons le plaisir de vous annoncer que le Rapport d'activité du LRDE est désormais disponible sur notre site. Il retrace l'histoire et les activités du LRDE depuis sa création en 1998 jusqu'en 2010. Vous pouvez le télécharger ici : http://www.lrde.epita.fr/dload/rapport_activite/ra2010.pdf -- Daniela Becker Responsable administrative du LRDE

13 years, 3 months

Spot 0.8 has been released

by Alexandre Duret-Lutz

We are pleased to announce the release of Spot 0.8. Spot is a model-checking library developed collaboratively by LRDE and LIP6. It provides algorithms and data structures to implement the automata-theoretic approach to LTL model checking. Although this version contains a few new features, this should really be regarded as a maintenance release to fix a series of bugs that have been reported over the last few months. You can find the new release here: http://spot.lip6.fr/dl/spot-0.8.tar.gz New in spot 0.8 (2011-11-28): * Major new features: - Spot can read DiVinE models. See iface/dve2/README for details. - The genltl tool can now output 20 different LTL formula families. It also replaces the LTLcounter Perl scripts. - There is a printer and parser for Kripke structures in text format. * Major interface changes: - The destructor of all states is now private. Any code that looks like "delete some_state;" will cause an compile error and should be updated to "some_state->destroy();". This new syntax is supported since version 0.7. - The experimental Nips interface has been removed. * Minor changes: - The dotty_reachable() function has a new option "assume_sba" that can be used for rendering automata with state-based acceptance. In that case, acceptance states are displayed with a double circle. ltl2tgba (both command line and on-line) Use it to display degeneralized automata. - The dotty_reachable() function will also display transition annotations (as returned by the tgba::transitition_annotation()). This can be useful when displaying (small) state spaces. - Identifiers used to name atomic proposition can contain dots. E.g.: X.Y is now an atomic proposition, while it was understood as X&Y in previous versions. - The Doxygen documentation is no longer built as a PDF file. * Internal improvements: - The on-line ltl2tgba CGI script uses a cache to produce faster answers. - Better memory management for the states of explicit automata. Thanks to the aforementioned ->destroy() change, we can avoid cloning explicit states. - tgba_product has learned how to be faster when one of the operands is a Kripke structure (15% speedup). - The reduction rule for "a M b" has been improved: it can be reduced to "a & b" if "a" is a pure eventuallity. - More useless acceptance conditions are removed by SCC simplifications. * Bug fixes: - Safra complementation has been fixed in cases where more than one acceptance conditions where needed to convert the deterministic Streett automaton as a TGBA. - The degeneralization is now idempotent. Previously, degeneralizing an already degeneralized automaton could add some states. - The degeneralization now has a deterministic behavior. Previously it was possible to obtain different output depending on the memory layout. - Spot now outputs neverclaims with fully parenthesized guards. I.e., instead of (!x && y) -> goto S1 it now outputs ((!(x)) && (y)) -> goto S1 This prevents problems when the model defines `x' as #define x flag==0 because !x then evaluated to (!flag)==0 instead of !(flag==0). -- Alexandre Duret-Lutz

13 years, 4 months

Soutenance de thèse de Roland Levillain

by Daniela Becker

Bonjour à tous, Roland Levillain a le plaisir de vous inviter à sa soutenance de thèse intitulée « Vers une architecture logicielle pour le traitement d'images générique » (``Towards a Software Architecture for Generic Image Processing''). Celle-ci aura lieu le 15 novembre 2011 à 14h00 dans l'amphithéâtre 110 de l'ESIEE Paris, située au 2, boulevard Blaise Pascal, Cité Descartes, à Noisy-le-Grand (93). Vous trouverez un plan d'accès à l'école à l'adresse suivante : http://www.esiee-paris.fr/acces/ La soutenance sera suivie d'un pot. Composition du jury de thèse ---------------------------- Rapporteurs : * Jacques-Olivier Lachaud (Université de Savoie) * David Coeurjolly (CNRS-LIRIS) * Ullrich Köthe (Université de Heidelberg) Examinateurs : * Étienne Decencière (École des Mines de Paris) * Gilles Roussel (Université Paris-Est Marne-la-Vallée) * Karl Tombre (Inria Nancy - Grand Est) Directeurs de thèse : * Laurent Najman (ESIEE Paris - Université Paris-Est Marne-la-Vallée) * Thierry Géraud (EPITA) Résumé de la thèse ------------------ Dans le cadre du génie logiciel en traitement d'images (TDI), nous nous intéressons à la notion de réutilisabilité des algorithmes. Dans de nombreux outils logiciels, l'implémentation d'un algorithme est souvent dépendante du type des données traitées. Au sens le plus général, les formes que peuvent prendre les images numériques discrètes sont nombreuses (image 2D classiques, volumes 3D, graphes non réguliers, complexes cellulaires, etc.) conduisant à une explosion combinatoire du nombre théorique d'implémentations. La programmation générique (PG) est un cadre adapté au développement d'outils logiciels réutilisables. Nous présentons un paradigme de programmation basé sur la PG conçu pour la création de logiciels scientifiques tels ceux dédiés au TDI. Cette approche concilie réutilisabilité, puissance d'expression, extensibilité et performance. Nous proposons ensuite une architecture logicielle pour le TDI basée sur ce paradigme de programmation, s'appuyant sur une bibliothèque générique de TDI. Les fondations de ce cadre définissent des concepts fondamentaux du TDI, qui permettent l'écriture d'algorithmes réutilisables sur de nombreux types d'images. Nous présentons enfin une stratégie pour construire des outils haut niveau au dessus de cette bibliothèque tels que des ponts vers des langages dynamiques ou des interfaces graphiques. Ce mécanisme est conçu pour préserver la généricité et la performance des outils logiciels sous-jacents, tout en permettant un usage plus simple et plus flexible de ceux-ci. Amicalement, Roland Levillain -- Roland Levillain - LRDE/EPITA - A3SI/ESIEE/LIGM/Université Paris-Est Laboratoire de Recherche et Développement de l'EPITA (LRDE) 14-16, rue Voltaire - 94276 Le Kremlin-Bicêtre Cedex Tél. : 01 53 14 59 45 - Fax : 01 53 14 59 22 - www.lrde.epita.fr -- Daniela Becker Responsable administrative du LRDE

13 years, 4 months

[Seminaire-LRDE] Séminaire Performance et Généricité du LRDE le Mercredi 16 novembre 2011

by Jonathan Fabrizio

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 16 novembre 2011 (14h-16h). Au programme: * 14h: Interactive 2D and 3D Segmentation with ilastik -- Ullrich Köthe http://www.ilastik.org The ilastik system developed by our group uses machine learning and simple interaction techniques to empower users without special image processing expertise to segment and analyze their 2- and 3-dimensional image data on their own. It offers a number of easy-to-use workflows for various common analysis tasks. The talk will present two of these workflows (“interactive classification” and “region carving”), going from an online demonstration of the high-level user experience down to the algorithmic and software design details. Special emphasis will be put on aspects of genericity and parallelization which facilitate convenient adaptation of basic building blocks to different contexts without loss of performance. Examples from challenging biological applications will illustrate our system's capabilities. -- Ullrich Köthe is a senior researcher in the Multidimensional Image Processing Group at the Interdisciplinary Centre for Scientific Computing of the University of Heidelberg, Germany, where he heads advanced research on image and data analysis for industry and the life sciences. Formerly, he was with the Cognitive Systems Group at the University of Hamburg (1999-2007) and with the Fraunhofer-Institute for Computer Graphics in Rostock (1992-1999). -- Ullrich Köthe's main field of research is the development of user-friendly image analysis methods. He is interested in all techniques that facilitate genericity and re-usability, from machine learning and probabilistic modeling to generic programming and empirical performance evaluation. Dr. Köthe is the originator and maintainer of the open-source image analysis library VIGRA and co-developer of the interactive ilastik toolkit, which have been designed to put these ideas into practice. 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. _______________________________________________ Seminaire mailing list Seminaire(a)lrde.epita.fr https://www.lrde.epita.fr/mailman/listinfo/seminaire

13 years, 4 months

Soutenance de thèse de Charles Deledalle

by Charles Deledalle

Bonjour à tous, J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée "Débruitage d'images au-delà du bruit additif gaussien - Estimateurs à patchs et leur application à l'imagerie SAR" qui se déroulera le mardi 15 novembre à 10H30 en salle B312 à Télécom ParisTech, 46 rue Barrault, 75013 Paris. Cette thèse sera soutenue devant le jury composé de : Rapporteurs: * Jose Bioucas Dias (Instituto de Telecomunicações) * Jean-Michel Morel (ENS Cachan) * Philippe Réfrégier (Ecole centrale de Marseille) Examinateurs: * Laure Blanc-Féraud (CNRS -- Sophia Antipolis) * Jean-François Giovannelli (Univiversité Bordeaux 1) * Andreas Reigber (German Aerospace Center, DLR) Directeurs de thèse: * Loïc Denis (Télécom Saint-Etienne) * Florence Tupin (Télécom ParisTech) La soutenance sera suivie par un pot, auquel vous êtes également chaleureusement invités. Cordialement, Charles Deledalle ========================== Résumé de la thèse: Le bruit dans les images limite souvent l'interprétation visuelle ou automatique de la scène. Le chatoiement ou "speckle" en imagerie radar à synthèse d'ouverture (RSO) et le bruit de grenaille ou "shot noise" en imagerie à faible luminosité sont deux exemples de fortes corruptions qui nécessitent l'utilisation de techniques de débruitage. Les vignettes ou "patchs" sont de petites imagettes qui capturent à la fois les textures et les structures locales. Bien qu'étant assez rudimentaires (comparées à des descripteurs de plus haut niveau), elles ont mené à de puissantes approches de traitement d'images tirant parti de la redondance naturelle des images. Les méthodes à patchs représentent l'état-de-l'art des méthodes de débruitage. La technique classique de débruitage à patchs, les moyennes non-locales (NL), est conçue pour les images corrompues par du bruit additif gaussien (c-à-d., pour des fluctuations symétriques, indépendantes du signal et sans valeurs extrêmes). Les moyennes NL ne peuvent pas être appliquées directement sur des images corrompues par un bruit non-gaussien surtout pour des distributions asymétriques, dépendantes du signal et à queues lourdes telles que le bruit de chatoiement et le bruit de grenaille. Le but de cette thèse est de combler le fossé entre les méthodes de débruitage à patchs, restreintes au bruit gaussien, et les techniques dédiées aux images RSO. Après avoir examiné les techniques de débruitage d'image pour le bruit gaussien puis non-gaussien, nous proposons une extension des moyennes NL qui s'adapte à la distribution d'un bruit donné. Au-delà du problème du débruitage d'image, nous étudions le problème de la comparaison de patchs sous conditions non-gaussiennes. La plupart des tâches de vision par ordinateur requièrent de mettre en correspondance des parties d'images. Nous introduisons un critère de similarité fondé sur le rapport de vraisemblance généralisé et nous illustrons son efficacité sur différentes applications dont la détection, la vision stéréoscopique et le suivi de mouvement. Ce critère est au coeur de l'estimateur à patchs proposé. Un schéma itératif est élaboré pour faire face aux fortes corruptions de bruit et nous développons une méthode non-supervisée pour le réglage des paramètres. Notre approche mène à des résultats de débruitage état-de-l'art en imagerie RSO pour les images d'amplitude, ainsi que les données interférométriques ou polarimétriques. La technique proposée est appliquée avec succès sur l'un des derniers capteurs aérien RSO: F-SAR de l'agence aérospatiale allemande (DLR). Les images avec de forts contrastes souffrent d'un artéfact de débruitage de type "halo de bruit" dû à l'absence de patchs similaires dans les environs de certaines structures. Ce bruit résiduel peut être réduit en considérant des patchs avec des formes d'échelle et d'orientation variées. La sélection locale des formes pertinentes permet d'améliorer la qualité du débruitage, surtout à proximité des contours. Abstract: Noise in images often limits visual and automatic interpretation of the scene. Speckle in synthetic aperture radar (SAR) imagery and shot noise in photon-limited imagery are two examples of strong corruptions that require the use of denoising techniques. Patches are small image parts that capture both textures and local structures. Though being crude low-level features (compared to higher level descriptors), they have led to very powerful image processing approaches by exploiting the natural redundancy of images. Patch-based methods achieve state-of-the-art denoising performance. The classical patch-based denoising technique non-local (NL) means is designed for images corrupted by an additive Gaussian noise (i.e., fluctuations being symmetrical, signal-independent without outliers). NL means cannot be applied directly on images corrupted by a non-Gaussian process especially with non-symmetrical distribution, signal-dependence and heavy-tail such as speckle and shot noise. The goal of this thesis is to bridge the gap between patch-based denoising methods restricted to Gaussian noise and techniques dedicated to SAR despeckling. After reviewing image denoising techniques for Gaussian noise and for non-Gaussian noise, we propose an extension of the NL means that adapts to a given noise distribution. Besides the problem of image denoising, we study the problem of patch comparison under non-Gaussian conditions. Many tasks in computer vision require matching image parts. We introduce a similarity criterion grounded on the generalized likelihood ratio test and illustrate its effectiveness on different applications including detection, stereo-vision and motion-tracking. This criterion is at the heart of the proposed patch-based estimator. An iterative scheme is proposed to deal with strong noise corruptions and we develop an unsupervised method for parameter setting. Our approach leads to state-of-the-art denoising results in SAR imagery for amplitude images, as well as interferometric or polarimetric data. The proposed technique is applied successfully to one of the latest aerial SAR sensor: F-SAR from the German Aerospace Center (DLR). Images with strong contrasts suffer from denoising artefacts known as noise halo due to the absence of similar patches in the vicinity of some structures. This residual noise can be reduced by considering patches with shapes of various scales and orientations. Local selection of relevant shapes leads to an improved denoising quality, especially close to edges. -- Charles Deledalle http://perso.telecom-paristech.fr/~deledall/

13 years, 5 months

[Seminaire-LRDE] Séminaire Performance et Généricité du LRDE le Mercredi 26 octobre 2011

by Jonathan Fabrizio

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 26 octobre 2011 (14h-15h30). Au programme: * 14h: Pourquoi Javascript est-il aussi rapide/lent ? -- Nicolas Pierron http://www.mozilla-europe.org/fr/ Cette présentation montre comment Javascript, un langage dynamique, interprété et non-typé, fait pour être aussi rapide et quels sont les avancées qu'il reste encore à faire pour obtenir des performances identiques au langage C. Pour illustrer cette présentation, on s’intéressera à l’évolution du navigateur Mozilla Firefox et aux différentes approches pour résoudre ce problème. -- Diplômé de la promotion CSI 2008 de l'EPITA, Nicolas Pierron travaille actuellement à Mozilla Paris sur le nouveau moteur Javascript IonMonkey. 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. _______________________________________________ Seminaire mailing list Seminaire(a)lrde.epita.fr https://www.lrde.epita.fr/mailman/listinfo/seminaire

13 years, 5 months

L'air de rien 23

by Daniela Becker

Bonjour, nous avons le plaisir de vous présenter le n°23 du bulletin du LRDE. Nous y parlons des deux nouveaux membres du LRDE : un doctorant et un post-doc se joignent à notre équipe. Vous lirez un bilan des travaux effectués dans le cadre du projet SCRIBO. L'un des étudiants CSI propose une présentation sur Javascript le mardi 25 octobre. Vous trouverez également les dernières publications du LRDE dans ce numéro. Et une autre date à retenir : le mardi 15 novembre aura lieu la soutenance de thèse de Roland Levillain. Vous pouvez télécharger le bulletin en couleur à la page suivante : http://publis.lrde.epita.fr/201110-l-air-de-rien-23 -- Daniela Becker Responsable administrative du LRDE

13 years, 5 months

Onward! 2011 essay accepted

by Didier Verna

Dear collegues, I'm happy to announce the publication of an essay at the next Onward! conference (part of SPLASH 2011). The title and abstract are provided below: Biological Realms in Computer Science: the way you (don't want to) think about them. In biology, evolution is usually seen as a tinkering process, different from what an engineer does when he plans the development of his systems. Recently, studies have shown that even in biology, there is a part of good engineering. As computer scientists, we have much more difficulty to admit that there is also a great deal of tinkering in what we do, and that our software systems behave more and more like biological realms every day. This essay relates my personal experience about this discovery. -- 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

13 years, 6 months

Vaucanson 1.4 released

by Alexandre Duret-Lutz

The Vaucanson team is pleased to announce the release of Vaucanson 1.4. Vaucanson is a platform for manipulating weighted finite state automata. It includes a C++ generic library and a command-line interface (TAF-Kit). http://www.lrde.epita.fr/cgi-bin/twiki/view/Vaucanson/Vaucanson14 Vaucanson 1.4 is a major release featuring massive changes since our last release 1.3.2 two years ago. The most important changes are listed below. Please refer to the NEWS file for details. - A user's manual that fully documents the algorithms and automata available through the TAF-Kit command-line interface. - As part of this documentation and specification effort, many commands have been added, renamed, and generalized. So much in fact that it makes more sense to ask you to scan the user manual rather than list them here. - More examples of automata are provided, and "factories" (i.e., programs that generate scalable families of automata) are installed. - Two new fields have been implemented and can be used for weights: Q (rational numbers represented by a pair of 64bit integers) and F2 (a.k.a. Z/2Z). You can find the new release here: http://www.lrde.epita.fr/dload/vaucanson/1.4/vaucanson-1.4.tar.gz (55MB) http://www.lrde.epita.fr/dload/vaucanson/1.4/vaucanson-1.4.tar.bz2 (50MB) MD5: 6ba3b9e58fb55a88c4c655247d4901c6 vaucanson-1.4.tar.gz 108688a43c070156cfaad8905ce87510 vaucanson-1.4.tar.xz Please send bug reports to <vaucanson-bugs(a)lrde.epita.fr> and other inquiries to <vaucanson(a)lrde.epita.fr>.

13 years, 6 months

← Newer
1
...
33
34
35
36
37
38
39
...
57
Older →

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

Annonce