Semantic search

Title Authors Year
hacquard.19.seminar Parallelism and Indexation in Quickref Antoine Hacquard 2019
remaud.19.seminar State compression in Spot Arthur Remaud 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
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
khoudli.19.seminar Mathematical morphology and deep convolutional neural networks Younes Khoudli 2019
kirszenberg.19.seminar Integrating Mathematical Morphology within Deep Convolutional Neural Networks Alexandre Kirszenberg 2019
corno.19.seminar Using Scatter Search to find better variable ordering in BDDs Samuel Corno 2019
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
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
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
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
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
riols.15.seminar Speaker Diarization based on Independent Component Analysis Fanny Riols 2015
iovene.15.seminar I-Vectors distance learning with Convolutional Neural Networks Valentin Iovene 2015
batten.15.seminar Using the Mumford-Shah segmentation for Text Detection in images James Batten 2015
seure.15.seminar Improving OCR k-NN classifier's training set Anthony Seure 2015
lewkowicz.15.seminar An efficient implementation of transition-based generalized Büchi automaton determinization Alexandre Lewkowicz 2015
dore.15.seminar Adaptation of the watershed cuts algorithm to cellular complexes Guillaume Doré 2015
bounthong.15.seminar Speaker specific i-vector channel compensation in speaker recognition Jean-Luc Bounthong 2015
parquier.15.seminar Strength-based decomposition of Büchi automaton Claire Parquier 2015
yeh.15.seminar Local channel compensated method in Speaker Recognition System Jimmy Yeh 2015
pietri.15.seminar Efficient removal of spontaneous transitions in Vcsn Antoine Pietri 2015
groux.15.seminar IVector space mapping with Deep Neural Network Louis Groux 2015
barray.15.seminar New ways to use the Vcsn's Jupyter interface. Nicolas Barray 2015
berthet.15.seminar Image processing for plots detection from ancient maps Anne-Claire Berthet 2015
tolmer.15.seminar Algorithms on Transducers Valentin Tolmer 2015
tolmer.14.seminar Transducer composition in Vaucanson 2 Valentin Tolmer 2014
pietri.14.seminar Finding Short Synchronizing Words Antoine Pietri 2014
riols.14.seminar Markov Clustering Algorithm for Unsupervised Speaker Recognition System Fanny Riols 2014
lewkowicz.14.seminar A Feedback Arc Set for Spot Alexandre Lewkowicz 2014
seure.14.seminar Logotypes detection and other characteristics invariants using SIFT descriptors Anthony Seure 2014
badie.13.seminar Simulation-based Reductions for TGBA Thomas Badie 2013
boissel.13.seminar Reduce the resource consumption of a complex image processing chain Raphael Boissel 2013
crozet.13.seminar About the computation of the Tree of Shapes on n-dimensional images in quasi-linear time. Sébastien Crozet 2013
sanchez.13.seminar Improving Vaucanson's design Guillaume Sanchez 2013
roux.13.seminar Nonlinear Projection for Cosine Distance Scoring in I-Vector based Speaker Verification Systems. Benjamin Roux 2013
boissel.13.seminar2 Using a wavelet-based descriptor to extract information on object shape Raphaël Boissel 2013
crozet.13.seminar2 The Tree of Shapes Comparative Review of Component Tree Computation Algorithms. Sébastien Crozet 2013
parutto.13.seminar Adaptive partial order reduction methods Pierre Parutto 2013
santet.13.seminar Transducers in Vaucanson 2 Victor Marie-Santet 2013
vermorel.13.seminar Automatic maintenance of exported symbols in Common Lisp packages Christophe Vermorel 2013
roux.13.seminar2 SVM decision taking in I-Vector based Speaker Verification Systems Benjamin Roux 2013
bounthong.13.seminar Boltzmann Machine in speaker verification Jean-Luc Bounthong 2013
senta.13.seminar Parallel Climb Laurent Senta 2013
levi.13.seminar Variational image inpainting by combination of features Coddy Levi 2013
ripault.13.seminar Context-oriented programming applied to image processing François Ripault 2013
seure.13.seminar Logotypes detection and other characteristic invariants Anthony Seure 2013
yeh.13.seminar I-Vector Multilayer Perceptron in Speaker Recognition System Jimmy Yeh 2013
escobar.13.seminar High-level Document Structure Analysis in the Olena Scribo Module Christophe Escobar 2013
moreira.13.seminar FSMXML for Vaucanson 2.0 David Moreira 2013
ripault.13.seminar2 On coercion in Context-Oriented Programming François Ripault 2013
boissel.12.seminar Text extraction method based on wavelets Raphael Boissel 2012
crozet.12.seminar Parallel approach for the computation of the tree of shapes on n-dimensional images Sébastien Crozet 2012
roux.12.seminar Full Covariance Matrices based Gaussian Mixture Models Benjamin Roux 2012
parutto.12.seminar Partial order reduction methods for Spot Pierre Parutto 2012
lobry.12.seminar Improving Horn-Schunck Sylvain Lobry 2012
marquegnies.12.seminar A comparative study of image invariants for text / non-text classification Julien Marquegnies 2012
senta.12.seminar Building an interface for and with Climb Laurent Senta 2012
lobry.13.seminar Computing the optical flow in sequences with missing parts Sylvain Lobry 2012
levi.12.seminar Fast structure preserving inpainting Coddy Levi 2012
ripault.12.seminar Optimization in Common Lisp, and its application to Climb François Ripault 2012
moreira.12.seminar Towards Vaucanson 2.0 David Moreira 2012
chedeau.12.seminar Property based dispatch in functional languages Christopher Chedeau 2012
badie.12.seminar Direct-Simulation Reduction for TGBA Thomas Badie 2012
abecassis.12.seminar Parallelization in a generic image processing library Felix Abecassis 2012
parutto.11.seminar Improving degeneralization in Spot Pierre Parutto 2011
fiette.11.seminar Progresses towards Vaucanson 1.4 and 2.0 Guillaume Fiette 2011
lobry.11.seminar Scribo: Disambiguation of lines superimposement Sylvain Lobry 2011
marquegnies.11.seminar Document layout analysis in SCRIBO Julien Marquegnies 2011
senta.11.seminar Climb: Weighted Neighborhood Implementation Laurent Senta 2011
denuziere.11.seminar Designing the user interface for a Common Lisp generic library Loïc Denuzière 2011
lenoir.11.seminar Voice Activity Detection Victor Lenoir 2011
levi.11.seminar Inverse Video extraction in Scribo Coddy Levi 2011
lenoir.12.seminar Speaker Diarization Victor Lenoir 2011
moreira.11.seminar Implementing rational semiring David Moreira 2011
chedeau.11.seminar Component Trees and Chaining Operators in Climb Christopher Chedeau 2011
badie.11.seminar Bisimulation-based Reductions on TGBA Thomas Badie 2011
guillot.11.seminar Writing generic image processing algorithms Simon Guillot 2011
abecassis.11.seminar Optimizations in the Tiger Compiler Felix Abecassis 2011
marquegnies.10.seminar Dematerialization Tools in SCRIBO Julien Marquegnies 2010
d-halluin.10.seminar Adapting Vaucanson algorithms to a simpler interface Florent D'Halluin 2010
galtier.10.seminar Adapting the data structures of Vaucanson to the concept of kind and a new interface Jérôme Galtier 2010
seine.10.seminar Integrating modern parallel techniques in the Tiger compiler Warren Seine 2010
sadegh.10.seminar Complementing Büchi Automata With Alternating Automata Guillaume Sadegh 2010
carlinet.11.seminar A fast algorithm for auto-dual trees Edwin Carlinet 2010
denuziere.10.seminar Property-Based Genericity: A Dynamic Approach Loïc Denuzière 2010
hamelin.10.seminar Towards Vaucanson 2.0 Alex Hamelin 2010
hamelin.11.seminar Vaucanson 2.0 Internals Alex Hamelin 2010
lefortier.10.seminar A new translation from LTL into TGBA in Spot Damien Lefortier 2010
chedeau.10.seminar Functionnal approach of image processing genericity Christopher Chedeau 2010
abecassis.10.seminar Minimization of automata representing obligation formulae Felix Abecassis 2010
ordy.10.seminar Study and Analysis of C++ Extension Conception with Transformers Vincent Ordy 2010
carlinet.10.seminar An edge-based attribute filter dedicated to image segmentation Edwin Carlinet 2010
jardonnet.09.seminar Image reconstruction Ugo Jardonnet 2009
damota.09.seminar Nondeterminisation of alternating automata in SPOT Samuel Da Mota 2009
lefortier.09.seminar Translation of an extended LTL into TBGA in Spot Damien Lefortier 2009
folio.09.seminar Histograms Etienne Folio 2009
abraham.09.seminar Morphology on color images Alexandre Abraham 2009
garrigues.09.seminar Tarjan Union-Find algorithm and connected operators Matthieu Garrigues 2009
ballas.09.seminar Properties in Milena Nicolas Ballas 2009
ordy.09.seminar Adding Contracts to C++ with Transformers Vincent Ordy 2009
carlinet.09.seminar Component trees in Milena Edwin Carlinet 2009
ma.09.seminar Automata in Natural Language Processing Jimmy Ma 2009
d-halluin.09.seminar Benchmarking Vaucanson and large C++ libraries Florent D'Halluin 2009
galtier.09.seminar Remedial treatment for Vaucanson: an enhanced automaton concept Jérôme Galtier 2009
seine.09.seminar An implementation of the C++ container library with SCOOL Warren Seine 2009
sadegh.09.seminar Complementing Büchi Automata Guillaume Sadegh 2009
denuziere.09.seminar CLIMB: A Dynamic Approach To Generic Image Processing Loïc Denuzière 2009
hamelin.09.seminar Property based class hierarchy of Vaucanson's Algebra module Alex Hamelin 2009
queze.08.seminar C++ Program Slicing with Transformers Florian Quèze 2008
lefortier.08.seminar Translation of an extended LTL into TBGA in Spot Damien Lefortier 2008
lesaint.08.seminar.syncrelations Synchronous relations in Vaucanson Florian Lesaint 2008
queze.08.seminar.transend Transformers: toward the end of the pipeline Florian Quèze 2008
duhamel.08.seminar Stage de traitement d'image au LRDE Guillaume Duhamel 2008
garcia-ballester.08.seminar Fictious Play Jean-Philippe Garcia Ballester 2008
folio.08.seminar Distance Transform Etienne Folio 2008
charron.08.seminar Homolib Samuel Charron 2008
sigoure.08.seminar Run-Time Concrete-Syntax Program-Transformation in General Purpose Languages Benoît Sigoure 2008
abraham.08.seminar Topological Watershed Alexandre Abraham 2008
deledalle.08.seminar SVM Kernel Combining System for Speaker Verification Charles-Alban Deledalle 2008
raud.08.seminar Centaur: A generic framework simplifying C++ transformation Cédric Raud 2008
garrigues.08.seminar.fllt Fast Level Line Transform Matthieu Garrigues 2008
ballas.08.seminar Image taxonomy in Milena Nicolas Ballas 2008
ordy.08.seminar Implementing a C++ extension with Transformers: class namespace Vincent Ordy 2008
hocquet.08.seminar revCPP A reversible C++ preprocessor Benoît Sigoure, Quentin Hocquet 2008
van-noppen.08.seminar SCOOL: Concept-Oriented Programming Maxime van Noppen 2008
delmon.08.seminar Rational Expression Parser Vivien Delmon 2008
garrigues.08.seminar Stage de traitement d'image au LRDE Matthieu Garrigues 2008
legrand.08.seminar Generalized Linear Discriminant Sequence for Speaker Verification Antoine Legrand 2008
ma.08.seminar Boosting Vaucanson's Iterator Jimmy Ma 2008
d-halluin.08.seminar Yet Another Vaucanson GUI Florent D'Halluin 2008
galtier.08.seminar Improving Vaucanson's transducers composition algorithm Jérôme Galtier 2008
seine.08.seminar C++ template disambiguation with Transformers Attribute Grammars Warren Seine 2008
leblanc.08.seminar Alternate Fictitious Play study and implementation Antoine Leblanc 2008
vigouroux.08.seminar Color types in Milena Caroline Vigouroux 2008
durlin.08.seminar Semantics driven disambiguation: A comparison of different approaches Renaud Durlin 2008
sadegh.08.seminar A Promela front-end for Spot Guillaume Sadegh 2008
lazzara.08.seminar Boosting Vaucanson's genericity Guillaume Lazzara 2008
van-noppen.09.seminar SCOOL: Generic programming Maxime van Noppen 2008
delmon.08.seminar.reduce Automata Reduction Vivien Delmon 2008
querol.08.seminar SVM-MLLR for multi-speaker verification systems score fusion Geoffroy Querol 2008
pierron.08.seminar Automatic Attribute Propagation for Modular Attribute Grammars Akim Demaille, Renaud Durlin, Nicolas Pierron, Benoît Sigoure 2008
leblanc.08.seminar.comparison Efficiency comparison between Fictitious Play and Alternate Fictitious Play algorithms on the restricted set of zero-sum games Antoine Leblanc 2008
leroi.08.seminar Synchronized Tranducers Guillaume Leroi 2008
jardonnet.08.seminar Fast Image Registration Ugo Jardonnet 2008
lesaint.08.seminar FSMXML and its application in Vaucanson Florian Lesaint 2008
melin.07.seminar LRDE's Speaker Verification Framework Charles Melin, Julien Ramakichenin 2007
moulard.08.seminar An overview of Scoop, a static object-oriented paradigm Thomas Moulard 2007
abraham.07.seminar ConceptC++ study and possible integration in SCOOP Alexandre Abraham 2007
lazzara.07.seminar Boosting Vaucanson Guillame Lazzara, Jimmy Ma 2007
ballas.07.seminar Software engineering in Olena Core Nicolas Ballas 2007
neri.08.seminar Transfinite Chomp Nicolas Neri 2007
sigoure.07.seminar revCPP A reversible C++ preprocessor Benoît Sigoure, Quentin Hocquet 2007
moulard.07.seminar C++ container library with the SCOOP paradigm Thomas Moulard 2007
leblanc.07.seminar Efficient algorithmic methods for Nash equilibria computation Antoine Leblanc 2007
durlin.07.seminar Semantics driven disambiguation Renaud Durlin 2007
querol.07.seminar Speaker recognition evaluation: selective approaches and fusion Geoffroy Querol 2007
pierron.07.seminar Formal Definition of the Disambiguation with Attribute Grammars Nicolas Pierron 2007
deledalle.07.seminar Factor analysis based channel compensation in speaker verification Charles-Alban Deledalle 2007
neri.07.seminar Learning models for model-checking Neri Nicolas 2007
jardonnet.07.seminar Canvas in Morphological Algorithms Ugo Jardonnet 2007
lesaint.07.seminar XML Proposal and its Application in Vaucanson Florian Lesaint 2007
delmon.07.seminar Generic epsilon-removal Vivien Delmon 2007
van-noppen.07.seminar SCOOL: object orientation of a static language Maxime van Noppen 2007
queze.07.seminar Tools for Attribute Grammars manipulation in Transformers Florian Quèze 2007
pouillard.06.seminar Dynamization of C++ static libraries Nicolas Pouillard, Damien Thivolle 2006
hocquet.06.seminar Scool transformation towards C++ Quentin Hocquet 2006
sigoure.06.seminar eXtended Reactive Modules Benoît Sigoure 2006
moulard.06.seminar Conception of a static oriented language: an overview of Scool Thomas Moulard 2006
berger.06.seminar Image taxonomy in Olena Christophe Berger 2006
gournet.06.seminar Parsing with Transformers Olivier Gournet, Alexandre Borghi, Nicolas Pierron 2006
despres.05.seminar Regression benchmarking Nicolas Despres 2005
odou.05.seminar Images taxonomy and modeling Simon Odou 2005
terrones.05.seminar From an expression to the original automaton Florent Terrones 2005
bigaignon.05.seminar Computing the regular language recognized by a finite automaton Robert Bigaignon 2005
thivolle.05.seminar Canvas in Olena Damien Thivolle 2005
berger.05.seminar Using connected operators to manipulate image components Christophe Berger, Nicolas Widynski 2005
cadilhac.05.seminar Cover automata for finite languages Michaël Cadilhac 2005
claveirole.04.seminar.analysis Analysis of the Vaucanson project Thomas Claveirole 2004
vasseur.04.seminar Semantics driven disambiguation: a comparison of different approaches Clément Vasseur 2004
roussel.04.seminar2 C++ type-checking: A study of existing solutions Julien Roussel 2004
pouchet.04.seminar.gui Développement d'une interface graphique pour Vaucanson Louis-Noel Pouchët 2004
claveirole.04.seminar.overview An overview of Vaucanson Thomas Claveirole 2004
despres.04.seminar C++ Transformations panorama Nicolas Despres 2004
fosse.04.seminar Dynamic use of statically typed libraries, textscJust In Time compilation and other solutions Loïc Fosse 2004
pouchet.04.seminar.interpreter An interpreter for Vaucanson Louis-Noël Pouchet 2004
david.04.seminar Attribute grammars for C++ disambiguation Valentin David 2004
gournet.04.seminar Progress in C++ source preprocessing Olivier Gournet 2004
o-connor.04.seminar Implementation of transducers in Vaucanson Sarah O'Connor 2004
anisko.03.seminar Transformers: a C++ program transformation framework Robert Anisko, Valentin David, Clément Vasseur 2003