|
Title
|
Authors
|
Year
|
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
|
michaud.17.seminar
|
LTL Synthesis with Spot
|
Thibaud Michaud
|
2017
|
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
|
iovene.16.seminar
|
Domain Mismatch Compensation for Text-Independant Speaker Recognition
|
Valentin Iovene
|
2016
|
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
|
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
|
seure.14.seminar
|
Logotypes detection and other characteristics invariants using SIFT descriptors
|
Anthony Seure
|
2014
|
pietri.14.seminar
|
Finding Short Synchronizing Words
|
Antoine Pietri
|
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
|
lewkowicz.14.seminar
|
A Feedback Arc Set for Spot
|
Alexandre Lewkowicz
|
2014
|
ripault.13.seminar2
|
On coercion in Context-Oriented Programming
|
François Ripault
|
2013
|
moreira.13.seminar
|
FSMXML for Vaucanson 2.0
|
David Moreira
|
2013
|
vermorel.13.seminar
|
Automatic maintenance of exported symbols in Common Lisp packages
|
Christophe Vermorel
|
2013
|