Search by property
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- FSMXML et son utilisation dans Vaucanson + (2008)
- Synchronous relations in Vaucanson + (2008)
- Les relations synchrones dans Vaucanson + (2008)
- Boosting Vaucanson's Iterator + (2008)
- Booster les itérateurs de Vaucanson + (2008)
- Implementing a C++ extension with Transformers: class namespace + (2008)
- Implémentation d'une extension du C++ dans Transformers: class namespace + (2008)
- Automatic Attribute Propagation for Modular Attribute Grammars + (2008)
- Automatic Attribute Propagation for Modular Attribute Grammars + (2008)
- SVM-MLLR for multi-speaker verification systems score fusion + (2008)
- SVM-MLLR et fusion pour la vérification du locuteur + (2008)
- C++ Program Slicing with Transformers + (2008)
- Découpage de programme C++ avec Transformers + (2008)
- Transformers: toward the end of the pipeline + (2008)
- Transformers : vers la fin du tunnel + (2008)
- Centaur: A generic framework simplifying C++ transformation + (2008)
- Centaur : Une infrastructure générique simplifiant les transformations de C++ + (2008)
- A Promela front-end for Spot + (2008)
- Front-end Promela dans Spot + (2008)
- C++ template disambiguation with Transformers Attribute Grammars + (2008)
- Désambiguïsation des patrons de type C++ avec les Grammaires Attribuées de Transformers + (2008)
- Run-Time Concrete-Syntax Program-Transformation in General Purpose Languages + (2008)
- Run-Time Concrete-Syntax Program-Transformation in General Purpose Languages + (2008)
- SCOOL: Concept-Oriented Programming + (2008)
- SCOOL: Programmation générique et concepts + (2008)
- SCOOL: Generic programming + (2008)
- SCOOL: Programmation générique + (2008)
- Color types in Milena + (2008)
- Les types de couleur dans Milena + (2008)
- Morphology on color images + (2009)
- Morphologie sur images couleur + (2009)
- Properties in Milena + (2009)
- Les propriétés dans Milena + (2009)
- Component trees in Milena + (2009)
- Les arbres de composantes dans Milena + (2009)
- Benchmarking Vaucanson and large C++ libraries + (2009)
- Analyse de performances dans Vaucanson + (2009)
- Nondeterminisation of alternating automata in SPOT + (2009)
- Nondéterminisation d'automates alternants dans SPOT + (2009)
- CLIMB: A Dynamic Approach To Generic Image Processing + (2009)
- CLIMB: Une approche dynamique du traitement générique d'images + (2009)
- Histograms + (2009)
- Histogrammes + (2009)
- Remedial treatment for Vaucanson: an enhanced automaton concept + (2009)
- Traitement curatif pour Vaucanson: un renforcement du concept d'automate + (2009)
- Tarjan Union-Find algorithm and connected operators + (2009)
- L'algorithme Union-Find de Tarjan et les filtres connectès + (2009)
- Property based class hierarchy of Vaucanson's Algebra module + (2009)
- Hiérarchie par propriétés du module Algebra de Vaucanson + (2009)
- Image reconstruction + (2009)
- Reconstruction d'image + (2009)
- Translation of an extended LTL into TBGA in Spot + (2009)
- Traduction d'une LTL étendue en TGBA dans Spot + (2009)
- Automata in Natural Language Processing + (2009)
- Les automates en traitement automatique des langues naturelles + (2009)
- Adding Contracts to C++ with Transformers + (2009)
- Ajout de la programmation par contrats au C++ avec Transformers + (2009)
- Complementing Büchi Automata + (2009)
- La complémentation d'automates de Büchi + (2009)
- An implementation of the C++ container library with SCOOL + (2009)
- Une implémentation des conteneurs C++ avec SCOOL + (2009)
- Minimization of automata representing obligation formulae + (2010)
- Minimisation d'automates représentant des obligations + (2010)
- An edge-based attribute filter dedicated to image segmentation + (2010)
- Filtrage à base de contours pour la segmentation d'images + (2010)
- A fast algorithm for auto-dual trees + (2010)
- Un algorithme rapide pour l'arbre auto-dual + (2010)
- Functionnal approach of image processing genericity + (2010)
- Approche fonctionnelle de la généricité du traitement d'image + (2010)
- Adapting Vaucanson algorithms to a simpler interface + (2010)
- Adaptation d'algorithmes de Vaucanson à une interface plus simple + (2010)
- Property-Based Genericity: A Dynamic Approach + (2010)
- La généricité par propriétés + (2010)
- Adapting the data structures of Vaucanson to the concept of kind and a new interface + (2010)
- Adapter les structures de données de Vaucanson au concept de kind et à une interface rénovée + (2010)
- Towards Vaucanson 2.0 + (2010)
- Vers Vaucanson 2.0 + (2010)
- Vaucanson 2.0 Internals + (2010)
- Mécanique de Vaucanson 2.0 + (2010)
- A new translation from LTL into TGBA in Spot + (2010)
- Nouvelle traduction de LTL en TGBA dans Spot + (2010)
- Dematerialization Tools in SCRIBO + (2010)
- Outils pour la dématérialisation dans SCRIBO + (2010)
- Study and Analysis of C++ Extension Conception with Transformers + (2010)
- Étude et analyse de l'écriture d'extensions du C++ grâce à Transformers + (2010)
- Complementing Büchi Automata With Alternating Automata + (2010)
- La complémentation d'automates de Büchi à travers des automates alternants + (2010)
- Integrating modern parallel techniques in the Tiger compiler + (2010)
- Intégration de techniques de parallélisation dans le compilateur Tiger + (2010)
- Optimizations in the Tiger Compiler + (2011)
- Optimisations dans le compilateur Tiger + (2011)
- Bisimulation-based Reductions on TGBA + (2011)
- Réduction basées sur la bisimulation appliquées aux TGBA + (2011)
- Component Trees and Chaining Operators in Climb + (2011)
- Arbres de composantes et opérateurs de chaînage + (2011)
- Designing the user interface for a Common Lisp generic library + (2011)
- Concevoir l'interface d'une bibliothèque générique en Common Lisp + (2011)
- Progresses towards Vaucanson 1.4 and 2.0 + (2011)
- Avancées vers Vaucanson 1.4 et 2.0 + (2011)
- Writing generic image processing algorithms + (2011)
- Ecriture d'algorithmes de traitement d'images génériques + (2011)
- Voice Activity Detection + (2011)
- Détection de voix + (2011)
- Speaker Diarization + (2011)
- Séparation de locuteur + (2011)
- Inverse Video extraction in Scribo + (2011)
- Extraction de l'inverse video dans SCRIBO. + (2011)
- Scribo: Disambiguation of lines superimposement + (2011)
- Désambiguïsation de la superposition de lignes. + (2011)
- Document layout analysis in SCRIBO + (2011)
- Analyse de la mise en page d'un document dans SCRIBO + (2011)
- Implementing rational semiring + (2011)
- Implémentation du corps des (nombres) rationnels + (2011)
- Improving degeneralization in Spot + (2011)
- Amélioration de la dégénéralisation dans Spot + (2011)
- Climb: Weighted Neighborhood Implementation + (2011)
- Climb: Implémentation de voisinage pondérés + (2011)
- Parallelization in a generic image processing library + (2012)
- Parallélisation dans une bibliothèque de traitement d'images générique + (2012)
- Direct-Simulation Reduction for TGBA + (2012)
- Réduction par simulation directe pour les TGBA + (2012)
- Text extraction method based on wavelets + (2012)
- Extraction de texte avec des ondelettes + (2012)
- Property based dispatch in functional languages + (2012)
- Dispatch par propriétés dans les langages fonctionnels + (2012)
- Parallel approach for the computation of the tree of shapes on n-dimensional images + (2012)
- Approche parallèle pour le calcul de l'arbre des formes en n-dimensions + (2012)
- Fast structure preserving inpainting + (2012)
- Inpainting rapide préservant la structure + (2012)
- Improving Horn-Schunck + (2012)
- Améliorer Horn-Schunck + (2012)
- Computing the optical flow in sequences with missing parts + (2012)
- Calcul du flux optique dans des séquences avec des parties manquantes + (2012)
- A comparative study of image invariants for text / non-text classification + (2012)
- Etude comparative d'invariants de forme pour la classification texte / non-texte + (2012)
- Towards Vaucanson 2.0 + (2012)
- Vers Vaucanson 2.0 + (2012)
- Partial order reduction methods for Spot + (2012)
- Méthodes de réduction par ordre partiel dans Spot + (2012)
- Optimization in Common Lisp, and its application to Climb + (2012)
- Optimisation en Common Lisp et son application à Climb + (2012)
- Full Covariance Matrices based Gaussian Mixture Models + (2012)
- Modèles de mélanges de gaussiennes fondés sur des matrices de covariance pleines + (2012)
- Building an interface for and with Climb + (2012)
- Construction d'une interface pour et avec Climb + (2012)
- About the computation of the Tree of Shapes on n-dimensional images in quasi-linear time. + (2013)
- Adaptive partial order reduction methods + (2013)
- Améliorer l'architecture de Vaucanson 2 + (2013)
- Analyse structurelle haut-niveau de document dans le module Scribo d'Olena + (2013)
- Approximation de la distance entre i-vecteurs par Perceptron Multi-Couches dans les systèmes de reconnaissance du locuteur + (2013)
- Automatic maintenance of exported symbols in Common Lisp packages + (2013)
- Boltzmann Machine in speaker verification + (2013)
- Coercition et programmation orientée contexte + (2013)
- Context-oriented programming applied to image processing + (2013)
- Détection de logotypes et autres invariants caractéristiques + (2013)
- FSMXML for Vaucanson 2.0 + (2013)
- FSMXML pour Vaucanson 2.0 + (2013)
- High-level Document Structure Analysis in the Olena Scribo Module + (2013)
- I-Vector Multilayer Perceptron in Speaker Recognition System + (2013)
- Improving Vaucanson's design + (2013)
- Inpainting variationnel par combinaison d'invariants + (2013)
- La programmation orientée contexte appliquée au traitement d'images + (2013)
- Les Machines de Boltzmann dans la reconnaissance du locuteur + (2013)
- Logotypes detection and other characteristic invariants + (2013)
- Maintenance automatique des symboles exportés dans les packages de Common Lisp + (2013)
- Méthodes de réduction par ordre partiel adaptatives. + (2013)
- Nonlinear Projection for Cosine Distance Scoring in I-Vector based Speaker Verification Systems. + (2013)
- On coercion in Context-Oriented Programming + (2013)
- Parallel Climb + (2013)
- Parallélisation de Climb + (2013)
- Prise de décision à l'aide de SVM dans le contexte des systèmes de vérification du loctueur à base d'I-Vector + (2013)
- Projection non-linéaire pour l'attribution de score selon la distance en cosinus dans le contexte des systèmes de vérification du locuteur à base d'i-vectors. + (2013)
- Reduce the resource consumption of a complex image processing chain + (2013)
- Revue comparative des algorithmes de calcul de l'arbre des formes. + (2013)
- Réduction par simulation pour les TGBA + (2013)
- Réduire les ressources utilisées par une chaîne de traitement d'images complexe + (2013)
- SVM decision taking in I-Vector based Speaker Verification Systems + (2013)
- Simulation-based Reductions for TGBA + (2013)
- The Tree of Shapes Comparative Review of Component Tree Computation Algorithms. + (2013)
- Transducers in Vaucanson 2 + (2013)
- Transducteurs dans Vaucanson 2 + (2013)
- Using a wavelet-based descriptor to extract information on object shape + (2013)
- Utilisation d'un descripteur à base de transformée en ondelettes pour extraire des informations sur la forme des objets + (2013)
- Variational image inpainting by combination of features + (2013)
- À propos du calcul de l'arbre des formes sur des images n-dimensionnelles en temps quasi-linéaire. + (2013)
- A Feedback Arc Set for Spot + (2014)
- Un Feedback Arc Set pour Spot + (2014)
- Finding Short Synchronizing Words + (2014)
- Recherche de petits mots synchronisants + (2014)
- Markov Clustering Algorithm for Unsupervised Speaker Recognition System + (2014)
- L'algorithme de Partitionnement de Markov pour le Système Supervisé de Vérification du Locuteur + (2014)
- Logotypes detection and other characteristics invariants using SIFT descriptors + (2014)
- Détection de logotypes et autres invariants caractéristiques à l'aide de descripteurs SIFT + (2014)
- Transducer composition in Vaucanson 2 + (2014)
- Composition de transducteur dans Vaucanson 2 + (2014)
- New ways to use the Vcsn's Jupyter interface. + (2015)
- De nouvelles fac cons d'utiliser l'interface Jupyter. + (2015)
- Using the Mumford-Shah segmentation for Text Detection in images + (2015)
- Utilisation de la segmentation de Mumford-Shah pour la détection du texte dans les images + (2015)
- Image processing for plots detection from ancient maps + (2015)
- Traitement d'images de cartes anciennes pour la détection de parcelles + (2015)
- Speaker specific i-vector channel compensation in speaker recognition + (2015)
- Compensation d'i-vecteur spécifique aux locuteurs dans la reconnaissance du locuteur + (2015)
- Adaptation of the watershed cuts algorithm to cellular complexes + (2015)
- Adaptation de l'algorithme de watershed cuts aux complexes cellulaires + (2015)
- IVector space mapping with Deep Neural Network + (2015)
- Mappage d'espace d'ivecteur à l'aide d'un réseau neuronal profond + (2015)
- I-Vectors distance learning with Convolutional Neural Networks + (2015)
- Apprentissage d'une distance entre deux i-vectors via des réseaux de neurones à convolution + (2015)
- An efficient implementation of transition-based generalized Büchi automaton determinization + (2015)
- Une implementation efficace de déterminisation d'automates de Büchi généralisés à transitions acceptantes + (2015)
- Strength-based decomposition of Büchi automaton + (2015)
- Décomposition d'un automate de Büchi Généralisé multi-force + (2015)
- Efficient removal of spontaneous transitions in Vcsn + (2015)
- Suppression efficace de transitions spontanées dans Vcsn + (2015)
- Speaker Diarization based on Independent Component Analysis + (2015)
- La Segmentation du Locuteur basée sur l'Analyse en Composantes Indépendantes + (2015)
- Improving OCR k-NN classifier's training set + (2015)
- Amélioration de la base d'entraînement d'un classifieur k-nn d'OCR + (2015)
- Algorithms on Transducers + (2015)
- Algorithmes sur les Transducteurs + (2015)
- Local channel compensated method in Speaker Recognition System + (2015)
- Compensation locale du canal dans les systèmes de reconnaissance du locuteur + (2015)
- Automatic segmentation of Cassini's maps + (2016)
- Découpage automatique des cartes de Cassini + (2016)
- Contribution to dyn:: + (2016)
- Contribution à dyn:: + (2016)
- Random rational expression generation + (2016)
- Génération aléatoire d'expression rationnelle + (2016)
- Bottleneck neural networks for Speaker Recognition + (2016)
- Reseaux de neurones en goulot pour la Reconnaissance du Locuteur + (2016)
- Supervised Discrimination of Characters on Images + (2016)
- Discrimination supervisé de caractères sur des images + (2016)
- Alternating automata support + (2016)
- Le support des automates alternants + (2016)
- Domain Mismatch Compensation for Text-Independant Speaker Recognition + (2016)
- Domain Mismatch Compensation for Text-Independant Speaker Recognition + (2016)
- Improving the determinization of Büchi automata + (2016)
- Améliorer la determinisation d'automates de Büchi + (2016)
- Quotient of weighted automata and rational series + (2016)
- Quotients d'automates pondérés et de séries rationnelles + (2016)
- Metric Learning using a Siamese Deep Neural Network + (2016)
- Calcul de distance par un rśeau de neurones profond siamois + (2016)
- Vcsn Meets Linguistics + (2016)
- Vcsn et la linguistique + (2016)
- K shortest-paths in Vcsn + (2016)
- K plus courts chemins dans Vcsn + (2016)
- Random automata and path generation in Vcsn + (2016)
- Génération aléatoire d'automates et de chemins dans Vcsn + (2016)
- Speaker Diarization based on the Mel Frequency Cepstral Coefficients + (2016)
- La Segmentation du Locuteur Basée sur les Coefficients Cepstraux sur l'échelle de Mel + (2016)
- Efficient Transducer Composition in Vcsn + (2016)
- Composition Efficace de Transducteurs dans Vcsn + (2016)
- Product of Parity Automata + (2016)
- Produit d'automates à parité + (2016)
- Automatic detection of text zones on identity documents. + (2017)
- Détection automatique de zones de textes sur des pièces d'identité + (2017)
- Morse-Smale Complex computation with Watershed Cut + (2017)
- Calcul du Complexe de Morse-Smale à l'aide de coupe de ligne de partage des eaux + (2017)
- Evaluation method of text detection algorithm rating + (2017)
- Méthode d'évaluation d'évaluateur d'algorithme de détection de texte + (2017)
- A co-Büching Toolbox + (2017)
- Un ensemble d'outils de conversion en automate de co-Büchi + (2017)
- Two-automaton emptiness check in Spot + (2017)
- Test de vacuité bi-bande dans Spot + (2017)
- Binary Partition Tree for Image Processing + (2017)
- L'Arbre de partition binaire pour le traitement d'images + (2017)
- Time Delay Neural Networks-Based Universal Background Model for Speaker Recognition + (2017)
- Modèle du monde à base de réseaux de neurones à délai temporel pour la reconnaissance du locuteur + (2017)
- LTL Synthesis with Spot + (2017)
- Synthèse LTL avec Spot + (2017)
- K shortest-paths in Vcsn + (2017)
- K plus courts chemins dans Vcsn + (2017)
- Integration of TChecker in Spot + (2017)
- Intégration de TChecker dans Spot + (2017)
- Partial order reduction in SPOT + (2017)
- Réduction d'ordre partiel dans SPOT + (2017)
- Improvements of Simulation-based Reduction + (2017)
- Amélioration de la réduction par simulation + (2017)
- Tester l'appartenance à Persistence ou Récurrence dans Spot + (2018)
- Efficient Translation of Fairness LTL Formulae into Deterministic Automata + (2018)
- Traduction efficace de formules LTL d'équité en automates déterministes + (2018)
- Deciding Persistence or Recurrence Membership in Spot + (2018)
- Integration of histograms in the NL-Mean algorithm for image denoising. + (2018)
- Intégration d'histogrammes dans l'algorithme NL-Mean pour le débruitage d'images + (2018)
- Two-automaton accepting run search in Spot + (2018)
- Recherche de chemin acceptant bi-bande dans Spot + (2018)
- Creation of an antichain library + (2018)
- Création d'une bibliothèque d'antichaîne + (2018)
- Automatic Heart Segmentation + (2018)