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 the determinization of Büchi automata  + (16:05:59, 9 January 2018)
• Améliorer la determinisation d'automates de Büchi  + (16:06:00, 9 January 2018)
• Désambiguïsation de la superposition de lignes.  + (16:06:01, 9 January 2018)
• Scribo: Disambiguation of lines superimposement  + (16:06:01, 9 January 2018)
• Improving Horn-Schunck  + (16:06:02, 9 January 2018)
• Améliorer Horn-Schunck  + (16:06:03, 9 January 2018)
• Computing the optical flow in sequences with missing parts  + (16:06:04, 9 January 2018)
• Calcul du flux optique dans des séquences avec des parties manquantes  + (16:06:04, 9 January 2018)
• Boosting Vaucanson's Iterator  + (16:06:05, 9 January 2018)
• Booster les itérateurs de Vaucanson  + (16:06:06, 9 January 2018)
• Les automates en traitement automatique des langues naturelles  + (16:06:07, 9 January 2018)
• 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)