,"Bibtex id",Authors,Title,Year
Publications/carvalho.19.seminar,carvalho.19.seminar,"Thomas De Carvalho","Artificial states generation in state spaces using kernel density estimation",2019
Publications/tourneur.19.seminar,tourneur.19.seminar,"Vincent Tourneur","Benchmarking of Partial Order Reduction in Spot",2019
Publications/khoudli.19.seminar,khoudli.19.seminar,"Younes Khoudli","Mathematical morphology and deep convolutional neural networks",2019
Publications/kirszenberg.19.seminar,kirszenberg.19.seminar,"Alexandre Kirszenberg","Integrating Mathematical Morphology within Deep Convolutional Neural Networks",2019
Publications/corno.19.seminar,corno.19.seminar,"Samuel Corno","Using Scatter Search to find better variable ordering in BDDs",2019
Publications/gillard.19.seminar,gillard.19.seminar,"Clément Gillard","Counterexample searches in Spot",2019
Publications/martin.19.seminar,martin.19.seminar,"Antoine Martin","Exploring various implementations for goroutines support in go2pins",2019
Publications/esteban.19.seminar,esteban.19.seminar,"Baptiste Esteban","Estimation of the noise level function in natural images using the tree of shapes",2019
Publications/huvelle.19.seminar,huvelle.19.seminar,"Martin Huvelle","Reimplementation of testing-automata in Spot",2019
Publications/tourneur.18.seminar,tourneur.18.seminar,"Vincent Tourneur","Implementation of Invisible and Transparent Transitions in Spot",2018
Publications/gillard.18.seminar,gillard.18.seminar,"Clément Gillard","Two-automaton accepting run search in Spot",2018
Publications/valais.18.seminar,valais.18.seminar,"Leo Valais","SUBTYPEP: An Implementation of Baker's Algorithm",2018
Publications/remaud.18.seminar,remaud.18.seminar,"Arthur Remaud","Creation of an antichain library",2018
Publications/khoudli.18.seminar,khoudli.18.seminar,"Younes Khoudli","Automatic Heart Segmentation",2018
Publications/gbaguidiaisse.18.seminar,gbaguidiaisse.18.seminar,"Alexandre Gbaguidi Aïsse","Deciding Persistence or Recurrence Membership in Spot",2018
Publications/hirtz.18.seminar,hirtz.18.seminar,"Virgile Hirtz","Optimization of an image processing library",2018
Publications/xu.18.seminar,xu.18.seminar,"Laurent XU","Efficient Translation of Fairness LTL Formulae into Deterministic Automata",2018
Publications/kirszenberg.18.seminar,kirszenberg.18.seminar,"Alexandre Kirszenberg","go2pins: A model checking toolset for the Go programming language",2018
Publications/dangla.18.seminar,dangla.18.seminar,"Aliona Dangla","Integration of histograms in the NL-Mean algorithm for image denoising.",2018
Publications/michaud.17.seminar,michaud.17.seminar,"Thibaud Michaud","LTL Synthesis with Spot",2017
Publications/tourneur.17.seminar,tourneur.17.seminar,"Vincent Tourneur","Partial order reduction in SPOT",2017
Publications/xu.17.seminar,xu.17.seminar,"Laurent Xu","Improvements of Simulation-based Reduction",2017
Publications/piat.17.seminar,piat.17.seminar,"Sébastien Piat","K shortest-paths in Vcsn",2017
Publications/remaud.17.seminar,remaud.17.seminar,"Arthur Remaud","Integration of TChecker in Spot",2017
Publications/collette.17.seminar,collette.17.seminar,"Victor Collette","Morse-Smale Complex computation with Watershed Cut",2017
Publications/iovene.17.seminar,iovene.17.seminar,"Valentin Iovene","Time Delay Neural Networks-Based Universal Background Model for Speaker Recognition",2017
Publications/dangla.17.seminar,dangla.17.seminar,"Aliona Dangla","Evaluation method of text detection algorithm rating",2017
Publications/berthet.17.seminar,berthet.17.seminar,"Anne-Claire Berthet","Automatic detection of text zones on identity documents.",2017
Publications/gillard.17.seminar,gillard.17.seminar,"Clément Gillard","Two-automaton emptiness check in Spot",2017
Publications/gbaguidiaisse.17.seminar,gbaguidiaisse.17.seminar,"Alexandre Gbaguidi Aïsse","A co-Büching Toolbox",2017
Publications/houang.17.seminar,houang.17.seminar,"Fabien Houang","Binary Partition Tree for Image Processing",2017
Publications/iovene.16.seminar,iovene.16.seminar,"Valentin Iovene","Domain Mismatch Compensation for Text-Independant Speaker Recognition",2016
Publications/tolmer.16.seminar,tolmer.16.seminar,"Valentin Tolmer","Efficient Transducer Composition in Vcsn",2016
Publications/deutsch.16.seminar,deutsch.16.seminar,"Thibault Deutsch","Supervised Discrimination of Characters on Images",2016
Publications/michaud.16.seminar,michaud.16.seminar,"Thibaud Michaud","Quotient of weighted automata and rational series",2016
Publications/fauchille.16.seminar,fauchille.16.seminar,"Amaury Fauchille","Alternating automata support",2016
Publications/lewkowicz.16.seminar,lewkowicz.16.seminar,"Alexandre Lewkowicz","Improving the determinization of Büchi automata",2016
Publications/boillod.16.seminar,boillod.16.seminar,"Lucien Boillod","Random rational expression generation",2016
Publications/berthet.16.seminar,berthet.16.seminar,"Anne-Claire Berthet","Automatic segmentation of Cassini's maps",2016
Publications/riols.16.seminar,riols.16.seminar,"Fanny Riols","Speaker Diarization based on the Mel Frequency Cepstral Coefficients",2016
Publications/billion.16.seminar,billion.16.seminar,"Raoul Billion","Contribution to dyn::",2016
Publications/moreau.16.seminar,moreau.16.seminar,"Anatole Moreau","Metric Learning using a Siamese Deep Neural Network",2016
Publications/piat.16.seminar,piat.16.seminar,"Sébastien Piat","Vcsn Meets Linguistics",2016
Publications/daval-frerot.16.seminar,daval-frerot.16.seminar,"Guillaume Daval-Frerot","Bottleneck neural networks for Speaker Recognition",2016
Publications/piat.16.seminar2,piat.16.seminar2,"Sébastien Piat","K shortest-paths in Vcsn",2016
Publications/pietri.16.seminar,pietri.16.seminar,"Antoine Pietri","Random automata and path generation in Vcsn",2016
Publications/xu.16.seminar,xu.16.seminar,"Laurent Xu","Product of Parity Automata",2016
Publications/lewkowicz.15.seminar,lewkowicz.15.seminar,"Alexandre Lewkowicz","An efficient implementation of transition-based generalized Büchi automaton determinization",2015
Publications/dore.15.seminar,dore.15.seminar,"Guillaume Doré","Adaptation of the watershed cuts algorithm to cellular complexes",2015
Publications/bounthong.15.seminar,bounthong.15.seminar,"Jean-Luc Bounthong","Speaker specific i-vector channel compensation in speaker recognition",2015