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
- 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)
- Composition de transducteur dans Vaucanson 2 + (2014)
- Détection de logotypes et autres invariants caractéristiques à l'aide de descripteurs SIFT + (2014)
- Finding Short Synchronizing Words + (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)
- Markov Clustering Algorithm for Unsupervised Speaker Recognition System + (2014)
- Recherche de petits mots synchronisants + (2014)
- Transducer composition in Vaucanson 2 + (2014)
- Un Feedback Arc Set pour Spot + (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)
- Handling blackbox transitions in go2pins + (2021)
- Gestion des transitions blackbox dans go2pins + (2021)
- Integration of Morphological Operators in Neural Networks + (2021)
- Inégration des Opérateurs de la Morphologie Mathématique dans des Réseaux de Neurones + (2021)
- Fast simulation based reduction for ω-automaton + (2021)
- Réduction basée sur des simulations d'ω-automates + (2021)
- Active Learning on Visibly One Counter Systems + (2021)
- Aprentissage Actif d'Automates Visiblement á un compteur + (2021)
- Fast reductions for ω-automaton + (2022)
- Réduction efficace d'ω-automate + (2022)
- Brain MRI Segmentation using fully convolutional network + (2023)
- Segmentation d'IRM de cerveau en utilisant un reseau de neurones convolutif + (2023)