|
Title
|
Authors
|
Year
|
iovene.17.seminar
|
Time Delay Neural Networks-Based Universal Background Model for Speaker Recognition
|
Valentin Iovene
|
2017
|
dangla.17.seminar
|
Evaluation method of text detection algorithm rating
|
Aliona Dangla
|
2017
|
berthet.17.seminar
|
Automatic detection of text zones on identity documents.
|
Anne-Claire Berthet
|
2017
|
gillard.17.seminar
|
Two-automaton emptiness check in Spot
|
Clément Gillard
|
2017
|
gbaguidiaisse.17.seminar
|
A co-Büching Toolbox
|
Alexandre Gbaguidi Aïsse
|
2017
|
houang.17.seminar
|
Binary Partition Tree for Image Processing
|
Fabien Houang
|
2017
|
michaud.17.seminar
|
LTL Synthesis with Spot
|
Thibaud Michaud
|
2017
|
tourneur.17.seminar
|
Partial order reduction in SPOT
|
Vincent Tourneur
|
2017
|
xu.17.seminar
|
Improvements of Simulation-based Reduction
|
Laurent Xu
|
2017
|
piat.17.seminar
|
K shortest-paths in Vcsn
|
Sébastien Piat
|
2017
|
remaud.17.seminar
|
Integration of TChecker in Spot
|
Arthur Remaud
|
2017
|
collette.17.seminar
|
Morse-Smale Complex computation with Watershed Cut
|
Victor Collette
|
2017
|
riols.16.seminar
|
Speaker Diarization based on the Mel Frequency Cepstral Coefficients
|
Fanny Riols
|
2016
|
berthet.16.seminar
|
Automatic segmentation of Cassini's maps
|
Anne-Claire Berthet
|
2016
|
billion.16.seminar
|
Contribution to dyn::
|
Raoul Billion
|
2016
|
piat.16.seminar
|
Vcsn Meets Linguistics
|
Sébastien Piat
|
2016
|
moreau.16.seminar
|
Metric Learning using a Siamese Deep Neural Network
|
Anatole Moreau
|
2016
|
daval-frerot.16.seminar
|
Bottleneck neural networks for Speaker Recognition
|
Guillaume Daval-Frerot
|
2016
|
pietri.16.seminar
|
Random automata and path generation in Vcsn
|
Antoine Pietri
|
2016
|
piat.16.seminar2
|
K shortest-paths in Vcsn
|
Sébastien Piat
|
2016
|
xu.16.seminar
|
Product of Parity Automata
|
Laurent Xu
|
2016
|
iovene.16.seminar
|
Domain Mismatch Compensation for Text-Independant Speaker Recognition
|
Valentin Iovene
|
2016
|
deutsch.16.seminar
|
Supervised Discrimination of Characters on Images
|
Thibault Deutsch
|
2016
|
tolmer.16.seminar
|
Efficient Transducer Composition in Vcsn
|
Valentin Tolmer
|
2016
|
michaud.16.seminar
|
Quotient of weighted automata and rational series
|
Thibaud Michaud
|
2016
|
lewkowicz.16.seminar
|
Improving the determinization of Büchi automata
|
Alexandre Lewkowicz
|
2016
|
fauchille.16.seminar
|
Alternating automata support
|
Amaury Fauchille
|
2016
|
boillod.16.seminar
|
Random rational expression generation
|
Lucien Boillod
|
2016
|
groux.15.seminar
|
IVector space mapping with Deep Neural Network
|
Louis Groux
|
2015
|
barray.15.seminar
|
New ways to use the Vcsn's Jupyter interface.
|
Nicolas Barray
|
2015
|
berthet.15.seminar
|
Image processing for plots detection from ancient maps
|
Anne-Claire Berthet
|
2015
|
tolmer.15.seminar
|
Algorithms on Transducers
|
Valentin Tolmer
|
2015
|
riols.15.seminar
|
Speaker Diarization based on Independent Component Analysis
|
Fanny Riols
|
2015
|
iovene.15.seminar
|
I-Vectors distance learning with Convolutional Neural Networks
|
Valentin Iovene
|
2015
|
batten.15.seminar
|
Using the Mumford-Shah segmentation for Text Detection in images
|
James Batten
|
2015
|
seure.15.seminar
|
Improving OCR k-NN classifier's training set
|
Anthony Seure
|
2015
|
lewkowicz.15.seminar
|
An efficient implementation of transition-based generalized Büchi automaton determinization
|
Alexandre Lewkowicz
|
2015
|
dore.15.seminar
|
Adaptation of the watershed cuts algorithm to cellular complexes
|
Guillaume Doré
|
2015
|
bounthong.15.seminar
|
Speaker specific i-vector channel compensation in speaker recognition
|
Jean-Luc Bounthong
|
2015
|
parquier.15.seminar
|
Strength-based decomposition of Büchi automaton
|
Claire Parquier
|
2015
|
yeh.15.seminar
|
Local channel compensated method in Speaker Recognition System
|
Jimmy Yeh
|
2015
|
pietri.15.seminar
|
Efficient removal of spontaneous transitions in Vcsn
|
Antoine Pietri
|
2015
|
seure.14.seminar
|
Logotypes detection and other characteristics invariants using SIFT descriptors
|
Anthony Seure
|
2014
|
riols.14.seminar
|
Markov Clustering Algorithm for Unsupervised Speaker Recognition System
|
Fanny Riols
|
2014
|
tolmer.14.seminar
|
Transducer composition in Vaucanson 2
|
Valentin Tolmer
|
2014
|
pietri.14.seminar
|
Finding Short Synchronizing Words
|
Antoine Pietri
|
2014
|
lewkowicz.14.seminar
|
A Feedback Arc Set for Spot
|
Alexandre Lewkowicz
|
2014
|
moreira.13.seminar
|
FSMXML for Vaucanson 2.0
|
David Moreira
|
2013
|
ripault.13.seminar2
|
On coercion in Context-Oriented Programming
|
François Ripault
|
2013
|
badie.13.seminar
|
Simulation-based Reductions for TGBA
|
Thomas Badie
|
2013
|
yeh.13.seminar
|
I-Vector Multilayer Perceptron in Speaker Recognition System
|
Jimmy Yeh
|
2013
|
boissel.13.seminar
|
Reduce the resource consumption of a complex image processing chain
|
Raphael Boissel
|
2013
|
crozet.13.seminar
|
About the computation of the Tree of Shapes on n-dimensional images in quasi-linear time.
|
Sébastien Crozet
|
2013
|
sanchez.13.seminar
|
Improving Vaucanson's design
|
Guillaume Sanchez
|
2013
|
roux.13.seminar
|
Nonlinear Projection for Cosine Distance Scoring in I-Vector based Speaker Verification Systems.
|
Benjamin Roux
|
2013
|
boissel.13.seminar2
|
Using a wavelet-based descriptor to extract information on object shape
|
Raphaël Boissel
|
2013
|
crozet.13.seminar2
|
The Tree of Shapes Comparative Review of Component Tree Computation Algorithms.
|
Sébastien Crozet
|
2013
|
parutto.13.seminar
|
Adaptive partial order reduction methods
|
Pierre Parutto
|
2013
|
santet.13.seminar
|
Transducers in Vaucanson 2
|
Victor Marie-Santet
|
2013
|
roux.13.seminar2
|
SVM decision taking in I-Vector based Speaker Verification Systems
|
Benjamin Roux
|
2013
|
bounthong.13.seminar
|
Boltzmann Machine in speaker verification
|
Jean-Luc Bounthong
|
2013
|
senta.13.seminar
|
Parallel Climb
|
Laurent Senta
|
2013
|
levi.13.seminar
|
Variational image inpainting by combination of features
|
Coddy Levi
|
2013
|
vermorel.13.seminar
|
Automatic maintenance of exported symbols in Common Lisp packages
|
Christophe Vermorel
|
2013
|
ripault.13.seminar
|
Context-oriented programming applied to image processing
|
François Ripault
|
2013
|
seure.13.seminar
|
Logotypes detection and other characteristic invariants
|
Anthony Seure
|
2013
|
escobar.13.seminar
|
High-level Document Structure Analysis in the Olena Scribo Module
|
Christophe Escobar
|
2013
|
abecassis.12.seminar
|
Parallelization in a generic image processing library
|
Felix Abecassis
|
2012
|
boissel.12.seminar
|
Text extraction method based on wavelets
|
Raphael Boissel
|
2012
|
crozet.12.seminar
|
Parallel approach for the computation of the tree of shapes on n-dimensional images
|
Sébastien Crozet
|
2012
|
roux.12.seminar
|
Full Covariance Matrices based Gaussian Mixture Models
|
Benjamin Roux
|
2012
|
lobry.12.seminar
|
Improving Horn-Schunck
|
Sylvain Lobry
|
2012
|
parutto.12.seminar
|
Partial order reduction methods for Spot
|
Pierre Parutto
|
2012
|
marquegnies.12.seminar
|
A comparative study of image invariants for text / non-text classification
|
Julien Marquegnies
|
2012
|
senta.12.seminar
|
Building an interface for and with Climb
|
Laurent Senta
|
2012
|
lobry.13.seminar
|
Computing the optical flow in sequences with missing parts
|
Sylvain Lobry
|
2012
|
levi.12.seminar
|
Fast structure preserving inpainting
|
Coddy Levi
|
2012
|
ripault.12.seminar
|
Optimization in Common Lisp, and its application to Climb
|
François Ripault
|
2012
|
moreira.12.seminar
|
Towards Vaucanson 2.0
|
David Moreira
|
2012
|
badie.12.seminar
|
Direct-Simulation Reduction for TGBA
|
Thomas Badie
|
2012
|
chedeau.12.seminar
|
Property based dispatch in functional languages
|
Christopher Chedeau
|
2012
|
lobry.11.seminar
|
Scribo: Disambiguation of lines superimposement
|
Sylvain Lobry
|
2011
|
parutto.11.seminar
|
Improving degeneralization in Spot
|
Pierre Parutto
|
2011
|
fiette.11.seminar
|
Progresses towards Vaucanson 1.4 and 2.0
|
Guillaume Fiette
|
2011
|
marquegnies.11.seminar
|
Document layout analysis in SCRIBO
|
Julien Marquegnies
|
2011
|
senta.11.seminar
|
Climb: Weighted Neighborhood Implementation
|
Laurent Senta
|
2011
|
levi.11.seminar
|
Inverse Video extraction in Scribo
|
Coddy Levi
|
2011
|
denuziere.11.seminar
|
Designing the user interface for a Common Lisp generic library
|
Loïc Denuzière
|
2011
|
lenoir.11.seminar
|
Voice Activity Detection
|
Victor Lenoir
|
2011
|
moreira.11.seminar
|
Implementing rational semiring
|
David Moreira
|
2011
|
badie.11.seminar
|
Bisimulation-based Reductions on TGBA
|
Thomas Badie
|
2011
|
chedeau.11.seminar
|
Component Trees and Chaining Operators in Climb
|
Christopher Chedeau
|
2011
|
abecassis.11.seminar
|
Optimizations in the Tiger Compiler
|
Felix Abecassis
|
2011
|
lenoir.12.seminar
|
Speaker Diarization
|
Victor Lenoir
|
2011
|
guillot.11.seminar
|
Writing generic image processing algorithms
|
Simon Guillot
|
2011
|
carlinet.10.seminar
|
An edge-based attribute filter dedicated to image segmentation
|
Edwin Carlinet
|
2010
|
marquegnies.10.seminar
|
Dematerialization Tools in SCRIBO
|
Julien Marquegnies
|
2010
|
d-halluin.10.seminar
|
Adapting Vaucanson algorithms to a simpler interface
|
Florent D'Halluin
|
2010
|
galtier.10.seminar
|
Adapting the data structures of Vaucanson to the concept of kind and a new interface
|
Jérôme Galtier
|
2010
|
seine.10.seminar
|
Integrating modern parallel techniques in the Tiger compiler
|
Warren Seine
|
2010
|
sadegh.10.seminar
|
Complementing Büchi Automata With Alternating Automata
|
Guillaume Sadegh
|
2010
|
carlinet.11.seminar
|
A fast algorithm for auto-dual trees
|
Edwin Carlinet
|
2010
|
denuziere.10.seminar
|
Property-Based Genericity: A Dynamic Approach
|
Loïc Denuzière
|
2010
|
hamelin.10.seminar
|
Towards Vaucanson 2.0
|
Alex Hamelin
|
2010
|
hamelin.11.seminar
|
Vaucanson 2.0 Internals
|
Alex Hamelin
|
2010
|
lefortier.10.seminar
|
A new translation from LTL into TGBA in Spot
|
Damien Lefortier
|
2010
|
chedeau.10.seminar
|
Functionnal approach of image processing genericity
|
Christopher Chedeau
|
2010
|
abecassis.10.seminar
|
Minimization of automata representing obligation formulae
|
Felix Abecassis
|
2010
|
ordy.10.seminar
|
Study and Analysis of C++ Extension Conception with Transformers
|
Vincent Ordy
|
2010
|
denuziere.09.seminar
|
CLIMB: A Dynamic Approach To Generic Image Processing
|
Loïc Denuzière
|
2009
|
hamelin.09.seminar
|
Property based class hierarchy of Vaucanson's Algebra module
|
Alex Hamelin
|
2009
|
jardonnet.09.seminar
|
Image reconstruction
|
Ugo Jardonnet
|
2009
|
lefortier.09.seminar
|
Translation of an extended LTL into TBGA in Spot
|
Damien Lefortier
|
2009
|
damota.09.seminar
|
Nondeterminisation of alternating automata in SPOT
|
Samuel Da Mota
|
2009
|
folio.09.seminar
|
Histograms
|
Etienne Folio
|
2009
|
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
|
ma.09.seminar
|
Automata in Natural Language Processing
|
Jimmy Ma
|
2009
|
d-halluin.09.seminar
|
Benchmarking Vaucanson and large C++ libraries
|
Florent D'Halluin
|
2009
|
galtier.09.seminar
|
Remedial treatment for Vaucanson: an enhanced automaton concept
|
Jérôme Galtier
|
2009
|
seine.09.seminar
|
An implementation of the C++ container library with SCOOL
|
Warren Seine
|
2009
|
sadegh.09.seminar
|
Complementing Büchi Automata
|
Guillaume Sadegh
|
2009
|
lesaint.08.seminar
|
FSMXML and its application in Vaucanson
|
Florian Lesaint
|
2008
|
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
|
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
|
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
|
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
|
duhamel.08.seminar
|
Stage de traitement d'image au LRDE
|
Guillaume Duhamel
|
2008
|
ballas.08.seminar
|
Image taxonomy in Milena
|
Nicolas Ballas
|
2008
|
van-noppen.08.seminar
|
SCOOL: Concept-Oriented Programming
|
Maxime van Noppen
|
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
|
legrand.08.seminar
|
Generalized Linear Discriminant Sequence for Speaker Verification
|
Antoine Legrand
|
2008
|
delmon.08.seminar
|
Rational Expression Parser
|
Vivien Delmon
|
2008
|
leblanc.08.seminar
|
Alternate Fictitious Play study and implementation
|
Antoine Leblanc
|
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
|
van-noppen.09.seminar
|
SCOOL: Generic programming
|
Maxime van Noppen
|
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
|
delmon.08.seminar.reduce
|
Automata Reduction
|
Vivien Delmon
|
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
|
garrigues.08.seminar
|
Stage de traitement d'image au LRDE
|
Matthieu Garrigues
|
2008
|
pierron.08.seminar
|
Automatic Attribute Propagation for Modular Attribute Grammars
|
Akim Demaille, Renaud Durlin, Nicolas Pierron, Benoît Sigoure
|
2008
|
jardonnet.08.seminar
|
Fast Image Registration
|
Ugo Jardonnet
|
2008
|
vigouroux.08.seminar
|
Color types in Milena
|
Caroline Vigouroux
|
2008
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
anisko.03.seminar
|
Transformers: a C++ program transformation framework
|
Robert Anisko, Valentin David, Clément Vasseur
|
2003
|