Property

Publication year

From LRDE

This is a property of type Text.

previous 2502050100250500next 250
Showing 250 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  +
Artificial states generation in state spaces using kernel density estimation +
2019  +
Artificial states generation in state spaces using kernel density estimation +
2019  +
Attribute grammars for C++ disambiguation +
2004  +
Attribute grammars for C++ disambiguation +
2004  +
Automata Reduction +
2008  +
Automata in Natural Language Processing +
2009  +
Automatic Attribute Propagation for Modular Attribute Grammars +
2008  +
Automatic Attribute Propagation for Modular Attribute Grammars +
2008  +
Automatic Heart Segmentation +
2018  +
Automatic detection of text zones on identity documents. +
2017  +
Automatic maintenance of exported symbols in Common Lisp packages +
2013  +
Automatic segmentation of Cassini's maps +
2016  +
Automatic troll farm account detection on Twitter +
2019  +
Avancées vers Vaucanson 1.4 et 2.0 +
2011  +
B
Banc d'essai de fonctions de coûts appliquées á la segmentation de tumeurs cérébrales +
2020  +
Benchmarking Vaucanson and large C++ libraries +
2009  +
Benchmarking of Partial Order Reduction in Spot +
2019  +
Binary Partition Tree for Image Processing +
2017  +
Binding a high-performance C++ image processing library to Python +
2019  +
Bisimulation-based Reductions on TGBA +
2011  +
Boltzmann Machine in speaker verification +
2013  +
Booster la généricité de Vaucanson +
2008  +
Booster les itérateurs de Vaucanson +
2008  +
Boosting Vaucanson +
2007  +
Boosting Vaucanson +
2007  +
Boosting Vaucanson's Iterator +
2008  +
Boosting Vaucanson's genericity +
2008  +
Bottleneck neural networks for Speaker Recognition +
2016  +
Brain MRI Segmentation using fully convolutional network +
2023  +
Brain MRI segmentation using mathematical morphology +
2021  +
Brain Tumor Segmentation with deep convolutional network approach +
2019  +
Building a quantum perceptron +
2021  +
Building an interface for and with Climb +
2012  +
C
C++ Program Slicing with Transformers +
2008  +
C++ Transformations panorama +
2004  +
C++ Transformations panorama +
2004  +
C++ container library with the SCOOP paradigm +
2007  +
C++ container library with the SCOOP paradigm +
2007  +
C++ template disambiguation with Transformers Attribute Grammars +
2008  +
C++ type-checking: A study of existing solutions +
2004  +
C++ type-checking: A study of existing solutions +
2004  +
CLIMB: A Dynamic Approach To Generic Image Processing +
2009  +
CLIMB: Une approche dynamique du traitement générique d'images +
2009  +
Calcul de distance par un rśeau de neurones profond siamois +
2016  +
Calcul du Complexe de Morse-Smale à l'aide de coupe de ligne de partage des eaux +
2017  +
Calcul du flux optique dans des séquences avec des parties manquantes +
2012  +
Canvas in Morphological Algorithms +
2007  +
Canvas in Morphological Algorithms +
2007  +
Canvas in Olena +
2005  +
Canvas in Olena +
2005  +
Centaur : Une infrastructure générique simplifiant les transformations de C++ +
2008  +
Centaur: A generic framework simplifying C++ transformation +
2008  +
Climb: Implémentation de voisinage pondérés +
2011  +
Climb: Weighted Neighborhood Implementation +
2011  +
Coercition et programmation orientée contexte +
2013  +
Color types in Milena +
2008  +
Comment implémenter le support des goroutines dans go2pins +
2019  +
Comparaison entre le Fictitious Play et le Fictitious Play Alterné dans le cadre des jeux à somme nulle +
2008  +
Compensation d'i-vecteur spécifique aux locuteurs dans la reconnaissance du locuteur +
2015  +
Compensation locale du canal dans les systèmes de reconnaissance du locuteur +
2015  +
Complementing Büchi Automata +
2009  +
Complementing Büchi Automata With Alternating Automata +
2010  +
Component Trees and Chaining Operators in Climb +
2011  +
Component trees in Milena +
2009  +
Composition Efficace de Transducteurs dans Vcsn +
2016  +
Composition de transducteur dans Vaucanson 2 +
2014  +
Compression d'états dans Spot +
2019  +
Computing the optical flow in sequences with missing parts +
2012  +
Computing the regular language recognized by a finite automaton +
2005  +
Computing the regular language recognized by a finite automaton +
2005  +
ConceptC++ study and possible integration in SCOOP +
2007  +
Conception of a static oriented language: an overview of Scool +
2006  +
Conception of a static oriented language: an overview of Scool +
2006  +
Concevoir l'interface d'une bibliothèque générique en Common Lisp +
2011  +
Construction d'une interface pour et avec Climb +
2012  +
Construire un perceptron quantique +
2021  +
Context-oriented programming applied to image processing +
2013  +
Contribution to dyn:: +
2016  +
Contribution à dyn:: +
2016  +
Counterexample searches in Spot +
2019  +
Cover automata for finite languages +
2005  +
Cover automata for finite languages +
2005  +
Creation of an antichain library +
2018  +
Création d'un lien entre une bibliothèque de traitement d'image en C++ hautes performances vers Python +
2019  +
Création d'une bibliothèque d'antichaîne +
2018  +
D
De nouvelles fac cons d'utiliser l'interface Jupyter. +
2015  +
Deciding Persistence or Recurrence Membership in Spot +
2018  +
Dematerialization Tools in SCRIBO +
2010  +
Designing the user interface for a Common Lisp generic library +
2011  +
Detecting Botnets Behaviors over Network Flows using Hidden Markov Models +
2020  +
Detecting danger in marine environment: Part 1 - Making the dataset +
2020  +
Detecting danger in marine environnement +
2019  +
Direct-Simulation Reduction for TGBA +
2012  +
Discrimination supervisé de caractères sur des images +
2016  +
Dispatch par propriétés dans les langages fonctionnels +
2012  +
Distance Transform +
2008  +
Distance Transform +
2008  +
Distributed State Space Exploration +
2019  +
Document layout analysis in SCRIBO +
2011  +
Domain Mismatch Compensation for Text-Independant Speaker Recognition +
2016  +
Domain Mismatch Compensation for Text-Independant Speaker Recognition +
2016  +
Dynamic use of statically typed libraries, textscJust In Time compilation and other solutions +
2004  +
Dynamic use of statically typed libraries, textscJust In Time compilation and other solutions +
2004  +
Dynamization of C++ static libraries +
2006  +
Dynamization of C++ static libraries +
2006  +
Décomposition d'un automate de Büchi Généralisé multi-force +
2015  +
Découpage automatique des cartes de Cassini +
2016  +
Découpage de programme C++ avec Transformers +
2008  +
Désambiguïsation de la superposition de lignes. +
2011  +
Désambiguïsation des patrons de type C++ avec les Grammaires Attribuées de Transformers +
2008  +
Détection Automatique de Comptes Troll Farm sur Twitter +
2019  +
Détection automatique de zones de textes sur des pièces d'identité +
2017  +
Détection de danger en milieu marin +
2019  +
Détection de danger en milieu marin, Création du dataset +
2020  +
Détection de logotypes et autres invariants caractéristiques +
2013  +
Détection de logotypes et autres invariants caractéristiques à l'aide de descripteurs SIFT +
2014  +
Détection de voix +
2011  +
Détection des comportements de botnets au travers d'un flux en réseau en utilisant des modèles de Markov cachés +
2020  +
Développement d'une interface graphique pour Vaucanson +
2004  +
Développement d'une interface graphique pour Vaucanson +
2004  +
E
Ecriture d'algorithmes de traitement d'images génériques +
2011  +
Efficiency comparison between Fictitious Play and Alternate Fictitious Play algorithms on the restricted set of zero-sum games +
2008  +
Efficient Transducer Composition in Vcsn +
2016  +
Efficient Translation of Fairness LTL Formulae into Deterministic Automata +
2018  +
Efficient algorithmic methods for Nash equilibria computation +
2007  +
Efficient algorithmic methods for Nash equilibria computation +
2007  +
Efficient implementations of hierarchical morphological representations +
2021  +
Efficient removal of spontaneous transitions in Vcsn +
2015  +
Estimation de la fonction de niveau de bruit dans des images multivariées en utilisant l'arbre des formes et des statistiques non-paramétriques +
2020  +
Estimation de la fonction de niveau de bruit dans des images naturelles en utilisant l'arbre des formes +
2019  +
Estimation of the Noise Level Function in Multivariate Images using the Tree of Shapes and non-parametric statistics +
2020  +
Estimation of the noise level function in natural images using the tree of shapes +
2019  +
Etude comparative d'invariants de forme pour la classification texte / non-texte +
2012  +
Etude de ConceptC++ et possible intégration dans SCOOP +
2007  +
Evaluation method of text detection algorithm rating +
2017  +
Exploration d'espace d'état distribué +
2019  +
Exploring various implementations for goroutines support in go2pins +
2019  +
Extraction de l'inverse video dans SCRIBO. +
2011  +
Extraction de texte avec des ondelettes +
2012  +
F
FSMXML and its application in Vaucanson +
2008  +
FSMXML et son utilisation dans Vaucanson +
2008  +
FSMXML for Vaucanson 2.0 +
2013  +
FSMXML pour Vaucanson 2.0 +
2013  +
Factor analysis based channel compensation in speaker verification +
2007  +
Factor analysis based channel compensation in speaker verification +
2007  +
Fast Image Registration +
2008  +
Fast Level Line Transform +
2008  +
Fast reductions for ω-automaton +
2022  +
Fast simulation based reduction for ω-automaton +
2021  +
Fast structure preserving inpainting +
2012  +
Fictious Play +
2008  +
Filtrage à base de contours pour la segmentation d'images +
2010  +
Finding Short Synchronizing Words +
2014  +
Formal Definition of the Disambiguation with Attribute Grammars +
2007  +
Formal Definition of the Disambiguation with Attribute Grammars +
2007  +
From an expression to the original automaton +
2005  +
From an expression to the original automaton +
2005  +
Front-end Promela dans Spot +
2008  +
Full Covariance Matrices based Gaussian Mixture Models +
2012  +
Functionnal approach of image processing genericity +
2010  +
G
Generalized Linear Discriminant Sequence for Speaker Verification +
2008  +
Generic epsilon-removal +
2007  +
Generic epsilon-removal +
2007  +
Gestion des transitions blackbox dans go2pins +
2021  +
Génération aléatoire d'automates et de chemins dans Vcsn +
2016  +
Génération aléatoire d'expression rationnelle +
2016  +
H
Handling blackbox transitions in go2pins +
2021  +
High-level Document Structure Analysis in the Olena Scribo Module +
2013  +
Histogrammes +
2009  +
Histograms +
2009  +
Hiérarchie par propriétés du module Algebra de Vaucanson +
2009  +
Homolib +
2008  +
Homolib +
2008  +
I
I-Vector Multilayer Perceptron in Speaker Recognition System +
2013  +
I-Vectors distance learning with Convolutional Neural Networks +
2015  +
IVector space mapping with Deep Neural Network +
2015  +
Identification Polynomiale des omega-Langages +
2021  +
Identification de Botnets à travers le réseau en utilisant les moèles de mélange gaussien +
2020  +
Identifying Botnets in the Network using Gaussian Mixture Models +
2020  +
Image processing for plots detection from ancient maps +
2015  +
Image reconstruction +
2009  +
Image taxonomy in Milena +
2008  +
Image taxonomy in Olena +
2006  +
Image taxonomy in Olena +
2006  +
Images taxonomy and modeling +
2005  +
Images taxonomy and modeling +
2005  +
Implementation of Invisible and Transparent Transitions in Spot +
2018  +
Implementation of transducers in Vaucanson +
2004  +
Implementation of transducers in Vaucanson +
2004  +
Implementations efficaces des representations hierarchiques morphologiques +
2021  +
Implementing Baker's SUBTYPEP decision procedure +
2019  +
Implementing Baker's SUBTYPEP decision procedure +
2020  +
Implementing a C++ extension with Transformers: class namespace +
2008  +
Implementing rational semiring +
2011  +
Implémentation d'une extension du C++ dans Transformers: class namespace +
2008  +
Implémentation de l'algorithme de SUBTYPEP de Baker +
2019  +
Implémentation de l'algorithme de SUBTYPEP de Baker +
2020  +
Implémentation des transitions invisibles et transparentes dans Spot +
2018  +
Implémentation du corps des (nombres) rationnels +
2011  +
Improvements of Simulation-based Reduction +
2017  +
Retrieved from "https://www.lrde.epita.fr/index.php?title=Property:Publication_year&oldid=9275"