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

• Random rational expression generation  + (1604)
• Génération aléatoire d'expression rationnelle  + (1604)
• Bottleneck neural networks for Speaker Recognition  + (1605)
• Reseaux de neurones en goulot pour la Reconnaissance du Locuteur  + (1605)
• Contribution to dyn::  + (1606)
• Contribution à dyn::  + (1606)
• Product of Parity Automata  + (1607)
• Produit d'automates à parité  + (1607)
• Metric Learning using a Siamese Deep Neural Network  + (1608)
• Calcul de distance par un rśeau de neurones profond siamois  + (1608)
• Domain Mismatch Compensation for Text-Independant Speaker Recognition  + (1610)
• Domain Mismatch Compensation for Text-Independant Speaker Recognition  + (1610)
• Supervised Discrimination of Characters on Images  + (1611)
• Discrimination supervisé de caractères sur des images  + (1611)
• Alternating automata support  + (1612)
• Le support des automates alternants  + (1612)
• Automatic segmentation of Cassini's maps  + (1613)
• Découpage automatique des cartes de Cassini  + (1613)
• K shortest-paths in Vcsn  + (1614)
• K plus courts chemins dans Vcsn  + (1614)
• K shortest-paths in Vcsn  + (1701)
• K plus courts chemins dans Vcsn  + (1701)
• Automatic detection of text zones on identity documents.  + (1702)
• Détection automatique de zones de textes sur des pièces d'identité  + (1702)
• Time Delay Neural Networks-Based Universal Background Model for Speaker Recognition  + (1703)
• Modèle du monde à base de réseaux de neurones à délai temporel pour la reconnaissance du locuteur  + (1703)

• A co-Büching Toolbox  + (1705)
• Un ensemble d'outils de conversion en automate de co-Büchi  + (1705)

• Two-automaton emptiness check in Spot  + (1706)
• Test de vacuité bi-bande dans Spot  + (1706)
• Improvements of Simulation-based Reduction  + (1706)
• Amélioration de la réduction par simulation  + (1706)
• LTL Synthesis with Spot  + (1707)
• Synthèse LTL avec Spot  + (1707)
• Partial order reduction in SPOT  + (1709)
• Réduction d'ordre partiel dans SPOT  + (1709)
• Evaluation method of text detection algorithm rating  + (1710)
• Méthode d'évaluation d'évaluateur d'algorithme de détection de texte  + (1710)
• Binary Partition Tree for Image Processing  + (1711)
• L'Arbre de partition binaire pour le traitement d'images  + (1711)
• Integration of TChecker in Spot  + (1712)
• Intégration de TChecker dans Spot  + (1712)
• Tester l'appartenance à Persistence ou Récurrence dans Spot  + (1801)
• Deciding Persistence or Recurrence Membership in Spot  + (1801)
• Efficient Translation of Fairness LTL Formulae into Deterministic Automata  + (1802)
• Traduction efficace de formules LTL d'équité en automates déterministes  + (1802)
• Creation of an antichain library  + (1803)
• Création d'une bibliothèque d'antichaîne  + (1803)
• Integration of histograms in the NL-Mean algorithm for image denoising.  + (1804)
• Intégration d'histogrammes dans l'algorithme NL-Mean pour le débruitage d'images  + (1804)
• Two-automaton accepting run search in Spot  + (1805)
• Recherche de chemin acceptant bi-bande dans Spot  + (1805)