User contributions
- 18:07, 9 January 2018 diff hist +1,073 N Publications/queze.08.seminar.transend Created page with "{{CSIReport | authors = Florian Quèze | title = Transformers: toward the end of the pipeline | year = 2008 | abstract = The goal of the Transformers project is to create a C ..." current
- 18:07, 9 January 2018 diff hist +687 N Publications/queze.08.seminar/fr Created page with "{{CSIReportFR | authors = Florian Quèze | titre = Découpage de programme C++ avec Transformers | year = 2008 | resume = Transformers est un emsemble d'outils basés sur Stra..." current
- 18:07, 9 January 2018 diff hist +564 N Publications/queze.08.seminar Created page with "{{CSIReport | authors = Florian Quèze | title = C++ Program Slicing with Transformers | year = 2008 | abstract = Transformers is a C++ manipulation framework built on Strateg..." current
- 18:07, 9 January 2018 diff hist +318 N Publications/queze.07.seminar/fr Created page with "{{CSIReportFR | authors = Florian Quèze | titre = Tools for Attribute Grammars manipulation in Transformers | resume = FIXME | year = 2007 | number = 0747 | lrdekeywords = Tr..." current
- 18:07, 9 January 2018 diff hist +318 N Publications/queze.07.seminar Created page with "{{CSIReport | authors = Florian Quèze | title = Tools for Attribute Grammars manipulation in Transformers | abstract = FIXME | year = 2007 | number = 0747 | lrdekeywords = Tr..." current
- 18:07, 9 January 2018 diff hist +1,270 N Publications/querol.08.seminar/fr Created page with "{{CSIReportFR | authors = Geoffroy Querol | titre = SVM-MLLR et fusion pour la vérification du locuteur | year = 2008 | resume = Afin d'améliorer la performance globale des ..." current
- 18:07, 9 January 2018 diff hist +1,278 N Publications/querol.08.seminar Created page with "{{CSIReport | authors = Geoffroy Querol | title = SVM-MLLR for multi-speaker verification systems score fusion | year = 2008 | abstract = Afin d'améliorer la performance glob..." current
- 18:07, 9 January 2018 diff hist +367 N Publications/querol.07.seminar/fr Created page with "{{CSIReportFR | authors = Geoffroy Querol | titre = Speaker recognition evaluation: selective approaches and fusion | resume = FIXME | year = 2007 | number = 0707 | lrdekeywor..." current
- 18:07, 9 January 2018 diff hist +367 N Publications/querol.07.seminar Created page with "{{CSIReport | authors = Geoffroy Querol | title = Speaker recognition evaluation: selective approaches and fusion | abstract = FIXME | year = 2007 | number = 0707 | lrdekeywor..." current
- 18:07, 9 January 2018 diff hist +1,465 N Publications/pouillard.06.seminar/fr Created page with "{{CSIReportFR | authors = Nicolas Pouillard, Damien Thivolle | titre = Dynamization of C++ static libraries | year = 2006 | number = 0602 | lrdeprojects = Olena | lrdepaper = ..." current
- 18:07, 9 January 2018 diff hist +1,465 N Publications/pouillard.06.seminar Created page with "{{CSIReport | authors = Nicolas Pouillard, Damien Thivolle | title = Dynamization of C++ static libraries | year = 2006 | number = 0602 | lrdeprojects = Olena | lrdepaper = ht..." current
- 18:06, 9 January 2018 diff hist +272 N Publications/pouchet.04.seminar.interpreter/fr Created page with "{{CSIReportFR | authors = Louis-Noël Pouchet | titre = An interpreter for Vaucanson | resume = FIXME | year = 2004 | number = 0413 | lrdekeywords = Vaucanson, interpreter, sw..." current
- 18:06, 9 January 2018 diff hist +272 N Publications/pouchet.04.seminar.interpreter Created page with "{{CSIReport | authors = Louis-Noël Pouchet | title = An interpreter for Vaucanson | abstract = FIXME | year = 2004 | number = 0413 | lrdekeywords = Vaucanson, interpreter, sw..." current
- 18:06, 9 January 2018 diff hist +195 N Publications/pouchet.04.seminar.gui/fr Created page with "{{CSIReportFR | authors = Louis-Noel Pouchët | titre = Développement d'une interface graphique pour Vaucanson | resume = FIXME | year = 2004 | type = techreport | id = pouch..." current
- 18:06, 9 January 2018 diff hist +195 N Publications/pouchet.04.seminar.gui Created page with "{{CSIReport | authors = Louis-Noel Pouchët | title = Développement d'une interface graphique pour Vaucanson | abstract = FIXME | year = 2004 | type = techreport | id = pouch..." current
- 18:06, 9 January 2018 diff hist +611 N Publications/pietri.16.seminar/fr Created page with "{{CSIReportFR | authors = Antoine Pietri | titre = Génération aléatoire d'automates et de chemins dans Vcsn | year = 2016 | number = 1602 | resume = Ce rapport présente l'..." current
- 18:06, 9 January 2018 diff hist +555 N Publications/pietri.16.seminar Created page with "{{CSIReport | authors = Antoine Pietri | title = Random automata and path generation in Vcsn | year = 2016 | number = 1602 | abstract = This report presents the implementation..." current
- 18:06, 9 January 2018 diff hist +709 N Publications/pietri.15.seminar/fr Created page with "{{CSIReportFR | authors = Antoine Pietri | titre = Suppression efficace de transitions spontanées dans Vcsn | year = 2015 | number = 1504 | resume = Ce rapport expose des fac..." current
- 18:06, 9 January 2018 diff hist +707 N Publications/pietri.15.seminar Created page with "{{CSIReport | authors = Antoine Pietri | title = Efficient removal of spontaneous transitions in Vcsn | year = 2015 | number = 1504 | abstract = This report exposes some perfo..." current
- 18:06, 9 January 2018 diff hist +1,373 N Publications/pietri.14.seminar/fr Created page with "{{CSIReportFR | authors = Antoine Pietri | titre = Recherche de petits mots synchronisants | year = 2014 | number = 1402 | resume = Le probléme de recherche de mots synchroni..." current
- 18:06, 9 January 2018 diff hist +1,090 N Publications/pietri.14.seminar Created page with "{{CSIReport | authors = Antoine Pietri | title = Finding Short Synchronizing Words | year = 2014 | number = 1402 | abstract = The problem of finding short synchronizing words ..." current
- 18:06, 9 January 2018 diff hist +1,484 N Publications/pierron.08.seminar/fr Created page with "{{CSIReportFR | authors = Akim Demaille, Renaud Durlin, Nicolas Pierron, Benoît Sigoure | titre = Automatic Attribute Propagation for Modular Attribute Grammars | year = 2008..." current
- 18:06, 9 January 2018 diff hist +1,270 N Publications/pierron.08.seminar Created page with "{{CSIReport | authors = Akim Demaille, Renaud Durlin, Nicolas Pierron, Benoît Sigoure | title = Automatic Attribute Propagation for Modular Attribute Grammars | year = 2008 |..." current
- 18:06, 9 January 2018 diff hist +1,001 N Publications/pierron.07.seminar/fr Created page with "{{CSIReportFR | authors = Nicolas Pierron | titre = Formal Definition of the Disambiguation with Attribute Grammars | year = 2007 | resume = Le problème actuel de la désambi..." current
- 18:06, 9 January 2018 diff hist +938 N Publications/pierron.07.seminar Created page with "{{CSIReport | authors = Nicolas Pierron | title = Formal Definition of the Disambiguation with Attribute Grammars | year = 2007 | abstract = The current problem of the disambi..." current
- 18:06, 9 January 2018 diff hist +668 N Publications/piat.17.seminar/fr Created page with "{{CSIReportFR | authors = Sébastien Piat | titre = K plus courts chemins dans Vcsn | year = 2017 | number = 1701 | resume = Le calcul des K plus courts chemins dans un automa..." current
- 18:06, 9 January 2018 diff hist +588 N Publications/piat.17.seminar Created page with "{{CSIReport | authors = Sébastien Piat | title = K shortest-paths in Vcsn | year = 2017 | number = 1701 | abstract = The K shortest paths computation can be very time consumi..." current
- 18:06, 9 January 2018 diff hist +735 N Publications/piat.16.seminar2/fr Created page with "{{CSIReportFR | authors = Sébastien Piat | titre = K plus courts chemins dans Vcsn | year = 2016 | number = 1614 | resume = Lorsque l'on cherche à obtenir plusieurs plus cou..." current
- 18:06, 9 January 2018 diff hist +648 N Publications/piat.16.seminar2 Created page with "{{CSIReport | authors = Sébastien Piat | title = K shortest-paths in Vcsn | year = 2016 | number = 1614 | abstract = When trying to retrieve multiple shortest paths in a grap..." current
- 18:06, 9 January 2018 diff hist +909 N Publications/piat.16.seminar/fr Created page with "{{CSIReportFR | authors = Sébastien Piat | titre = Vcsn et la linguistique | year = 2016 | number = 1516 | resume = La théorie des automates étant utilisée pour représent..." current
- 18:06, 9 January 2018 diff hist +825 N Publications/piat.16.seminar Created page with "{{CSIReport | authors = Sébastien Piat | title = Vcsn Meets Linguistics | year = 2016 | number = 1516 | abstract = Linguistics is one of the field of application of the autom..." current
- 18:06, 9 January 2018 diff hist +1,273 N Publications/parutto.13.seminar/fr Created page with "{{CSIReportFR | authors = Pierre Parutto | titre = Méthodes de réduction par ordre partiel adaptatives. | year = 2013 | resume = Le model checking explicite de systèmes con..." current
- 18:06, 9 January 2018 diff hist +1,094 N Publications/parutto.13.seminar Created page with "{{CSIReport | authors = Pierre Parutto | title = Adaptive partial order reduction methods | year = 2013 | abstract = Explicit model checking of concurrent systems suffers from..." current
- 18:06, 9 January 2018 diff hist +938 N Publications/parutto.12.seminar/fr Created page with "{{CSIReportFR | authors = Pierre Parutto | titre = Méthodes de réduction par ordre partiel dans Spot | year = 2012 | resume = Spot est une bibliothèque de model checking im..." current
- 18:06, 9 January 2018 diff hist +791 N Publications/parutto.12.seminar Created page with "{{CSIReport | authors = Pierre Parutto | title = Partial order reduction methods for Spot | year = 2012 | abstract = Spot is a model checking library implementing an automaton..." current
- 18:06, 9 January 2018 diff hist +1,179 N Publications/parutto.11.seminar/fr Created page with "{{CSIReportFR | authors = Pierre Parutto | titre = Amélioration de la dégénéralisation dans Spot | year = 2011 | resume = Spot est une bibliothèque de model checking deve..." current
- 18:06, 9 January 2018 diff hist +1,013 N Publications/parutto.11.seminar Created page with "{{CSIReport | authors = Pierre Parutto | title = Improving degeneralization in Spot | year = 2011 | abstract = Spot is a model checking library developed at the LRDE. Its stre..." current
- 18:06, 9 January 2018 diff hist +948 N Publications/parquier.15.seminar/fr Created page with "{{CSIReportFR | authors = Claire Parquier | titre = Décomposition d'un automate de Büchi Généralisé multi-force | year = 2015 | resume = Les tests de vacuité permettent ..." current
- 18:06, 9 January 2018 diff hist +872 N Publications/parquier.15.seminar Created page with "{{CSIReport | authors = Claire Parquier | title = Strength-based decomposition of Büchi automaton | year = 2015 | abstract = Emptiness-checks enable to know if the language o..." current
- 18:06, 9 January 2018 diff hist +1,009 N Publications/ordy.10.seminar/fr Created page with "{{CSIReportFR | authors = Vincent Ordy | titre = Étude et analyse de l'écriture d'extensions du C++ grâce à Transformers | year = 2010 | resume = Le projet Transformers pe..." current
- 18:06, 9 January 2018 diff hist +991 N Publications/ordy.10.seminar Created page with "{{CSIReport | authors = Vincent Ordy | title = Study and Analysis of C++ Extension Conception with Transformers | year = 2010 | abstract = The Transformers project aims at pro..." current
- 18:06, 9 January 2018 diff hist +1,200 N Publications/ordy.09.seminar/fr Created page with "{{CSIReportFR | authors = Vincent Ordy | titre = Ajout de la programmation par contrats au C++ avec Transformers | year = 2009 | resume = La programmation par contrats est un ..." current
- 18:06, 9 January 2018 diff hist +1,108 N Publications/ordy.09.seminar Created page with "{{CSIReport | authors = Vincent Ordy | title = Adding Contracts to C++ with Transformers | year = 2009 | abstract = Contract programming is a paradigm that allows developers t..." current
- 18:06, 9 January 2018 diff hist +1,012 N Publications/ordy.08.seminar/fr Created page with "{{CSIReportFR | authors = Vincent Ordy | titre = Implémentation d'une extension du C++ dans Transformers: class namespace | year = 2008 | resume = Les classes en C++ sont fer..." current
- 18:06, 9 January 2018 diff hist +937 N Publications/ordy.08.seminar Created page with "{{CSIReport | authors = Vincent Ordy | title = Implementing a C++ extension with Transformers: class namespace | year = 2008 | abstract = C++ classes are closed, such that onc..." current
- 18:06, 9 January 2018 diff hist +191 N Publications/odou.05.seminar/fr Created page with "{{CSIReportFR | authors = Simon Odou | titre = Images taxonomy and modeling | resume = FIXME | year = 2005 | number = 0501 | lrdeprojects = Olena | type = techreport | id = od..." current
- 18:06, 9 January 2018 diff hist +191 N Publications/odou.05.seminar Created page with "{{CSIReport | authors = Simon Odou | title = Images taxonomy and modeling | abstract = FIXME | year = 2005 | number = 0501 | lrdeprojects = Olena | type = techreport | id = od..." current
- 18:06, 9 January 2018 diff hist +271 N Publications/o-connor.04.seminar/fr Created page with "{{CSIReportFR | authors = Sarah O'Connor | titre = Implementation of transducers in Vaucanson | resume = FIXME | year = 2004 | number = 0412 | lrdekeywords = Vaucanson, transd..." current
- 18:06, 9 January 2018 diff hist +271 N Publications/o-connor.04.seminar Created page with "{{CSIReport | authors = Sarah O'Connor | title = Implementation of transducers in Vaucanson | abstract = FIXME | year = 2004 | number = 0412 | lrdekeywords = Vaucanson, transd..." current
- 18:06, 9 January 2018 diff hist +793 N Publications/neri.08.seminar/fr Created page with "{{CSIReportFR | authors = Nicolas Neri | titre = Transfinite Chomp | year = 2007 | resume = Dans ce rapport technique, nous nous attardons sur le jeu de la tablette de chocola..." current