Semantic search
Title | Authors | Year | |
---|---|---|---|
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 |
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 |
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 |
tourneur.17.seminar | Partial order reduction in SPOT | Vincent Tourneur | 2017 |
xu.17.seminar | Improvements of Simulation-based Reduction | Laurent Xu | 2017 |