Personal tools

Student reports

From LRDE

Jump to: navigation, search


Title Authors Year
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
tolmer.16.seminar Efficient Transducer Composition in Vcsn Valentin Tolmer 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
lewkowicz.16.seminar Improving the determinization of Büchi automata Alexandre Lewkowicz 2016
deutsch.16.seminar Supervised Discrimination of Characters on Images Thibault Deutsch 2016
michaud.16.seminar Quotient of weighted automata and rational series Thibaud Michaud 2016
… further results