|
Title
|
Authors
|
Year
|
tourneur.18.seminar
|
Implementation of Invisible and Transparent Transitions in Spot
|
Vincent Tourneur
|
2018
|
gillard.18.seminar
|
Two-automaton accepting run search in Spot
|
Clément Gillard
|
2018
|
valais.18.seminar
|
SUBTYPEP: An Implementation of Baker's Algorithm
|
Leo Valais
|
2018
|
remaud.18.seminar
|
Creation of an antichain library
|
Arthur Remaud
|
2018
|
khoudli.18.seminar
|
Automatic Heart Segmentation
|
Younes Khoudli
|
2018
|
gbaguidiaisse.18.seminar
|
Deciding Persistence or Recurrence Membership in Spot
|
Alexandre Gbaguidi Aïsse
|
2018
|
hirtz.18.seminar
|
Optimization of an image processing library
|
Virgile Hirtz
|
2018
|
xu.18.seminar
|
Efficient Translation of Fairness LTL Formulae into Deterministic Automata
|
Laurent XU
|
2018
|
kirszenberg.18.seminar
|
go2pins: A model checking toolset for the Go programming language
|
Alexandre Kirszenberg
|
2018
|
dangla.18.seminar
|
Integration of histograms in the NL-Mean algorithm for image denoising.
|
Aliona Dangla
|
2018
|
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
|
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
|
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
|
fauchille.16.seminar
|
Alternating automata support
|
Amaury Fauchille
|
2016
|
lewkowicz.16.seminar
|
Improving the determinization of Büchi automata
|
Alexandre Lewkowicz
|
2016
|
boillod.16.seminar
|
Random rational expression generation
|
Lucien Boillod
|
2016
|
berthet.16.seminar
|
Automatic segmentation of Cassini's maps
|
Anne-Claire Berthet
|
2016
|
riols.16.seminar
|
Speaker Diarization based on the Mel Frequency Cepstral Coefficients
|
Fanny Riols
|
2016
|
billion.16.seminar
|
Contribution to dyn::
|
Raoul Billion
|
2016
|
moreau.16.seminar
|
Metric Learning using a Siamese Deep Neural Network
|
Anatole Moreau
|
2016
|
piat.16.seminar
|
Vcsn Meets Linguistics
|
Sébastien Piat
|
2016
|
daval-frerot.16.seminar
|
Bottleneck neural networks for Speaker Recognition
|
Guillaume Daval-Frerot
|
2016
|
piat.16.seminar2
|
K shortest-paths in Vcsn
|
Sébastien Piat
|
2016
|
pietri.16.seminar
|
Random automata and path generation in Vcsn
|
Antoine Pietri
|
2016
|
xu.16.seminar
|
Product of Parity Automata
|
Laurent Xu
|
2016
|
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
|
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
|
pietri.14.seminar
|
Finding Short Synchronizing Words
|
Antoine Pietri
|
2014
|
lewkowicz.14.seminar
|
A Feedback Arc Set for Spot
|
Alexandre Lewkowicz
|
2014
|
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
|
roux.13.seminar2
|
SVM decision taking in I-Vector based Speaker Verification Systems
|
Benjamin Roux
|
2013
|
senta.13.seminar
|
Parallel Climb
|
Laurent Senta
|
2013
|
bounthong.13.seminar
|
Boltzmann Machine in speaker verification
|
Jean-Luc Bounthong
|
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
|
ripault.13.seminar2
|
On coercion in Context-Oriented Programming
|
François Ripault
|
2013
|
moreira.13.seminar
|
FSMXML for Vaucanson 2.0
|
David Moreira
|
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
|
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
|
chedeau.12.seminar
|
Property based dispatch in functional languages
|
Christopher Chedeau
|
2012
|
badie.12.seminar
|
Direct-Simulation Reduction for TGBA
|
Thomas Badie
|
2012
|
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
|
parutto.12.seminar
|
Partial order reduction methods for Spot
|
Pierre Parutto
|
2012
|
lobry.12.seminar
|
Improving Horn-Schunck
|
Sylvain Lobry
|
2012
|
senta.12.seminar
|
Building an interface for and with Climb
|
Laurent Senta
|
2012
|
marquegnies.12.seminar
|
A comparative study of image invariants for text / non-text classification
|
Julien Marquegnies
|
2012
|
lobry.13.seminar
|
Computing the optical flow in sequences with missing parts
|
Sylvain Lobry
|
2012
|
lenoir.11.seminar
|
Voice Activity Detection
|
Victor Lenoir
|
2011
|
moreira.11.seminar
|
Implementing rational semiring
|
David Moreira
|
2011
|
chedeau.11.seminar
|
Component Trees and Chaining Operators in Climb
|
Christopher Chedeau
|
2011
|
badie.11.seminar
|
Bisimulation-based Reductions on TGBA
|
Thomas Badie
|
2011
|
guillot.11.seminar
|
Writing generic image processing algorithms
|
Simon Guillot
|
2011
|
lenoir.12.seminar
|
Speaker Diarization
|
Victor Lenoir
|
2011
|
abecassis.11.seminar
|
Optimizations in the Tiger Compiler
|
Felix Abecassis
|
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
|