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

• Automata in Natural Language Processing  + (16:06:07, 9 January 2018)
• Dematerialization Tools in SCRIBO  + (16:06:08, 9 January 2018)
• Outils pour la dématérialisation dans SCRIBO  + (16:06:09, 9 January 2018)
• Document layout analysis in SCRIBO  + (16:06:10, 9 January 2018)
• Analyse de la mise en page d'un document dans SCRIBO  + (16:06:11, 9 January 2018)
• Etude comparative d'invariants de forme pour la classification texte / non-texte  + (16:06:12, 9 January 2018)
• A comparative study of image invariants for text / non-text classification  + (16:06:12, 9 January 2018)
• LRDE's Speaker Verification Framework  + (16:06:13, 9 January 2018)
• LRDE's Speaker Verification Framework  + (16:06:14, 9 January 2018)
• Quotients d'automates pondérés et de séries rationnelles  + (16:06:15, 9 January 2018)
• Quotient of weighted automata and rational series  + (16:06:15, 9 January 2018)
• LTL Synthesis with Spot  + (16:06:16, 9 January 2018)
• Synthèse LTL avec Spot  + (16:06:17, 9 January 2018)
• Metric Learning using a Siamese Deep Neural Network  + (16:06:17, 9 January 2018)
• Calcul de distance par un rśeau de neurones profond siamois  + (16:06:18, 9 January 2018)
• Implémentation du corps des (nombres) rationnels  + (16:06:19, 9 January 2018)
• Implementing rational semiring  + (16:06:19, 9 January 2018)
• Towards Vaucanson 2.0  + (16:06:20, 9 January 2018)
• Vers Vaucanson 2.0  + (16:06:21, 9 January 2018)
• FSMXML for Vaucanson 2.0  + (16:06:22, 9 January 2018)
• FSMXML pour Vaucanson 2.0  + (16:06:23, 9 January 2018)
• Conception of a static oriented language: an overview of Scool  + (16:06:24, 9 January 2018)
• Conception of a static oriented language: an overview of Scool  + (16:06:25, 9 January 2018)
• C++ container library with the SCOOP paradigm  + (16:06:26, 9 January 2018)
• C++ container library with the SCOOP paradigm  + (16:06:26, 9 January 2018)

• An overview of Scoop, a static object-oriented paradigm  + (16:06:27, 9 January 2018)

• Une introduction à Scoop, un paradigme Cxx orienté objet  + (16:06:28, 9 January 2018)
• Learning models for model-checking  + (16:06:30, 9 January 2018)
• Learning models for model-checking  + (16:06:30, 9 January 2018)
• Transfinite Chomp  + (16:06:31, 9 January 2018)
• Transfinite Chomp  + (16:06:31, 9 January 2018)
• Implementation of transducers in Vaucanson  + (16:06:32, 9 January 2018)
• Implementation of transducers in Vaucanson  + (16:06:33, 9 January 2018)
• Images taxonomy and modeling  + (16:06:34, 9 January 2018)
• Images taxonomy and modeling  + (16:06:34, 9 January 2018)
• Implementing a C++ extension with Transformers: class namespace  + (16:06:35, 9 January 2018)
• Implémentation d'une extension du C++ dans Transformers: class namespace  + (16:06:36, 9 January 2018)
• Adding Contracts to C++ with Transformers  + (16:06:36, 9 January 2018)
• Ajout de la programmation par contrats au C++ avec Transformers  + (16:06:37, 9 January 2018)
• Study and Analysis of C++ Extension Conception with Transformers  + (16:06:38, 9 January 2018)
• Étude et analyse de l'écriture d'extensions du C++ grâce à Transformers  + (16:06:38, 9 January 2018)
• Strength-based decomposition of Büchi automaton  + (16:06:39, 9 January 2018)
• Décomposition d'un automate de Büchi Généralisé multi-force  + (16:06:40, 9 January 2018)
• Improving degeneralization in Spot  + (16:06:41, 9 January 2018)
• Amélioration de la dégénéralisation dans Spot  + (16:06:42, 9 January 2018)
• Partial order reduction methods for Spot  + (16:06:42, 9 January 2018)
• Méthodes de réduction par ordre partiel dans Spot  + (16:06:43, 9 January 2018)
• Adaptive partial order reduction methods  + (16:06:44, 9 January 2018)
• Méthodes de réduction par ordre partiel adaptatives.  + (16:06:44, 9 January 2018)
• Vcsn Meets Linguistics  + (16:06:45, 9 January 2018)
• Vcsn et la linguistique  + (16:06:46, 9 January 2018)