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
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
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
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
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/
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
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
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
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>.
The Olena Team is proud to announce the release of Olena 2.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.
On top of Milena, the Olena platform also features optional modules
such as Swilena, a component exposing Milena to other languages thanks
to the Simplified Wrapper and Interface Generator (SWIG); and the
SCRIBO module for Document Image Analysis (see below).
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/Olena200
You can download packages of the Olena 2.0 distribution here:
http://www.lrde.epita.fr/dload/olena/2.0/olena-2.0.tar.gz (38 MB)
http://www.lrde.epita.fr/dload/olena/2.0/olena-2.0.tar.bz2 (32 MB)
The SHA1 digests of theses packages are:
d3a829fa56bff4edbca58af0c9a39c9569820c60 olena-2.0.tar.gz
0abae2a9bc751a8fb33acacd2dbe70635d5dd00b olena-2.0.tar.bz2
Here is a list of major changes since Olena 1.0:
* The biggest addition to Olena available in this new version is the
SCRIBO module for Document Image Analysis (DIA). This module has
been developed in the context of the SCRIBO project (see
http://www.scribo.ws). The SCRIBO module provides software
building blocks to create DIA tool chains, including routines for
preprocessing steps (such as binarization, show-through removal,
deskew and denoising), text lines identification, non-text objects
retrieval (tables, pictures, separators, etc.), line
reconstruction (rebuilding separators and tables), Optical
Character Recognition (OCR) integration and document
reconstruction (converting a document to XML, PDF and/or HTML
outputs). Dedicated data structures are also provided to handle
intermediate results. Some Graphical User Interface (GUI)
programs based on the Qt toolkit are also proposed.
* Several compilation issues have been addressed.
* New algorithms (especially in mathematical morphology), canvases
(or algorithmic patterns) and efficient algorithm variants have
been added to Milena, as well as some new data types (see NEWS for
more details).
* More conversion routines, especially regarding color values.
* Support for I/O routines (both built-in and depending on
third-party packages) has been improved.
* Various bug fixes and improvements.
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/LIGM/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