|
|
Title
|
Authors
|
Year
|
| 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
|
| 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
|
| 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
|
| 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
|
| 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
|
| 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
|
| 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
|
| 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
|
