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
- L'algorithme Union-Find de Tarjan et les filtres connectès + (16:04:59, 9 January 2018)
- Tarjan Union-Find algorithm and connected operators + (16:04:59, 9 January 2018)
- A co-Büching Toolbox + (16:05:00, 9 January 2018)
- Un ensemble d'outils de conversion en automate de co-Büchi + (16:05:01, 9 January 2018)
- Test de vacuité bi-bande dans Spot + (16:05:02, 9 January 2018)
- Two-automaton emptiness check in Spot + (16:05:02, 9 January 2018)
- Progress in C++ source preprocessing + (16:05:03, 9 January 2018)
- Parsing with Transformers + (16:05:04, 9 January 2018)
- Progress in C++ source preprocessing + (16:05:04, 9 January 2018)
- Parsing with Transformers + (16:05:05, 9 January 2018)
- IVector space mapping with Deep Neural Network + (16:05:06, 9 January 2018)
- Mappage d'espace d'ivecteur à l'aide d'un réseau neuronal profond + (16:05:06, 9 January 2018)
- Writing generic image processing algorithms + (16:05:07, 9 January 2018)
- Property based class hierarchy of Vaucanson's Algebra module + (16:05:08, 9 January 2018)
- Ecriture d'algorithmes de traitement d'images génériques + (16:05:08, 9 January 2018)
- Hiérarchie par propriétés du module Algebra de Vaucanson + (16:05:09, 9 January 2018)
- Towards Vaucanson 2.0 + (16:05:10, 9 January 2018)
- Vaucanson 2.0 Internals + (16:05:11, 9 January 2018)
- Vers Vaucanson 2.0 + (16:05:11, 9 January 2018)
- Mécanique de Vaucanson 2.0 + (16:05:12, 9 January 2018)
- Scool transformation towards C++ + (16:05:13, 9 January 2018)
- Scool transformation towards C++ + (16:05:13, 9 January 2018)
- revCPP A reversible C++ preprocessor + (16:05:15, 9 January 2018)
- revCPP A reversible C++ preprocessor + (16:05:16, 9 January 2018)
- Binary Partition Tree for Image Processing + (16:05:18, 9 January 2018)
- L'Arbre de partition binaire pour le traitement d'images + (16:05:19, 9 January 2018)
- Apprentissage d'une distance entre deux i-vectors via des réseaux de neurones à convolution + (16:05:20, 9 January 2018)
- I-Vectors distance learning with Convolutional Neural Networks + (16:05:20, 9 January 2018)
- Domain Mismatch Compensation for Text-Independant Speaker Recognition + (16:05:21, 9 January 2018)
- Domain Mismatch Compensation for Text-Independant Speaker Recognition + (16:05:22, 9 January 2018)
- Time Delay Neural Networks-Based Universal Background Model for Speaker Recognition + (16:05:23, 9 January 2018)
- Modèle du monde à base de réseaux de neurones à délai temporel pour la reconnaissance du locuteur + (16:05:23, 9 January 2018)
- Canvas in Morphological Algorithms + (16:05:24, 9 January 2018)
- Canvas in Morphological Algorithms + (16:05:25, 9 January 2018)
- Recalage d'images rapide + (16:05:26, 9 January 2018)
- Fast Image Registration + (16:05:26, 9 January 2018)
- Image reconstruction + (16:05:27, 9 January 2018)
- Reconstruction d'image + (16:05:28, 9 January 2018)
- Boosting Vaucanson + (16:05:29, 9 January 2018)
- Boosting Vaucanson + (16:05:29, 9 January 2018)
- Boosting Vaucanson's genericity + (16:05:30, 9 January 2018)
- Booster la généricité de Vaucanson + (16:05:31, 9 January 2018)
- Efficient algorithmic methods for Nash equilibria computation + (16:05:32, 9 January 2018)
- Efficient algorithmic methods for Nash equilibria computation + (16:05:32, 9 January 2018)
- Alternate Fictitious Play study and implementation + (16:05:33, 9 January 2018)
- Étude et implémentation du Fictitious Play alterné + (16:05:34, 9 January 2018)
- Efficiency comparison between Fictitious Play and Alternate Fictitious Play algorithms on the restricted set of zero-sum games + (16:05:34, 9 January 2018)
- Comparaison entre le Fictitious Play et le Fictitious Play Alterné dans le cadre des jeux à somme nulle + (16:05:35, 9 January 2018)
- Translation of an extended LTL into TBGA in Spot + (16:05:36, 9 January 2018)
- Traduction d'une LTL étendue en TGBA dans Spot + (16:05:37, 9 January 2018)
- Translation of an extended LTL into TBGA in Spot + (16:05:38, 9 January 2018)
- A new translation from LTL into TGBA in Spot + (16:05:39, 9 January 2018)