|
Title
|
Authors
|
Year
|
abraham.09.seminar
|
Morphology on color images
|
Alexandre Abraham
|
2009
|
garrigues.09.seminar
|
Tarjan Union-Find algorithm and connected operators
|
Matthieu Garrigues
|
2009
|
ballas.09.seminar
|
Properties in Milena
|
Nicolas Ballas
|
2009
|
ordy.09.seminar
|
Adding Contracts to C++ with Transformers
|
Vincent Ordy
|
2009
|
carlinet.09.seminar
|
Component trees in Milena
|
Edwin Carlinet
|
2009
|
pierron.08.seminar
|
Automatic Attribute Propagation for Modular Attribute Grammars
|
Akim Demaille, Renaud Durlin, Nicolas Pierron, Benoît Sigoure
|
2008
|
leblanc.08.seminar.comparison
|
Efficiency comparison between Fictitious Play and Alternate Fictitious Play algorithms on the restricted set of zero-sum games
|
Antoine Leblanc
|
2008
|
duhamel.08.seminar
|
Stage de traitement d'image au LRDE
|
Guillaume Duhamel
|
2008
|
jardonnet.08.seminar
|
Fast Image Registration
|
Ugo Jardonnet
|
2008
|
lesaint.08.seminar
|
FSMXML and its application in Vaucanson
|
Florian Lesaint
|
2008
|
queze.08.seminar
|
C++ Program Slicing with Transformers
|
Florian Quèze
|
2008
|
lefortier.08.seminar
|
Translation of an extended LTL into TBGA in Spot
|
Damien Lefortier
|
2008
|
lesaint.08.seminar.syncrelations
|
Synchronous relations in Vaucanson
|
Florian Lesaint
|
2008
|
queze.08.seminar.transend
|
Transformers: toward the end of the pipeline
|
Florian Quèze
|
2008
|
garcia-ballester.08.seminar
|
Fictious Play
|
Jean-Philippe Garcia Ballester
|
2008
|
garrigues.08.seminar
|
Stage de traitement d'image au LRDE
|
Matthieu Garrigues
|
2008
|
folio.08.seminar
|
Distance Transform
|
Etienne Folio
|
2008
|
abraham.08.seminar
|
Topological Watershed
|
Alexandre Abraham
|
2008
|
charron.08.seminar
|
Homolib
|
Samuel Charron
|
2008
|
vigouroux.08.seminar
|
Color types in Milena
|
Caroline Vigouroux
|
2008
|
sigoure.08.seminar
|
Run-Time Concrete-Syntax Program-Transformation in General Purpose Languages
|
Benoît Sigoure
|
2008
|
lazzara.08.seminar
|
Boosting Vaucanson's genericity
|
Guillaume Lazzara
|
2008
|
deledalle.08.seminar
|
SVM Kernel Combining System for Speaker Verification
|
Charles-Alban Deledalle
|
2008
|
raud.08.seminar
|
Centaur: A generic framework simplifying C++ transformation
|
Cédric Raud
|
2008
|
garrigues.08.seminar.fllt
|
Fast Level Line Transform
|
Matthieu Garrigues
|
2008
|
ballas.08.seminar
|
Image taxonomy in Milena
|
Nicolas Ballas
|
2008
|
querol.08.seminar
|
SVM-MLLR for multi-speaker verification systems score fusion
|
Geoffroy Querol
|
2008
|
ordy.08.seminar
|
Implementing a C++ extension with Transformers: class namespace
|
Vincent Ordy
|
2008
|
hocquet.08.seminar
|
revCPP A reversible C++ preprocessor
|
Benoît Sigoure, Quentin Hocquet
|
2008
|
van-noppen.08.seminar
|
SCOOL: Concept-Oriented Programming
|
Maxime van Noppen
|
2008
|
legrand.08.seminar
|
Generalized Linear Discriminant Sequence for Speaker Verification
|
Antoine Legrand
|
2008
|
leroi.08.seminar
|
Synchronized Tranducers
|
Guillaume Leroi
|
2008
|
delmon.08.seminar
|
Rational Expression Parser
|
Vivien Delmon
|
2008
|
ma.08.seminar
|
Boosting Vaucanson's Iterator
|
Jimmy Ma
|
2008
|
d-halluin.08.seminar
|
Yet Another Vaucanson GUI
|
Florent D'Halluin
|
2008
|
galtier.08.seminar
|
Improving Vaucanson's transducers composition algorithm
|
Jérôme Galtier
|
2008
|
seine.08.seminar
|
C++ template disambiguation with Transformers Attribute Grammars
|
Warren Seine
|
2008
|
leblanc.08.seminar
|
Alternate Fictitious Play study and implementation
|
Antoine Leblanc
|
2008
|
durlin.08.seminar
|
Semantics driven disambiguation: A comparison of different approaches
|
Renaud Durlin
|
2008
|
sadegh.08.seminar
|
A Promela front-end for Spot
|
Guillaume Sadegh
|
2008
|
van-noppen.09.seminar
|
SCOOL: Generic programming
|
Maxime van Noppen
|
2008
|
delmon.08.seminar.reduce
|
Automata Reduction
|
Vivien Delmon
|
2008
|
sigoure.07.seminar
|
revCPP A reversible C++ preprocessor
|
Benoît Sigoure, Quentin Hocquet
|
2007
|
abraham.07.seminar
|
ConceptC++ study and possible integration in SCOOP
|
Alexandre Abraham
|
2007
|
moulard.08.seminar
|
An overview of Scoop, a static object-oriented paradigm
|
Thomas Moulard
|
2007
|
moulard.07.seminar
|
C++ container library with the SCOOP paradigm
|
Thomas Moulard
|
2007
|
ballas.07.seminar
|
Software engineering in Olena Core
|
Nicolas Ballas
|
2007
|
querol.07.seminar
|
Speaker recognition evaluation: selective approaches and fusion
|
Geoffroy Querol
|
2007
|
lazzara.07.seminar
|
Boosting Vaucanson
|
Guillame Lazzara, Jimmy Ma
|
2007
|
deledalle.07.seminar
|
Factor analysis based channel compensation in speaker verification
|
Charles-Alban Deledalle
|
2007
|
neri.08.seminar
|
Transfinite Chomp
|
Nicolas Neri
|
2007
|
neri.07.seminar
|
Learning models for model-checking
|
Neri Nicolas
|
2007
|
leblanc.07.seminar
|
Efficient algorithmic methods for Nash equilibria computation
|
Antoine Leblanc
|
2007
|
delmon.07.seminar
|
Generic epsilon-removal
|
Vivien Delmon
|
2007
|
durlin.07.seminar
|
Semantics driven disambiguation
|
Renaud Durlin
|
2007
|
van-noppen.07.seminar
|
SCOOL: object orientation of a static language
|
Maxime van Noppen
|
2007
|
pierron.07.seminar
|
Formal Definition of the Disambiguation with Attribute Grammars
|
Nicolas Pierron
|
2007
|
queze.07.seminar
|
Tools for Attribute Grammars manipulation in Transformers
|
Florian Quèze
|
2007
|
jardonnet.07.seminar
|
Canvas in Morphological Algorithms
|
Ugo Jardonnet
|
2007
|
lesaint.07.seminar
|
XML Proposal and its Application in Vaucanson
|
Florian Lesaint
|
2007
|
melin.07.seminar
|
LRDE's Speaker Verification Framework
|
Charles Melin, Julien Ramakichenin
|
2007
|
hocquet.06.seminar
|
Scool transformation towards C++
|
Quentin Hocquet
|
2006
|
moulard.06.seminar
|
Conception of a static oriented language: an overview of Scool
|
Thomas Moulard
|
2006
|
sigoure.06.seminar
|
eXtended Reactive Modules
|
Benoît Sigoure
|
2006
|
berger.06.seminar
|
Image taxonomy in Olena
|
Christophe Berger
|
2006
|
gournet.06.seminar
|
Parsing with Transformers
|
Olivier Gournet, Alexandre Borghi, Nicolas Pierron
|
2006
|
pouillard.06.seminar
|
Dynamization of C++ static libraries
|
Nicolas Pouillard, Damien Thivolle
|
2006
|
berger.05.seminar
|
Using connected operators to manipulate image components
|
Christophe Berger, Nicolas Widynski
|
2005
|
terrones.05.seminar
|
From an expression to the original automaton
|
Florent Terrones
|
2005
|
bigaignon.05.seminar
|
Computing the regular language recognized by a finite automaton
|
Robert Bigaignon
|
2005
|
thivolle.05.seminar
|
Canvas in Olena
|
Damien Thivolle
|
2005
|
cadilhac.05.seminar
|
Cover automata for finite languages
|
Michaël Cadilhac
|
2005
|
despres.05.seminar
|
Regression benchmarking
|
Nicolas Despres
|
2005
|
odou.05.seminar
|
Images taxonomy and modeling
|
Simon Odou
|
2005
|
roussel.04.seminar2
|
C++ type-checking: A study of existing solutions
|
Julien Roussel
|
2004
|
pouchet.04.seminar.gui
|
Développement d'une interface graphique pour Vaucanson
|
Louis-Noel Pouchët
|
2004
|
claveirole.04.seminar.overview
|
An overview of Vaucanson
|
Thomas Claveirole
|
2004
|
despres.04.seminar
|
C++ Transformations panorama
|
Nicolas Despres
|
2004
|
fosse.04.seminar
|
Dynamic use of statically typed libraries, textscJust In Time compilation and other solutions
|
Loïc Fosse
|
2004
|
pouchet.04.seminar.interpreter
|
An interpreter for Vaucanson
|
Louis-Noël Pouchet
|
2004
|
david.04.seminar
|
Attribute grammars for C++ disambiguation
|
Valentin David
|
2004
|
gournet.04.seminar
|
Progress in C++ source preprocessing
|
Olivier Gournet
|
2004
|
o-connor.04.seminar
|
Implementation of transducers in Vaucanson
|
Sarah O'Connor
|
2004
|
claveirole.04.seminar.analysis
|
Analysis of the Vaucanson project
|
Thomas Claveirole
|
2004
|
vasseur.04.seminar
|
Semantics driven disambiguation: a comparison of different approaches
|
Clément Vasseur
|
2004
|
anisko.03.seminar
|
Transformers: a C++ program transformation framework
|
Robert Anisko, Valentin David, Clément Vasseur
|
2003
|