|
|
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
|
| berthet.15.seminar
|
Image processing for plots detection from ancient maps
|
Anne-Claire Berthet
|
2015
|
| tolmer.15.seminar
|
Algorithms on Transducers
|
Valentin Tolmer
|
2015
|
| lewkowicz.14.seminar
|
A Feedback Arc Set for Spot
|
Alexandre Lewkowicz
|
2014
|
| tolmer.14.seminar
|
Transducer composition in Vaucanson 2
|
Valentin Tolmer
|
2014
|
| 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
|
| levi.13.seminar
|
Variational image inpainting by combination of features
|
Coddy Levi
|
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
|
| vermorel.13.seminar
|
Automatic maintenance of exported symbols in Common Lisp packages
|
Christophe Vermorel
|
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
|
| yeh.13.seminar
|
I-Vector Multilayer Perceptron in Speaker Recognition System
|
Jimmy Yeh
|
2013
|
| senta.13.seminar
|
Parallel Climb
|
Laurent Senta
|
2013
|
| bounthong.13.seminar
|
Boltzmann Machine in speaker verification
|
Jean-Luc Bounthong
|
2013
|
| 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
|
| 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
|
| 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
|
| badie.11.seminar
|
Bisimulation-based Reductions on TGBA
|
Thomas Badie
|
2011
|
| chedeau.11.seminar
|
Component Trees and Chaining Operators in Climb
|
Christopher Chedeau
|
2011
|
| guillot.11.seminar
|
Writing generic image processing algorithms
|
Simon Guillot
|
2011
|
| abecassis.11.seminar
|
Optimizations in the Tiger Compiler
|
Felix Abecassis
|
2011
|
| lenoir.11.seminar
|
Voice Activity Detection
|
Victor Lenoir
|
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
|
| lobry.11.seminar
|
Scribo: Disambiguation of lines superimposement
|
Sylvain Lobry
|
2011
|
| lenoir.12.seminar
|
Speaker Diarization
|
Victor Lenoir
|
2011
|
