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
- A fast algorithm for auto-dual trees + (2010)
- A new translation from LTL into TGBA in Spot + (2010)
- Adaptation d'algorithmes de Vaucanson à une interface plus simple + (2010)
- 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)
- An edge-based attribute filter dedicated to image segmentation + (2010)
- Approche fonctionnelle de la généricité du traitement d'image + (2010)
- Complementing Büchi Automata With Alternating Automata + (2010)
- Dematerialization Tools in SCRIBO + (2010)
- Filtrage à base de contours pour la segmentation d'images + (2010)
- Functionnal approach of image processing genericity + (2010)
- Integrating modern parallel techniques in the Tiger compiler + (2010)
- Intégration de techniques de parallélisation dans le compilateur Tiger + (2010)
- La complémentation d'automates de Büchi à travers des automates alternants + (2010)
- La généricité par propriétés + (2010)
- Minimisation d'automates représentant des obligations + (2010)
- Minimization of automata representing obligation formulae + (2010)
- Mécanique de Vaucanson 2.0 + (2010)
- Nouvelle traduction de LTL en TGBA dans Spot + (2010)
- Outils pour la dématérialisation dans SCRIBO + (2010)
- Property-Based Genericity: A Dynamic Approach + (2010)
- Study and Analysis of C++ Extension Conception with Transformers + (2010)
- Towards Vaucanson 2.0 + (2010)
- Un algorithme rapide pour l'arbre auto-dual + (2010)
- Vaucanson 2.0 Internals + (2010)
- Vers Vaucanson 2.0 + (2010)
- Étude et analyse de l'écriture d'extensions du C++ grâce à Transformers + (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)
- Simulation-based Reductions for TGBA + (2013)
- Réduction par simulation pour les TGBA + (2013)
- Reduce the resource consumption of a complex image processing chain + (2013)
- Réduire les ressources utilisées par une chaîne de traitement d'images complexe + (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)
- Boltzmann Machine in speaker verification + (2013)
- Les Machines de Boltzmann dans la reconnaissance du locuteur + (2013)
- About the computation of the Tree of Shapes on n-dimensional images in quasi-linear time. + (2013)
- À propos du calcul de l'arbre des formes sur des images n-dimensionnelles en temps quasi-linéaire. + (2013)
- The Tree of Shapes Comparative Review of Component Tree Computation Algorithms. + (2013)
- Revue comparative des algorithmes de calcul de l'arbre des formes. + (2013)
- High-level Document Structure Analysis in the Olena Scribo Module + (2013)
- Analyse structurelle haut-niveau de document dans le module Scribo d'Olena + (2013)
- Variational image inpainting by combination of features + (2013)
- Inpainting variationnel par combinaison d'invariants + (2013)
- FSMXML for Vaucanson 2.0 + (2013)
- FSMXML pour Vaucanson 2.0 + (2013)
- Adaptive partial order reduction methods + (2013)
- Méthodes de réduction par ordre partiel adaptatives. + (2013)
- Context-oriented programming applied to image processing + (2013)
- La programmation orientée contexte appliquée au traitement d'images + (2013)
- On coercion in Context-Oriented Programming + (2013)
- Coercition et programmation orientée contexte + (2013)
- Nonlinear Projection for Cosine Distance Scoring in I-Vector based Speaker Verification Systems. + (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)
- SVM decision taking in I-Vector based Speaker Verification Systems + (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)
- Improving Vaucanson's design + (2013)
- Améliorer l'architecture de Vaucanson 2 + (2013)
- Transducers in Vaucanson 2 + (2013)
- Transducteurs dans Vaucanson 2 + (2013)
- Parallel Climb + (2013)
- Parallélisation de Climb + (2013)
- Logotypes detection and other characteristic invariants + (2013)
- Détection de logotypes et autres invariants caractéristiques + (2013)
- Automatic maintenance of exported symbols in Common Lisp packages + (2013)
- Maintenance automatique des symboles exportés dans les packages de Common Lisp + (2013)
- I-Vector Multilayer Perceptron in Speaker Recognition System + (2013)
- Approximation de la distance entre i-vecteurs par Perceptron Multi-Couches dans les systèmes de reconnaissance du locuteur + (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)
- Segmentation automatique du coeur + (2018)
- Optimization of an image processing library + (2018)
- Optimisation d'une bibliothèque de traitement d'images + (2018)
- go2pins: A model checking toolset for the Go programming language + (2018)
- go2pins: vérification de modèles pour le langage de programmation Go + (2018)
- Implementation of Invisible and Transparent Transitions in Spot + (2018)
- Implémentation des transitions invisibles et transparentes dans Spot + (2018)
- SUBTYPEP: An Implementation of Baker's Algorithm + (2018)
- SUBTYPEP: Une implémentation de l'algorithme de Baker + (2018)
- State compression in Spot + (2019)
- Compression d'états dans Spot + (2019)
- Benchmarking of Partial Order Reduction in Spot + (2019)
- Mesures sur la réduction d'ordre partiel dans Spot + (2019)
- Counterexample searches in Spot + (2019)
- Recherches de contrexemple dans Spot + (2019)
- Reimplementation of testing-automata in Spot + (2019)
- Réimplémentation des automates testeurs dans Spot + (2019)
- Brain Tumor Segmentation with deep convolutional network approach + (2019)
- Segmentation de tumeur cérébrale par réseau de neurones convolutionel + (2019)
- Parallelism and Indexation in Quickref + (2019)
- Parallélisation et Indexation de Quickref + (2019)
- Artificial states generation in state spaces using kernel density estimation + (2019)
- Artificial states generation in state spaces using kernel density estimation + (2019)
- Estimation of the noise level function in natural images using the tree of shapes + (2019)
- Estimation de la fonction de niveau de bruit dans des images naturelles en utilisant l'arbre des formes + (2019)
- Detecting danger in marine environnement + (2019)
- Détection de danger en milieu marin + (2019)
- Binding a high-performance C++ image processing library to Python + (2019)
- Création d'un lien entre une bibliothèque de traitement d'image en C++ hautes performances vers Python + (2019)
- Distributed State Space Exploration + (2019)
- Exploration d'espace d'état distribué + (2019)
- Integrating Mathematical Morphology within Deep Convolutional Neural Networks + (2019)
- Intégration de la Morphologie Mathématique dans les Réseaux Neuronaux Profonds + (2019)
- Exploring various implementations for goroutines support in go2pins + (2019)
- Comment implémenter le support des goroutines dans go2pins + (2019)
- Modelling and Identifying Troll Farm Accounts on Twitter + (2019)
- Modélisation et Identification des Troll Farmers sur Twitter + (2019)
- Implementing Baker's SUBTYPEP decision procedure + (2019)
- Implémentation de l'algorithme de SUBTYPEP de Baker + (2019)
- Automatic troll farm account detection on Twitter + (2019)
- Détection Automatique de Comptes Troll Farm sur Twitter + (2019)
- Mathematical morphology and deep convolutional neural networks + (2019)
- Morphologie mathématique et réseaux convolutionnels profonds + (2019)
- Model classification in model checking using random forest + (2020)
- ... Insert a title in French here ... + (2020)
- Estimation of the Noise Level Function in Multivariate Images using the Tree of Shapes and non-parametric statistics + (2020)
- 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)
- Detecting danger in marine environment: Part 1 - Making the dataset + (2020)
- Détection de danger en milieu marin, Création du dataset + (2020)
- Identifying Botnets in the Network using Gaussian Mixture Models + (2020)
- Identification de Botnets à travers le réseau en utilisant les moèles de mélange gaussien + (2020)
- Detecting Botnets Behaviors over Network Flows using Hidden Markov Models + (2020)
- Détection des comportements de botnets au travers d'un flux en réseau en utilisant des modèles de Markov cachés + (2020)
- Learning Morphological Operations + (2020)
- Apprentissage d'Opérations Morphologiques + (2020)
- Implementing Baker's SUBTYPEP decision procedure + (2020)
- Implémentation de l'algorithme de SUBTYPEP de Baker + (2020)
- Smart and robust segmentation of medical images using neural networks + (2020)
- Segmentation robuste et intelligente d'images médicales par réseau de neurones + (2020)
- Loss functions benchmark for brain tumour segmentation + (2020)
- Banc d'essai de fonctions de coûts appliquées á la segmentation de tumeurs cérébrales + (2020)
- Verifying Properties on a Program Using Static Analysis and Model Checking + (2020)
- Verification de proprietes sur un programme en utilisant de l'analyse statique et de la verification de modele + (2020)
- Smart and robust segmentation of medical images using neural networks + (2021)
- Segmentation robuste et intelligente d'images médicales par réseau de neurones + (2021)
- Real Time Face Expression Recognition + (2021)
- ... Insert a title in French here ... + (2021)
- Polynomial Identification of omega-Language + (2021)
- Identification Polynomiale des omega-Langages + (2021)
- Building a quantum perceptron + (2021)
- Construire un perceptron quantique + (2021)
- Brain MRI segmentation using mathematical morphology + (2021)
- Segmentation d'IRM du cerveau avec la morphologie mathematique + (2021)
- Efficient implementations of hierarchical morphological representations + (2021)
- Implementations efficaces des representations hierarchiques morphologiques + (2021)
- genus.py: a Simple Embeddable Type System for the Python language + (2021)
- genus.py: un Système Simple de Typage Embarqué pour le language Python + (2021)