Special

All public logs

Combined display of all available logs of LRDE. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

Logs
(newest | oldest) View ( | ) (20 | 50 | 100 | 250 | 500)
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/abecassis.11.seminar/fr (content was: "{{CSIReportFR | authors = Felix Abecassis | titre = Optimisations dans le compilateur Tiger | year = 2011 | number = 1103 | resume = Le compilateur Tiger est un projet é..." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/abecassis.10.seminar/fr (content was: "{{CSIReportFR | authors = Felix Abecassis | titre = Minimisation d'automates représentant des obligations | year = 2010 | number = 1004 | resume = Le model checking est ..." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/yeh.15.seminar (content was: "{{CSIReport | authors = Jimmy Yeh | title = Local channel compensated method in Speaker Recognition System | year = 2015 | abstract = Currently, i-vectors become the stan..." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/yeh.13.seminar (content was: "{{CSIReport | authors = Jimmy Yeh | title = I-Vector Multilayer Perceptron in Speaker Recognition System | year = 2013 | number = 1306 | abstract = Actually, i-vector spa..." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/xu.17.seminar (content was: "{{CSIReport | authors = Laurent Xu | title = Improvements of Simulation-based Reduction | year = 2017 | number = 1706 | abstract = In model checking using <math>\omega</m..." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/xu.16.seminar (content was: "{{CSIReport | authors = Laurent Xu | title = Product of Parity Automata | year = 2016 | number = 1607 | abstract = Spot, a library for transition based Spot, a library fo..." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/vigouroux.08.seminar (content was: "{{CSIReport | authors = Caroline Vigouroux | title = Color types in Milena | year = 2008 | abstract = The Olena project provides a generic library for image processing, M..." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/vermorel.13.seminar (content was: "{{CSIReport | authors = Christophe Vermorel | title = Automatic maintenance of exported symbols in Common Lisp packages | year = 2013 | number = 1305 | abstract = Common ..." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/vasseur.04.seminar (content was: "{{CSIReport | title = Semantics driven disambiguation: a comparison of different approaches | abstract = FIXME | authors = Clément Vasseur | year = 2004 | lrdekeywords =..." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/van-noppen.09.seminar (content was: "{{CSIReport | authors = Maxime van Noppen | year = 2008 | title = SCOOL: Generic programming | abstract = Cxx has proved to be a powerful language to write generic and ef..." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/van-noppen.08.seminar (content was: "{{CSIReport | authors = Maxime van Noppen | year = 2008 | number = 0816 | title = SCOOL: Concept-Oriented Programming | abstract = Scool is a static object-oriented langu..." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/van-noppen.07.seminar (content was: "{{CSIReport | authors = Maxime van Noppen | title = SCOOL: object orientation of a static language | abstract = FIXME | year = 2007 | type = techreport | id = van-noppen...." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/tourneur.17.seminar (content was: "{{CSIReport | authors = Vincent Tourneur | title = Partial order reduction in SPOT | year = 2017 | number = 1709 | abstract = Nowadays, model-checking tools suffer from a..." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/tolmer.16.seminar (content was: "{{CSIReport | authors = Valentin Tolmer | title = Efficient Transducer Composition in Vcsn | year = 2016 | number = 1514 | abstract = Transducers are used in many context..." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/tolmer.15.seminar (content was: "{{CSIReport | authors = Valentin Tolmer | title = Algorithms on Transducers | year = 2015 | number = 1505 | abstract = Transducers are used in many contexts, such as spee..." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/tolmer.14.seminar (content was: "{{CSIReport | authors = Valentin Tolmer | title = Transducer composition in Vaucanson 2 | year = 2014 | number = 1401 | abstract = Transducers are used in many fields, su..." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/thivolle.05.seminar (content was: "{{CSIReport | authors = Damien Thivolle | title = Canvas in Olena | abstract = FIXME | year = 2005 | number = 0502 | lrdekeywords = canvas,code factorization,static inher..." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/terrones.05.seminar (content was: "{{CSIReport | authors = Florent Terrones | title = From an expression to the original automaton | abstract = FIXME | year = 2005 | number = 0507 | lrdeprojects = Vaucanso..." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/sigoure.08.seminar (content was: "{{CSIReport | authors = Benoît Sigoure | title = Run-Time Concrete-Syntax Program-Transformation in General Purpose Languages | year = 2008 | abstract = Program transfor..." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/sigoure.07.seminar (content was: "{{CSIReport | authors = Benoît Sigoure, Quentin Hocquet | title = revCPP A reversible C++ preprocessor | abstract = FIXME | year = 2007 | lrdekeywords = revCPP, unCPP, C..." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/sigoure.06.seminar (content was: "{{CSIReport | authors = Benoît Sigoure | title = eXtended Reactive Modules | year = 2006 | abstract = Reactive Modules is a formal model used to represent synchronous an..." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/seure.15.seminar (content was: "{{CSIReport | authors = Anthony Seure | title = Improving OCR k-NN classifier's training set | year = 2015 | abstract = One part of an OCR toolchain is to classify detect..." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/seure.14.seminar (content was: "{{CSIReport | authors = Anthony Seure | title = Logotypes detection and other characteristics invariants using SIFT descriptors | year = 2014 | number = 1407 | abstract =..." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/seure.13.seminar (content was: "{{CSIReport | authors = Anthony Seure | title = Logotypes detection and other characteristic invariants | year = 2013 | number = 1308 | abstract = The detection of logoty..." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/senta.13.seminar (content was: "{{CSIReport | authors = Laurent Senta | title = Parallel Climb | year = 2013 | abstract = Climb is a generic image processing library written in Common Lisp. The library ..." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/senta.12.seminar (content was: "{{CSIReport | authors = Laurent Senta | title = Building an interface for and with Climb | year = 2012 | abstract = Climb is a generic image processing library. Still con..." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/senta.11.seminar (content was: "{{CSIReport | authors = Laurent Senta | title = Climb: Weighted Neighborhood Implementation | year = 2011 | abstract = Climb is a generic image processing library develop..." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/seine.10.seminar (content was: "{{CSIReport | authors = Warren Seine | title = Integrating modern parallel techniques in the Tiger compiler | year = 2010 | number = 0911 | abstract = Tiger is a language..." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/seine.09.seminar (content was: "{{CSIReport | authors = Warren Seine | title = An implementation of the C++ container library with SCOOL | year = 2009 | number = 0904 | abstract = SCOOL is a domain-spec..." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/seine.08.seminar (content was: "{{CSIReport | authors = Warren Seine | title = C++ template disambiguation with Transformers Attribute Grammars | year = 2008 | number = 0811 | abstract = C++ is a contex..." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/santet.13.seminar (content was: "{{CSIReport | authors = Victor Marie-Santet | title = Transducers in Vaucanson 2 | year = 2013 | number = 1301 | abstract = Vaucanson is a library dedicated to finite aut..." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/sanchez.13.seminar (content was: "{{CSIReport | authors = Guillaume Sanchez | title = Improving Vaucanson's design | year = 2013 | number = 1302 | abstract = FIXME | lrdeprojects = Vaucanson | type = tech..." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/sadegh.10.seminar (content was: "{{CSIReport | authors = Guillaume Sadegh | title = Complementing Büchi Automata With Alternating Automata | year = 2010 | abstract = Model checking is a field of formal ..." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/sadegh.09.seminar (content was: "{{CSIReport | authors = Guillaume Sadegh | title = Complementing Büchi Automata | year = 2009 | abstract = Model checking is a field of formal verification which aims to..." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/sadegh.08.seminar (content was: "{{CSIReport | authors = Guillaume Sadegh | title = A Promela front-end for Spot | year = 2008 | abstract = Spot is a C++ library for model checking. For verification, Spo..." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/roux.13.seminar2 (content was: "{{CSIReport | authors = Benjamin Roux | title = SVM decision taking in I-Vector based Speaker Verification Systems | year = 2013 | abstract = State of the art speaker ver..." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/roux.13.seminar (content was: "{{CSIReport | authors = Benjamin Roux | title = Nonlinear Projection for Cosine Distance Scoring in I-Vector based Speaker Verification Systems. | year = 2013 | abstract ..." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/roux.12.seminar (content was: "{{CSIReport | authors = Benjamin Roux | title = Full Covariance Matrices based Gaussian Mixture Models | year = 2012 | abstract = Universal Background Models combined wit..." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/roussel.04.seminar2 (content was: "{{CSIReport | authors = Julien Roussel | title = C++ type-checking: A study of existing solutions | abstract = FIXME | year = 2004 | type = techreport | id = roussel.04.s..." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/ripault.13.seminar2 (content was: "{{CSIReport | authors = François Ripault | title = On coercion in Context-Oriented Programming | year = 2013 | number = 1312 | abstract = Context-Oriented programming is..." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/ripault.13.seminar (content was: "{{CSIReport | authors = François Ripault | title = Context-oriented programming applied to image processing | year = 2013 | number = 1303 | abstract = Context-oriented p..." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/ripault.12.seminar (content was: "{{CSIReport | authors = François Ripault | title = Optimization in Common Lisp, and its application to Climb | year = 2012 | abstract = Common Lisp is a dynamically type..." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/riols.16.seminar (content was: "{{CSIReport | authors = Fanny Riols | title = Speaker Diarization based on the Mel Frequency Cepstral Coefficients | year = 2016 | number = 1515 | abstract = Speaker diar..." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/riols.15.seminar (content was: "{{CSIReport | authors = Fanny Riols | title = Speaker Diarization based on Independent Component Analysis | year = 2015 | number = 1506 | abstract = During the last years..." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/riols.14.seminar (content was: "{{CSIReport | authors = Fanny Riols | title = Markov Clustering Algorithm for Unsupervised Speaker Recognition System | year = 2014 | number = 1408 | abstract = The i-vec..." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/remaud.17.seminar (content was: "{{CSIReport | authors = Arthur Remaud | title = Integration of TChecker in Spot | year = 2017 | number = 1712 | abstract = A timed automaton is an <math>\omega</math>-automaton which describe a model containing continue time conditions. ...")
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/raud.08.seminar (content was: "{{CSIReport | authors = Cédric Raud | title = Centaur: A generic framework simplifying C++ transformation | year = 2008 | abstract = The C++ standard grammar was not tho..." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/queze.08.seminar.transend (content was: "{{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..." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/queze.08.seminar (content was: "{{CSIReport | authors = Florian Quèze | title = C++ Program Slicing with Transformers | year = 2008 | abstract = Transformers is a C++ manipulation framework built on St..." (and the only contributor was "Bot"))
  • 18:01, 9 January 2018 Bot talk contribs deleted page Publications/queze.07.seminar (content was: "{{CSIReport | authors = Florian Quèze | title = Tools for Attribute Grammars manipulation in Transformers | abstract = FIXME | year = 2007 | number = 0747 | lrdekeywords..." (and the only contributor was "Bot"))
(newest | oldest) View ( | ) (20 | 50 | 100 | 250 | 500)