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
- Dynamic use of statically typed libraries, textscJust In Time compilation and other solutions + (techreport)
- Improving Vaucanson's transducers composition algorithm + (techreport)
- Amélioration de la composition des transducteurs dans Vaucanson + (techreport)
- Remedial treatment for Vaucanson: an enhanced automaton concept + (techreport)
- Traitement curatif pour Vaucanson: un renforcement du concept d'automate + (techreport)
- Adapting the data structures of Vaucanson to the concept of kind and a new interface + (techreport)
- Adapter les structures de données de Vaucanson au concept de kind et à une interface rénovée + (techreport)
- Fictious Play + (techreport)
- Étude du fictitious play dans le cas d'un jeu à fonctions d'utilité identiques + (techreport)
- Stage de traitement d'image au LRDE + (techreport)
- Stage de traitement d'image au LRDE + (techreport)
- Fast Level Line Transform + (techreport)
- Transformation des courbes de niveau rapide + (techreport)
- Tarjan Union-Find algorithm and connected operators + (techreport)
- L'algorithme Union-Find de Tarjan et les filtres connectès + (techreport)
- A co-Büching Toolbox + (techreport)
- Un ensemble d'outils de conversion en automate de co-Büchi + (techreport)
- Two-automaton emptiness check in Spot + (techreport)
- Test de vacuité bi-bande dans Spot + (techreport)
- Progress in C++ source preprocessing + (techreport)
- Progress in C++ source preprocessing + (techreport)
- Parsing with Transformers + (techreport)
- Parsing with Transformers + (techreport)
- IVector space mapping with Deep Neural Network + (techreport)
- Mappage d'espace d'ivecteur à l'aide d'un réseau neuronal profond + (techreport)
- Writing generic image processing algorithms + (techreport)
- Ecriture d'algorithmes de traitement d'images génériques + (techreport)
- Property based class hierarchy of Vaucanson's Algebra module + (techreport)
- Hiérarchie par propriétés du module Algebra de Vaucanson + (techreport)
- Towards Vaucanson 2.0 + (techreport)
- Vers Vaucanson 2.0 + (techreport)
- Vaucanson 2.0 Internals + (techreport)
- Mécanique de Vaucanson 2.0 + (techreport)
- Scool transformation towards C++ + (techreport)
- Scool transformation towards C++ + (techreport)
- revCPP A reversible C++ preprocessor + (techreport)
- revCPP A reversible C++ preprocessor + (techreport)
- Binary Partition Tree for Image Processing + (techreport)
- L'Arbre de partition binaire pour le traitement d'images + (techreport)
- I-Vectors distance learning with Convolutional Neural Networks + (techreport)
- Apprentissage d'une distance entre deux i-vectors via des réseaux de neurones à convolution + (techreport)
- Domain Mismatch Compensation for Text-Independant Speaker Recognition + (techreport)
- Domain Mismatch Compensation for Text-Independant Speaker Recognition + (techreport)
- Time Delay Neural Networks-Based Universal Background Model for Speaker Recognition + (techreport)
- Modèle du monde à base de réseaux de neurones à délai temporel pour la reconnaissance du locuteur + (techreport)
- Canvas in Morphological Algorithms + (techreport)
- Canvas in Morphological Algorithms + (techreport)
- Fast Image Registration + (techreport)
- Recalage d'images rapide + (techreport)
- Image reconstruction + (techreport)
- Reconstruction d'image + (techreport)
- Boosting Vaucanson + (techreport)
- Boosting Vaucanson + (techreport)
- Boosting Vaucanson's genericity + (techreport)
- Booster la généricité de Vaucanson + (techreport)
- Efficient algorithmic methods for Nash equilibria computation + (techreport)
- Efficient algorithmic methods for Nash equilibria computation + (techreport)
- Alternate Fictitious Play study and implementation + (techreport)
- Étude et implémentation du Fictitious Play alterné + (techreport)
- Efficiency comparison between Fictitious Play and Alternate Fictitious Play algorithms on the restricted set of zero-sum games + (techreport)
- Comparaison entre le Fictitious Play et le Fictitious Play Alterné dans le cadre des jeux à somme nulle + (techreport)
- Translation of an extended LTL into TBGA in Spot + (techreport)
- Traduction d'une LTL étendue en TGBA dans Spot + (techreport)
- Translation of an extended LTL into TBGA in Spot + (techreport)
- Traduction d'une LTL étendue en TGBA dans Spot + (techreport)
- A new translation from LTL into TGBA in Spot + (techreport)
- Nouvelle traduction de LTL en TGBA dans Spot + (techreport)
- Generalized Linear Discriminant Sequence for Speaker Verification + (techreport)
- Système de discriminants linéaires pour la vérification du locuteur + (techreport)
- Voice Activity Detection + (techreport)
- Détection de voix + (techreport)
- Speaker Diarization + (techreport)
- Séparation de locuteur + (techreport)
- Synchronized Tranducers + (techreport)
- Transducteurs synchronisés + (techreport)
- XML Proposal and its Application in Vaucanson + (techreport)
- XML Proposal and its Application in Vaucanson + (techreport)
- FSMXML and its application in Vaucanson + (techreport)
- FSMXML et son utilisation dans Vaucanson + (techreport)
- Synchronous relations in Vaucanson + (techreport)
- Les relations synchrones dans Vaucanson + (techreport)
- Inverse Video extraction in Scribo + (techreport)
- Extraction de l'inverse video dans SCRIBO. + (techreport)
- Fast structure preserving inpainting + (techreport)
- Inpainting rapide préservant la structure + (techreport)
- Variational image inpainting by combination of features + (techreport)
- Inpainting variationnel par combinaison d'invariants + (techreport)
- A Feedback Arc Set for Spot + (techreport)
- Un Feedback Arc Set pour Spot + (techreport)
- An efficient implementation of transition-based generalized Büchi automaton determinization + (techreport)
- Une implementation efficace de déterminisation d'automates de Büchi généralisés à transitions acceptantes + (techreport)
- Improving the determinization of Büchi automata + (techreport)
- Améliorer la determinisation d'automates de Büchi + (techreport)
- Scribo: Disambiguation of lines superimposement + (techreport)
- Désambiguïsation de la superposition de lignes. + (techreport)
- Improving Horn-Schunck + (techreport)
- Améliorer Horn-Schunck + (techreport)
- Computing the optical flow in sequences with missing parts + (techreport)
- Calcul du flux optique dans des séquences avec des parties manquantes + (techreport)
- Boosting Vaucanson's Iterator + (techreport)
- Booster les itérateurs de Vaucanson + (techreport)
- Automata in Natural Language Processing + (techreport)
- Les automates en traitement automatique des langues naturelles + (techreport)
- Dematerialization Tools in SCRIBO + (techreport)
- Outils pour la dématérialisation dans SCRIBO + (techreport)
- Document layout analysis in SCRIBO + (techreport)
- Analyse de la mise en page d'un document dans SCRIBO + (techreport)
- A comparative study of image invariants for text / non-text classification + (techreport)
- Etude comparative d'invariants de forme pour la classification texte / non-texte + (techreport)
- LRDE's Speaker Verification Framework + (techreport)
- LRDE's Speaker Verification Framework + (techreport)
- Quotient of weighted automata and rational series + (techreport)
- Quotients d'automates pondérés et de séries rationnelles + (techreport)
- LTL Synthesis with Spot + (techreport)
- Synthèse LTL avec Spot + (techreport)
- Metric Learning using a Siamese Deep Neural Network + (techreport)
- Calcul de distance par un rśeau de neurones profond siamois + (techreport)
- Implementing rational semiring + (techreport)
- Implémentation du corps des (nombres) rationnels + (techreport)
- Towards Vaucanson 2.0 + (techreport)
- Vers Vaucanson 2.0 + (techreport)
- FSMXML for Vaucanson 2.0 + (techreport)
- FSMXML pour Vaucanson 2.0 + (techreport)
- Conception of a static oriented language: an overview of Scool + (techreport)
- Conception of a static oriented language: an overview of Scool + (techreport)
- C++ container library with the SCOOP paradigm + (techreport)
- C++ container library with the SCOOP paradigm + (techreport)
- An overview of Scoop, a static object-oriented paradigm + (techreport)
- Une introduction à Scoop, un paradigme Cxx orienté objet + (techreport)
- Learning models for model-checking + (techreport)
- Learning models for model-checking + (techreport)
- Transfinite Chomp + (techreport)
- Transfinite Chomp + (techreport)
- Implementation of transducers in Vaucanson + (techreport)
- Implementation of transducers in Vaucanson + (techreport)
- Images taxonomy and modeling + (techreport)
- Images taxonomy and modeling + (techreport)
- Implementing a C++ extension with Transformers: class namespace + (techreport)
- Implémentation d'une extension du C++ dans Transformers: class namespace + (techreport)
- Adding Contracts to C++ with Transformers + (techreport)
- Ajout de la programmation par contrats au C++ avec Transformers + (techreport)
- Study and Analysis of C++ Extension Conception with Transformers + (techreport)
- Étude et analyse de l'écriture d'extensions du C++ grâce à Transformers + (techreport)
- Strength-based decomposition of Büchi automaton + (techreport)
- Décomposition d'un automate de Büchi Généralisé multi-force + (techreport)
- Improving degeneralization in Spot + (techreport)
- Amélioration de la dégénéralisation dans Spot + (techreport)
- Partial order reduction methods for Spot + (techreport)
- Méthodes de réduction par ordre partiel dans Spot + (techreport)
- Adaptive partial order reduction methods + (techreport)
- Méthodes de réduction par ordre partiel adaptatives. + (techreport)
- Vcsn Meets Linguistics + (techreport)
- Vcsn et la linguistique + (techreport)
- K shortest-paths in Vcsn + (techreport)
- K plus courts chemins dans Vcsn + (techreport)
- K shortest-paths in Vcsn + (techreport)
- K plus courts chemins dans Vcsn + (techreport)
- Formal Definition of the Disambiguation with Attribute Grammars + (techreport)
- Formal Definition of the Disambiguation with Attribute Grammars + (techreport)
- Automatic Attribute Propagation for Modular Attribute Grammars + (techreport)
- Automatic Attribute Propagation for Modular Attribute Grammars + (techreport)
- Finding Short Synchronizing Words + (techreport)
- Recherche de petits mots synchronisants + (techreport)
- Efficient removal of spontaneous transitions in Vcsn + (techreport)
- Suppression efficace de transitions spontanées dans Vcsn + (techreport)
- Random automata and path generation in Vcsn + (techreport)
- Génération aléatoire d'automates et de chemins dans Vcsn + (techreport)
- Développement d'une interface graphique pour Vaucanson + (techreport)
- Développement d'une interface graphique pour Vaucanson + (techreport)
- An interpreter for Vaucanson + (techreport)
- An interpreter for Vaucanson + (techreport)
- Dynamization of C++ static libraries + (techreport)
- Dynamization of C++ static libraries + (techreport)
- Speaker recognition evaluation: selective approaches and fusion + (techreport)
- Speaker recognition evaluation: selective approaches and fusion + (techreport)
- SVM-MLLR for multi-speaker verification systems score fusion + (techreport)
- SVM-MLLR et fusion pour la vérification du locuteur + (techreport)
- Tools for Attribute Grammars manipulation in Transformers + (techreport)
- Tools for Attribute Grammars manipulation in Transformers + (techreport)
- C++ Program Slicing with Transformers + (techreport)
- Découpage de programme C++ avec Transformers + (techreport)
- Transformers: toward the end of the pipeline + (techreport)
- Transformers : vers la fin du tunnel + (techreport)
- Centaur: A generic framework simplifying C++ transformation + (techreport)
- Centaur : Une infrastructure générique simplifiant les transformations de C++ + (techreport)
- Integration of TChecker in Spot + (techreport)
- Intégration de TChecker dans Spot + (techreport)
- Markov Clustering Algorithm for Unsupervised Speaker Recognition System + (techreport)
- L'algorithme de Partitionnement de Markov pour le Système Supervisé de Vérification du Locuteur + (techreport)
- Speaker Diarization based on Independent Component Analysis + (techreport)
- La Segmentation du Locuteur basée sur l'Analyse en Composantes Indépendantes + (techreport)
- Speaker Diarization based on the Mel Frequency Cepstral Coefficients + (techreport)
- La Segmentation du Locuteur Basée sur les Coefficients Cepstraux sur l'échelle de Mel + (techreport)
- Optimization in Common Lisp, and its application to Climb + (techreport)
- Optimisation en Common Lisp et son application à Climb + (techreport)
- Context-oriented programming applied to image processing + (techreport)
- La programmation orientée contexte appliquée au traitement d'images + (techreport)
- On coercion in Context-Oriented Programming + (techreport)
- Coercition et programmation orientée contexte + (techreport)
- C++ type-checking: A study of existing solutions + (techreport)
- C++ type-checking: A study of existing solutions + (techreport)
- Full Covariance Matrices based Gaussian Mixture Models + (techreport)
- Modèles de mélanges de gaussiennes fondés sur des matrices de covariance pleines + (techreport)
- Nonlinear Projection for Cosine Distance Scoring in I-Vector based Speaker Verification Systems. + (techreport)
- Projection non-linéaire pour l'attribution de score selon la distance en cosinus dans le contexte des systèmes de vérification du locuteur à base d'i-vectors. + (techreport)
- SVM decision taking in I-Vector based Speaker Verification Systems + (techreport)
- Prise de décision à l'aide de SVM dans le contexte des systèmes de vérification du loctueur à base d'I-Vector + (techreport)
- A Promela front-end for Spot + (techreport)
- Front-end Promela dans Spot + (techreport)
- Complementing Büchi Automata + (techreport)
- La complémentation d'automates de Büchi + (techreport)
- Complementing Büchi Automata With Alternating Automata + (techreport)
- La complémentation d'automates de Büchi à travers des automates alternants + (techreport)
- Improving Vaucanson's design + (techreport)
- Améliorer l'architecture de Vaucanson 2 + (techreport)
- Transducers in Vaucanson 2 + (techreport)
- Transducteurs dans Vaucanson 2 + (techreport)
- C++ template disambiguation with Transformers Attribute Grammars + (techreport)
- Désambiguïsation des patrons de type C++ avec les Grammaires Attribuées de Transformers + (techreport)
- An implementation of the C++ container library with SCOOL + (techreport)
- Une implémentation des conteneurs C++ avec SCOOL + (techreport)
- Integrating modern parallel techniques in the Tiger compiler + (techreport)
- Intégration de techniques de parallélisation dans le compilateur Tiger + (techreport)
- Climb: Weighted Neighborhood Implementation + (techreport)
- Climb: Implémentation de voisinage pondérés + (techreport)
- Building an interface for and with Climb + (techreport)
- Construction d'une interface pour et avec Climb + (techreport)
- Parallel Climb + (techreport)
- Parallélisation de Climb + (techreport)
- Logotypes detection and other characteristic invariants + (techreport)
- Détection de logotypes et autres invariants caractéristiques + (techreport)
- Logotypes detection and other characteristics invariants using SIFT descriptors + (techreport)
- Détection de logotypes et autres invariants caractéristiques à l'aide de descripteurs SIFT + (techreport)
- Improving OCR k-NN classifier's training set + (techreport)
- Amélioration de la base d'entraînement d'un classifieur k-nn d'OCR + (techreport)
- eXtended Reactive Modules + (techreport)
- eXtended Reactive Modules + (techreport)
- revCPP A reversible C++ preprocessor + (techreport)
- revCPP A reversible C++ preprocessor + (techreport)
- Run-Time Concrete-Syntax Program-Transformation in General Purpose Languages + (techreport)
- Run-Time Concrete-Syntax Program-Transformation in General Purpose Languages + (techreport)
- From an expression to the original automaton + (techreport)
- From an expression to the original automaton + (techreport)
- Canvas in Olena + (techreport)
- Canvas in Olena + (techreport)
- Transducer composition in Vaucanson 2 + (techreport)
- Composition de transducteur dans Vaucanson 2 + (techreport)
- Algorithms on Transducers + (techreport)
- Algorithmes sur les Transducteurs + (techreport)
- Efficient Transducer Composition in Vcsn + (techreport)
- Composition Efficace de Transducteurs dans Vcsn + (techreport)
- Partial order reduction in SPOT + (techreport)
- Réduction d'ordre partiel dans SPOT + (techreport)
- SCOOL: object orientation of a static language + (techreport)
- SCOOL: object orientation of a static language + (techreport)
- SCOOL: Concept-Oriented Programming + (techreport)
- SCOOL: Programmation générique et concepts + (techreport)
- SCOOL: Generic programming + (techreport)
- SCOOL: Programmation générique + (techreport)
- Semantics driven disambiguation: a comparison of different approaches + (techreport)
- Semantics driven disambiguation: a comparison of different approaches + (techreport)
- Automatic maintenance of exported symbols in Common Lisp packages + (techreport)
- Maintenance automatique des symboles exportés dans les packages de Common Lisp + (techreport)
- Color types in Milena + (techreport)
- Les types de couleur dans Milena + (techreport)
- Product of Parity Automata + (techreport)
- Produit d'automates à parité + (techreport)
- Improvements of Simulation-based Reduction + (techreport)
- Amélioration de la réduction par simulation + (techreport)
- I-Vector Multilayer Perceptron in Speaker Recognition System + (techreport)
- Approximation de la distance entre i-vecteurs par Perceptron Multi-Couches dans les systèmes de reconnaissance du locuteur + (techreport)
- Local channel compensated method in Speaker Recognition System + (techreport)
- Compensation locale du canal dans les systèmes de reconnaissance du locuteur + (techreport)
- Tester l'appartenance à Persistence ou Récurrence dans Spot + (techreport)
- Efficient Translation of Fairness LTL Formulae into Deterministic Automata + (techreport)
- Traduction efficace de formules LTL d'équité en automates déterministes + (techreport)
- Deciding Persistence or Recurrence Membership in Spot + (techreport)
- Integration of histograms in the NL-Mean algorithm for image denoising. + (techreport)
- Intégration d'histogrammes dans l'algorithme NL-Mean pour le débruitage d'images + (techreport)
- Two-automaton accepting run search in Spot + (techreport)
- Recherche de chemin acceptant bi-bande dans Spot + (techreport)
- Creation of an antichain library + (techreport)
- Création d'une bibliothèque d'antichaîne + (techreport)
- Automatic Heart Segmentation + (techreport)
- Segmentation automatique du coeur + (techreport)
- Optimization of an image processing library + (techreport)
- Optimisation d'une bibliothèque de traitement d'images + (techreport)
- go2pins: A model checking toolset for the Go programming language + (techreport)
- go2pins: vérification de modèles pour le langage de programmation Go + (techreport)
- Implementation of Invisible and Transparent Transitions in Spot + (techreport)
- Implémentation des transitions invisibles et transparentes dans Spot + (techreport)
- SUBTYPEP: An Implementation of Baker's Algorithm + (techreport)
- SUBTYPEP: Une implémentation de l'algorithme de Baker + (techreport)
- State compression in Spot + (techreport)
- Compression d'états dans Spot + (techreport)
- Benchmarking of Partial Order Reduction in Spot + (techreport)
- Mesures sur la réduction d'ordre partiel dans Spot + (techreport)
- Counterexample searches in Spot + (techreport)
- Recherches de contrexemple dans Spot + (techreport)
- Reimplementation of testing-automata in Spot + (techreport)
- Réimplémentation des automates testeurs dans Spot + (techreport)
- Brain Tumor Segmentation with deep convolutional network approach + (techreport)
- Segmentation de tumeur cérébrale par réseau de neurones convolutionel + (techreport)
- Parallelism and Indexation in Quickref + (techreport)
- Parallélisation et Indexation de Quickref + (techreport)
- Artificial states generation in state spaces using kernel density estimation + (techreport)
- Artificial states generation in state spaces using kernel density estimation + (techreport)
- Estimation of the noise level function in natural images using the tree of shapes + (techreport)
- Estimation de la fonction de niveau de bruit dans des images naturelles en utilisant l'arbre des formes + (techreport)
- Detecting danger in marine environnement + (techreport)
- Détection de danger en milieu marin + (techreport)
- Binding a high-performance C++ image processing library to Python + (techreport)
- Création d'un lien entre une bibliothèque de traitement d'image en C++ hautes performances vers Python + (techreport)
- Distributed State Space Exploration + (techreport)
- Exploration d'espace d'état distribué + (techreport)
- Integrating Mathematical Morphology within Deep Convolutional Neural Networks + (techreport)
- Intégration de la Morphologie Mathématique dans les Réseaux Neuronaux Profonds + (techreport)
- Exploring various implementations for goroutines support in go2pins + (techreport)
- Comment implémenter le support des goroutines dans go2pins + (techreport)
- Modelling and Identifying Troll Farm Accounts on Twitter + (techreport)
- Modélisation et Identification des Troll Farmers sur Twitter + (techreport)
- Implementing Baker's SUBTYPEP decision procedure + (techreport)
- Implémentation de l'algorithme de SUBTYPEP de Baker + (techreport)
- Automatic troll farm account detection on Twitter + (techreport)
- Détection Automatique de Comptes Troll Farm sur Twitter + (techreport)
- Mathematical morphology and deep convolutional neural networks + (techreport)
- Morphologie mathématique et réseaux convolutionnels profonds + (techreport)
- Model classification in model checking using random forest + (techreport)
- ... Insert a title in French here ... + (techreport)
- Estimation of the Noise Level Function in Multivariate Images using the Tree of Shapes and non-parametric statistics + (techreport)
- 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 + (techreport)
- Detecting danger in marine environment: Part 1 - Making the dataset + (techreport)
- Détection de danger en milieu marin, Création du dataset + (techreport)
- Identifying Botnets in the Network using Gaussian Mixture Models + (techreport)
- Identification de Botnets à travers le réseau en utilisant les moèles de mélange gaussien + (techreport)
- Detecting Botnets Behaviors over Network Flows using Hidden Markov Models + (techreport)
- Détection des comportements de botnets au travers d'un flux en réseau en utilisant des modèles de Markov cachés + (techreport)
- Learning Morphological Operations + (techreport)
- Apprentissage d'Opérations Morphologiques + (techreport)
- Implementing Baker's SUBTYPEP decision procedure + (techreport)
- Implémentation de l'algorithme de SUBTYPEP de Baker + (techreport)
- Smart and robust segmentation of medical images using neural networks + (techreport)
- Segmentation robuste et intelligente d'images médicales par réseau de neurones + (techreport)
- Loss functions benchmark for brain tumour segmentation + (techreport)
- Banc d'essai de fonctions de coûts appliquées á la segmentation de tumeurs cérébrales + (techreport)
- Verifying Properties on a Program Using Static Analysis and Model Checking + (techreport)
- Verification de proprietes sur un programme en utilisant de l'analyse statique et de la verification de modele + (techreport)
- Smart and robust segmentation of medical images using neural networks + (techreport)
- Segmentation robuste et intelligente d'images médicales par réseau de neurones + (techreport)
- Real Time Face Expression Recognition + (techreport)
- ... Insert a title in French here ... + (techreport)
- Polynomial Identification of omega-Language + (techreport)
- Identification Polynomiale des omega-Langages + (techreport)
- Building a quantum perceptron + (techreport)
- Construire un perceptron quantique + (techreport)
- Brain MRI segmentation using mathematical morphology + (techreport)
- Segmentation d'IRM du cerveau avec la morphologie mathematique + (techreport)
- Efficient implementations of hierarchical morphological representations + (techreport)
- Implementations efficaces des representations hierarchiques morphologiques + (techreport)
- genus.py: a Simple Embeddable Type System for the Python language + (techreport)
- genus.py: un Système Simple de Typage Embarqué pour le language Python + (techreport)
- Handling blackbox transitions in go2pins + (techreport)
- Gestion des transitions blackbox dans go2pins + (techreport)
- Brain MRI Segmentation using fully convolutional network + (techreport)
- Segmentation d'IRM de cerveau en utilisant un reseau de neurones convolutif + (techreport)
- Integration of Morphological Operators in Neural Networks + (techreport)
- Inégration des Opérateurs de la Morphologie Mathématique dans des Réseaux de Neurones + (techreport)
- Fast simulation based reduction for ω-automaton + (techreport)
- Réduction basée sur des simulations d'ω-automates + (techreport)
- Active Learning on Visibly One Counter Systems + (techreport)
- Aprentissage Actif d'Automates Visiblement á un compteur + (techreport)
- Fast reductions for ω-automaton + (techreport)
- Réduction efficace d'ω-automate + (techreport)