|
|
Title
|
Authors
|
Year
|
| lazzara.08.seminar
|
Boosting Vaucanson's genericity
|
Guillaume Lazzara
|
2008
|
| lefortier.08.seminar
|
Translation of an extended LTL into TBGA in Spot
|
Damien Lefortier
|
2008
|
| querol.08.seminar
|
SVM-MLLR for multi-speaker verification systems score fusion
|
Geoffroy Querol
|
2008
|
| queze.08.seminar
|
C++ Program Slicing with Transformers
|
Florian Quèze
|
2008
|
| lesaint.08.seminar.syncrelations
|
Synchronous relations in Vaucanson
|
Florian Lesaint
|
2008
|
| leroi.08.seminar
|
Synchronized Tranducers
|
Guillaume Leroi
|
2008
|
| garcia-ballester.08.seminar
|
Fictious Play
|
Jean-Philippe Garcia Ballester
|
2008
|
| queze.08.seminar.transend
|
Transformers: toward the end of the pipeline
|
Florian Quèze
|
2008
|
| folio.08.seminar
|
Distance Transform
|
Etienne Folio
|
2008
|
| sigoure.08.seminar
|
Run-Time Concrete-Syntax Program-Transformation in General Purpose Languages
|
Benoît Sigoure
|
2008
|
| abraham.08.seminar
|
Topological Watershed
|
Alexandre Abraham
|
2008
|
| charron.08.seminar
|
Homolib
|
Samuel Charron
|
2008
|
| leblanc.07.seminar
|
Efficient algorithmic methods for Nash equilibria computation
|
Antoine Leblanc
|
2007
|
| durlin.07.seminar
|
Semantics driven disambiguation
|
Renaud Durlin
|
2007
|
| sigoure.07.seminar
|
revCPP A reversible C++ preprocessor
|
Benoît Sigoure, Quentin Hocquet
|
2007
|
| pierron.07.seminar
|
Formal Definition of the Disambiguation with Attribute Grammars
|
Nicolas Pierron
|
2007
|
| jardonnet.07.seminar
|
Canvas in Morphological Algorithms
|
Ugo Jardonnet
|
2007
|
| moulard.07.seminar
|
C++ container library with the SCOOP paradigm
|
Thomas Moulard
|
2007
|
| lesaint.07.seminar
|
XML Proposal and its Application in Vaucanson
|
Florian Lesaint
|
2007
|
| querol.07.seminar
|
Speaker recognition evaluation: selective approaches and fusion
|
Geoffroy Querol
|
2007
|
| deledalle.07.seminar
|
Factor analysis based channel compensation in speaker verification
|
Charles-Alban Deledalle
|
2007
|
| neri.07.seminar
|
Learning models for model-checking
|
Neri Nicolas
|
2007
|
| delmon.07.seminar
|
Generic epsilon-removal
|
Vivien Delmon
|
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
|
| van-noppen.07.seminar
|
SCOOL: object orientation of a static language
|
Maxime van Noppen
|
2007
|
| queze.07.seminar
|
Tools for Attribute Grammars manipulation in Transformers
|
Florian Quèze
|
2007
|
| lazzara.07.seminar
|
Boosting Vaucanson
|
Guillame Lazzara, Jimmy Ma
|
2007
|
| ballas.07.seminar
|
Software engineering in Olena Core
|
Nicolas Ballas
|
2007
|
| melin.07.seminar
|
LRDE's Speaker Verification Framework
|
Charles Melin, Julien Ramakichenin
|
2007
|
| neri.08.seminar
|
Transfinite Chomp
|
Nicolas Neri
|
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
|
| berger.06.seminar
|
Image taxonomy in Olena
|
Christophe Berger
|
2006
|
| sigoure.06.seminar
|
eXtended Reactive Modules
|
Benoît Sigoure
|
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
|
| terrones.05.seminar
|
From an expression to the original automaton
|
Florent Terrones
|
2005
|
| berger.05.seminar
|
Using connected operators to manipulate image components
|
Christophe Berger, Nicolas Widynski
|
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
|
