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