LRDE
LRDE
General Information
Home
People
News
Jobs
Lrde bulletin
Intranet
Research
Projects
Partnerships
Publications
LRDE Seminar
Studying at LRDE
Life at the LRDE
Joining the LRDE
Education
Courses at EPITA
External courses
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
Browse properties
Browse properties
Property
Publication year
From LRDE
This is a property of type
Text
.
Usage
512
previous 50
20
50
100
250
500
next 50
Filter
<p>The <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Property_page/Filter">search filter</a> allows the inclusion of <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Query_expressions">query expressions</a> such as <code>~</code> or <code>!</code>. The selected <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Query_engine">query engine</a> might also support case insensitive matching or other short expressions like:</p><ul><li><code>in:</code> result should include the term, e.g. '<code>in:Foo</code>'</li></ul><ul><li><code>not:</code> result should to not include the term, e.g. '<code>not:Bar</code>'</li></ul>
Showing 50 pages using this property.
.
... Insert a title in French here ...
+
2020
+
... Insert a title in French here ...
+
2021
+
A
A Feedback Arc Set for Spot
+
2014
+
A Promela front-end for Spot
+
2008
+
A co-Büching Toolbox
+
2017
+
A comparative study of image invariants for text / non-text classification
+
2012
+
A fast algorithm for auto-dual trees
+
2010
+
A new translation from LTL into TGBA in Spot
+
2010
+
About the computation of the Tree of Shapes on n-dimensional images in quasi-linear time.
+
2013
+
Active Learning on Visibly One Counter Systems
+
2021
+
Adaptation d'algorithmes de Vaucanson à une interface plus simple
+
2010
+
Adaptation de l'algorithme de watershed cuts aux complexes cellulaires
+
2015
+
Adaptation of the watershed cuts algorithm to cellular complexes
+
2015
+
Adapter les structures de données de Vaucanson au concept de kind et à une interface rénovée
+
2010
+
Adapting Vaucanson algorithms to a simpler interface
+
2010
+
Adapting the data structures of Vaucanson to the concept of kind and a new interface
+
2010
+
Adaptive partial order reduction methods
+
2013
+
Adding Contracts to C++ with Transformers
+
2009
+
Ajout de la programmation par contrats au C++ avec Transformers
+
2009
+
Algorithmes sur les Transducteurs
+
2015
+
Algorithms on Transducers
+
2015
+
Alternate Fictitious Play study and implementation
+
2008
+
Alternating automata support
+
2016
+
Amélioration de la base d'entraînement d'un classifieur k-nn d'OCR
+
2015
+
Amélioration de la composition des transducteurs dans Vaucanson
+
2008
+
Amélioration de la dégénéralisation dans Spot
+
2011
+
Amélioration de la réduction par simulation
+
2017
+
Améliorer Horn-Schunck
+
2012
+
Améliorer l'architecture de Vaucanson 2
+
2013
+
Améliorer la determinisation d'automates de Büchi
+
2016
+
An edge-based attribute filter dedicated to image segmentation
+
2010
+
An efficient implementation of transition-based generalized Büchi automaton determinization
+
2015
+
An implementation of the C++ container library with SCOOL
+
2009
+
An interpreter for Vaucanson
+
2004
+
An interpreter for Vaucanson
+
2004
+
An overview of Scoop, a static object-oriented paradigm
+
2007
+
An overview of Vaucanson
+
2004
+
An overview of Vaucanson
+
2004
+
Analyse de la mise en page d'un document dans SCRIBO
+
2011
+
Analyse de performances dans Vaucanson
+
2009
+
Analyse structurelle haut-niveau de document dans le module Scribo d'Olena
+
2013
+
Analysis of the Vaucanson project
+
2004
+
Analysis of the Vaucanson project
+
2004
+
Apprentissage d'Opérations Morphologiques
+
2020
+
Apprentissage d'une distance entre deux i-vectors via des réseaux de neurones à convolution
+
2015
+
Approche fonctionnelle de la généricité du traitement d'image
+
2010
+
Approche parallèle pour le calcul de l'arbre des formes en n-dimensions
+
2012
+
Approximation de la distance entre i-vecteurs par Perceptron Multi-Couches dans les systèmes de reconnaissance du locuteur
+
2013
+
Aprentissage Actif d'Automates Visiblement á un compteur
+
2021
+
Arbres de composantes et opérateurs de chaînage
+
2011
+