|
Title
|
Authors
|
Year
|
kirszenberg.20.seminar
|
Learning Morphological Operations
|
Alexandre Kirszenberg
|
2020
|
esteban.20.seminar
|
Estimation of the Noise Level Function in Multivariate Images using the Tree of Shapes and non-parametric statistics
|
Baptiste Esteban
|
2020
|
valais.20.seminar
|
Implementing Baker's SUBTYPEP decision procedure
|
Leo Valais
|
2020
|
ginane.19.seminar
|
Detecting danger in marine environnement
|
Charles Ginane
|
2019
|
huvelle.19.seminar
|
Reimplementation of testing-automata in Spot
|
Martin Huvelle
|
2019
|
valais.19.seminar
|
Implementing Baker's SUBTYPEP decision procedure
|
Leo Valais
|
2019
|
gossec.19.seminar
|
Binding a high-performance C++ image processing library to Python
|
Celian Gossec
|
2019
|
buatois.19.seminar
|
Brain Tumor Segmentation with deep convolutional network approach
|
Thibault Buatois
|
2019
|
linsenmaier.19.seminar
|
Automatic troll farm account detection on Twitter
|
Hugo Linsenmaier
|
2019
|
guenezan.19.seminar
|
Distributed State Space Exploration
|
Paul Guénézan
|
2019
|
hacquard.19.seminar
|
Parallelism and Indexation in Quickref
|
Antoine Hacquard
|
2019
|
khoudli.19.seminar
|
Mathematical morphology and deep convolutional neural networks
|
Younes Khoudli
|
2019
|
remaud.19.seminar
|
State compression in Spot
|
Arthur Remaud
|
2019
|
kirszenberg.19.seminar
|
Integrating Mathematical Morphology within Deep Convolutional Neural Networks
|
Alexandre Kirszenberg
|
2019
|
carvalho.19.seminar
|
Artificial states generation in state spaces using kernel density estimation
|
Thomas De Carvalho
|
2019
|
tourneur.19.seminar
|
Benchmarking of Partial Order Reduction in Spot
|
Vincent Tourneur
|
2019
|
martin.19.seminar
|
Exploring various implementations for goroutines support in go2pins
|
Antoine Martin
|
2019
|
esteban.19.seminar
|
Estimation of the noise level function in natural images using the tree of shapes
|
Baptiste Esteban
|
2019
|
gillard.19.seminar
|
Counterexample searches in Spot
|
Clément Gillard
|
2019
|
sainson.19.seminar
|
Modelling and Identifying Troll Farm Accounts on Twitter
|
Antoine Sainson
|
2019
|
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
|
kirszenberg.18.seminar
|
go2pins: A model checking toolset for the Go programming language
|
Alexandre Kirszenberg
|
2018
|
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
|
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
|
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
|