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