User contributions
- 18:06, 9 January 2018 diff hist +198 N Publications/neri.07.seminar/fr Created page with "{{CSIReportFR | authors = Neri Nicolas | titre = Learning models for model-checking | resume = FIXME | year = 2007 | number = 0704 | lrdeprojects = APMC | type = techreport | ..." current
- 18:06, 9 January 2018 diff hist +198 N Publications/neri.07.seminar Created page with "{{CSIReport | authors = Neri Nicolas | title = Learning models for model-checking | abstract = FIXME | year = 2007 | number = 0704 | lrdeprojects = APMC | type = techreport | ..." current
- 18:06, 9 January 2018 diff hist +739 N Publications/moulard.08.seminar/fr Created page with "{{CSIReportFR | authors = Thomas Moulard | titre = Une introduction à Scoop, un paradigme Cxx orienté objet | year = 2007 | resume = Cxx a réussi à supporter à la fois la..." current
- 18:06, 9 January 2018 diff hist +648 N Publications/moulard.08.seminar Created page with "{{CSIReport | authors = Thomas Moulard | title = An overview of Scoop, a static object-oriented paradigm | year = 2007 | abstract = Cxx has achieved to support classic object-..." current
- 18:06, 9 January 2018 diff hist +215 N Publications/moulard.07.seminar/fr Created page with "{{CSIReportFR | authors = Thomas Moulard | titre = C++ container library with the SCOOP paradigm | resume = FIXME | year = 2007 | number = 0710 | lrdeprojects = Olena | type =..." current
- 18:06, 9 January 2018 diff hist +215 N Publications/moulard.07.seminar Created page with "{{CSIReport | authors = Thomas Moulard | title = C++ container library with the SCOOP paradigm | abstract = FIXME | year = 2007 | number = 0710 | lrdeprojects = Olena | type =..." current
- 18:06, 9 January 2018 diff hist 0 Publications/200607-Hocquet-Moulard Redirected page to Publications/moulard.06.seminar
- 18:06, 9 January 2018 diff hist +209 N Publications/moulard.06.seminar/fr Created page with "{{CSIReportFR | authors = Thomas Moulard | titre = Conception of a static oriented language: an overview of Scool | resume = FIXME | year = 2006 | number = 0610 | type = techr..." current
- 18:06, 9 January 2018 diff hist +209 N Publications/moulard.06.seminar Created page with "{{CSIReport | authors = Thomas Moulard | title = Conception of a static oriented language: an overview of Scool | abstract = FIXME | year = 2006 | number = 0610 | type = techr..." current
- 18:06, 9 January 2018 diff hist +789 N Publications/moreira.13.seminar/fr Created page with "{{CSIReportFR | authors = David Moreira | titre = FSMXML pour Vaucanson 2.0 | year = 2013 | number = 1201 | resume = Vaucanson est une bibliothèque de manipulation d'automate..." current
- 18:06, 9 January 2018 diff hist +672 N Publications/moreira.13.seminar Created page with "{{CSIReport | authors = David Moreira | title = FSMXML for Vaucanson 2.0 | year = 2013 | number = 1201 | abstract = Vaucanson is a finite-state machine manipulation platform f..." current
- 18:06, 9 January 2018 diff hist +813 N Publications/moreira.12.seminar/fr Created page with "{{CSIReportFR | authors = David Moreira | titre = Vers Vaucanson 2.0 | year = 2012 | number = 1201 | resume = Vaucanson est une plate-forme de manipulation d'automates et de t..." current
- 18:06, 9 January 2018 diff hist +769 N Publications/moreira.12.seminar Created page with "{{CSIReport | authors = David Moreira | title = Towards Vaucanson 2.0 | year = 2012 | number = 1201 | abstract = Vaucanson is a finite-state machine manipulation platform for ..." current
- 18:06, 9 January 2018 diff hist +886 N Publications/moreira.11.seminar/fr Created page with "{{CSIReportFR | authors = David Moreira | titre = Implémentation du corps des (nombres) rationnels | year = 2011 | number = 1107 | resume = Vaucanson est une plateforme de ma..." current
- 18:06, 9 January 2018 diff hist +806 N Publications/moreira.11.seminar Created page with "{{CSIReport | authors = David Moreira | title = Implementing rational semiring | year = 2011 | number = 1107 | abstract = Vaucanson is a finite state machine manipulation plat..." current
- 18:06, 9 January 2018 diff hist +852 N Publications/moreau.16.seminar/fr Created page with "{{CSIReportFR | authors = Anatole Moreau | titre = Calcul de distance par un rśeau de neurones profond siamois | year = 2016 | number = 1608 | resume = Ce travail utilise une..." current
- 18:06, 9 January 2018 diff hist +775 N Publications/moreau.16.seminar Created page with "{{CSIReport | authors = Anatole Moreau | title = Metric Learning using a Siamese Deep Neural Network | year = 2016 | number = 1608 | abstract = This work uses a siamese archit..." current
- 18:06, 9 January 2018 diff hist +786 N Publications/michaud.17.seminar/fr Created page with "{{CSIReportFR | authors = Thibaud Michaud | titre = Synthèse LTL avec Spot | year = 2017 | number = 1707 | resume = Nous présentons un nouvel outil de synthèse de circuit ..." current
- 18:06, 9 January 2018 diff hist +703 N Publications/michaud.17.seminar Created page with "{{CSIReport | authors = Thibaud Michaud | title = LTL Synthesis with Spot | year = 2017 | number = 1707 | abstract = We present a new tool for circuit synthesis from LTL speci..." current
- 18:06, 9 January 2018 diff hist +702 N Publications/michaud.16.seminar/fr Created page with "{{CSIReportFR | authors = Thibaud Michaud | titre = Quotients d'automates pondérés et de séries rationnelles | year = 2016 | number = 1603 | resume = Dans ce rapport, nous ..." current
- 18:06, 9 January 2018 diff hist +609 N Publications/michaud.16.seminar Created page with "{{CSIReport | authors = Thibaud Michaud | title = Quotient of weighted automata and rational series | year = 2016 | number = 1603 | abstract = In this report, we show how the ..." current
- 18:06, 9 January 2018 diff hist +325 N Publications/melin.07.seminar/fr Created page with "{{CSIReportFR | authors = Charles Melin, Julien Ramakichenin | titre = LRDE's Speaker Verification Framework | resume = FIXME | year = 2007 | number = 0706 | lrdekeywords = ga..." current
- 18:06, 9 January 2018 diff hist +325 N Publications/melin.07.seminar Created page with "{{CSIReport | authors = Charles Melin, Julien Ramakichenin | title = LRDE's Speaker Verification Framework | abstract = FIXME | year = 2007 | number = 0706 | lrdekeywords = ga..." current
- 18:06, 9 January 2018 diff hist +1,665 N Publications/marquegnies.12.seminar/fr Created page with "{{CSIReportFR | authors = Julien Marquegnies | titre = Etude comparative d'invariants de forme pour la classification texte / non-texte | year = 2012 | number = 1115 | resume ..." current
- 18:06, 9 January 2018 diff hist +1,416 N Publications/marquegnies.12.seminar Created page with "{{CSIReport | authors = Julien Marquegnies | title = A comparative study of image invariants for text / non-text classification | year = 2012 | number = 1115 | abstract = Imag..." current
- 18:06, 9 January 2018 diff hist +913 N Publications/marquegnies.11.seminar/fr Created page with "{{CSIReportFR | authors = Julien Marquegnies | titre = Analyse de la mise en page d'un document dans SCRIBO | year = 2011 | number = 1102 | resume = L'extraction des différen..." current
- 18:06, 9 January 2018 diff hist +802 N Publications/marquegnies.11.seminar Created page with "{{CSIReport | authors = Julien Marquegnies | title = Document layout analysis in SCRIBO | year = 2011 | number = 1102 | abstract = The extraction of the different structures o..." current
- 18:06, 9 January 2018 diff hist +1,060 N Publications/marquegnies.10.seminar/fr Created page with "{{CSIReportFR | authors = Julien Marquegnies | titre = Outils pour la dématérialisation dans SCRIBO | year = 2010 | resume = SCRIBO, pour Semi-automatic and Collaborative Re..." current
- 18:06, 9 January 2018 diff hist +1,201 N Publications/marquegnies.10.seminar Created page with "{{CSIReport | authors = Julien Marquegnies | title = Dematerialization Tools in SCRIBO | year = 2010 | abstract = SCRIBO, for Semi-automatic and Collaborative Retrieval of Inf..." current
- 18:06, 9 January 2018 diff hist +865 N Publications/ma.09.seminar/fr Created page with "{{CSIReportFR | authors = Jimmy Ma | titre = Les automates en traitement automatique des langues naturelles | year = 2009 | resume = Jusqu'à présent, Vaucanson s'adressait e..." current
- 18:06, 9 January 2018 diff hist +804 N Publications/ma.09.seminar Created page with "{{CSIReport | authors = Jimmy Ma | title = Automata in Natural Language Processing | year = 2009 | abstract = Vaucanson has been designed to satisfy the needs of the automatic..." current
- 18:06, 9 January 2018 diff hist +902 N Publications/ma.08.seminar/fr Created page with "{{CSIReportFR | authors = Jimmy Ma | titre = Booster les itérateurs de Vaucanson | year = 2008 | resume = Vaucanson est une bibliothèque générique de manipulation d'automa..." current
- 18:06, 9 January 2018 diff hist +808 N Publications/ma.08.seminar Created page with "{{CSIReport | authors = Jimmy Ma | title = Boosting Vaucanson's Iterator | year = 2008 | abstract = Vaucanson is a generic finite state machine manipulation platform. We have ..." current
- 18:06, 9 January 2018 diff hist +941 N Publications/lobry.13.seminar/fr Created page with "{{CSIReportFR | authors = Sylvain Lobry | titre = Calcul du flux optique dans des séquences avec des parties manquantes | year = 2012 | resume = Calculer le flux optique peut..." current
- 18:06, 9 January 2018 diff hist +867 N Publications/lobry.13.seminar Created page with "{{CSIReport | authors = Sylvain Lobry | title = Computing the optical flow in sequences with missing parts | year = 2012 | abstract = Computing optical flow can be a first ste..." current
- 18:06, 9 January 2018 diff hist +1,089 N Publications/lobry.12.seminar/fr Created page with "{{CSIReportFR | authors = Sylvain Lobry | titre = Améliorer Horn-Schunck | year = 2012 | resume = Calculer le flux optique a de nombreuses applications telles que l'estimatio..." current
- 18:06, 9 January 2018 diff hist +896 N Publications/lobry.12.seminar Created page with "{{CSIReport | authors = Sylvain Lobry | title = Improving Horn-Schunck | year = 2012 | abstract = Computing optical flow has many applications including motion estimation, or ..." current
- 18:06, 9 January 2018 diff hist +763 N Publications/lobry.11.seminar/fr Created page with "{{CSIReportFR | authors = Sylvain Lobry | titre = Désambiguïsation de la superposition de lignes. | year = 2011 | resume = Lorsque l'on essaye d'extraire du texte en inverse..." current
- 18:06, 9 January 2018 diff hist +617 N Publications/lobry.11.seminar Created page with "{{CSIReport | authors = Sylvain Lobry | title = Scribo: Disambiguation of lines superimposement | year = 2011 | abstract = This report aims to explain and resolve a common pro..." current
- 18:06, 9 January 2018 diff hist +1,467 N Publications/lewkowicz.16.seminar/fr Created page with "{{CSIReportFR | authors = Alexandre Lewkowicz | titre = Améliorer la determinisation d'automates de Büchi | year = 2016 | number = 1601 | resume = L'algorithme de Safra perm..." current
- 18:05, 9 January 2018 diff hist +1,358 N Publications/lewkowicz.16.seminar Created page with "{{CSIReport | authors = Alexandre Lewkowicz | title = Improving the determinization of Büchi automata | year = 2016 | number = 1601 | abstract = Safra's algorithm is a well k..." current
- 18:05, 9 January 2018 diff hist +1,376 N Publications/lewkowicz.15.seminar/fr Created page with "{{CSIReportFR | authors = Alexandre Lewkowicz | titre = Une implementation efficace de déterminisation d'automates de Büchi généralisés à transitions acceptantes | year ..." current
- 18:05, 9 January 2018 diff hist +1,223 N Publications/lewkowicz.15.seminar Created page with "{{CSIReport | authors = Alexandre Lewkowicz | title = An efficient implementation of transition-based generalized Büchi automaton determinization | year = 2015 | number = 150..." current
- 18:05, 9 January 2018 diff hist +1,227 N Publications/lewkowicz.14.seminar/fr Created page with "{{CSIReportFR | authors = Alexandre Lewkowicz | titre = Un Feedback Arc Set pour Spot | year = 2014 | number = 1406 | resume = Spot est une bibliothèque extensible pour le mo..." current
- 18:05, 9 January 2018 diff hist +1,074 N Publications/lewkowicz.14.seminar Created page with "{{CSIReport | authors = Alexandre Lewkowicz | title = A Feedback Arc Set for Spot | year = 2014 | number = 1406 | abstract = Spot is an extensible model checking library using..." current
- 18:05, 9 January 2018 diff hist +884 N Publications/levi.13.seminar/fr Created page with "{{CSIReportFR | authors = Coddy Levi | titre = Inpainting variationnel par combinaison d'invariants | year = 2013 | resume = L'inpainting consiste à réparer des parties d'un..." current
- 18:05, 9 January 2018 diff hist +802 N Publications/levi.13.seminar Created page with "{{CSIReport | authors = Coddy Levi | title = Variational image inpainting by combination of features | year = 2013 | abstract = Image inpainting is the process of reconstructi..." current
- 18:05, 9 January 2018 diff hist +784 N Publications/levi.12.seminar/fr Created page with "{{CSIReportFR | authors = Coddy Levi | titre = Inpainting rapide préservant la structure | year = 2012 | resume = L'inpainting consiste à réparer des parties d'une image de..." current
- 18:05, 9 January 2018 diff hist +680 N Publications/levi.12.seminar Created page with "{{CSIReport | authors = Coddy Levi | title = Fast structure preserving inpainting | year = 2012 | abstract = Image inpainting is the process of reconstructing part of an image..." current
- 18:05, 9 January 2018 diff hist +692 N Publications/levi.11.seminar/fr Created page with "{{CSIReportFR | authors = Coddy Levi | titre = Extraction de l'inverse video dans SCRIBO. | year = 2011 | resume = Le texte sujet à extraction via l'analyse de document peut ..." current