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
- ... Insert a title in French here ... +
- ... Insert a title in French here ... +
- A Feedback Arc Set for Spot +
- A Promela front-end for Spot +
- A co-Büching Toolbox +
- A comparative study of image invariants for text / non-text classification +
- A fast algorithm for auto-dual trees +
- A fast and exact algorithm for total variation minimization +
- A new translation from LTL into TGBA in Spot +
- A note on nice-levelable MRFs for SAR image denoising with contrast preservation +
- About the computation of the Tree of Shapes on n-dimensional images in quasi-linear time. +
- Active Learning on Visibly One Counter Systems +
- Adaptation d'algorithmes de Vaucanson à une interface plus simple +
- Adaptation de l'algorithme de watershed cuts aux complexes cellulaires +
- Adaptation of the watershed cuts algorithm to cellular complexes +
- Adapter les structures de données de Vaucanson au concept de kind et à une interface rénovée +
- Adapting Vaucanson algorithms to a simpler interface +
- Adapting the data structures of Vaucanson to the concept of kind and a new interface +
- Adaptive partial order reduction methods +
- Adding Contracts to C++ with Transformers +
- Ajout de la programmation par contrats au C++ avec Transformers +
- Algorithmes sur les Transducteurs +
- Algorithms on Transducers +
- Alternate Fictitious Play study and implementation +
- Alternating automata support +
- Amélioration de la base d'entraînement d'un classifieur k-nn d'OCR +
- Amélioration de la composition des transducteurs dans Vaucanson +
- Amélioration de la dégénéralisation dans Spot +
- Amélioration de la réduction par simulation +
- Améliorer Horn-Schunck +
- Améliorer l'architecture de Vaucanson 2 +
- Améliorer la determinisation d'automates de Büchi +
- An edge-based attribute filter dedicated to image segmentation +
- An efficient implementation of transition-based generalized Büchi automaton determinization +
- An implementation of the C++ container library with SCOOL +
- An interpreter for Vaucanson +
- An interpreter for Vaucanson +
- An overview of Scoop, a static object-oriented paradigm +
- An overview of Vaucanson +
- An overview of Vaucanson +
- Analyse de la mise en page d'un document dans SCRIBO +
- Analyse de performances dans Vaucanson +
- Analyse structurelle haut-niveau de document dans le module Scribo d'Olena +
- Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set +
- Analysis of the Vaucanson project +
- Analysis of the Vaucanson project +
- Apprentissage d'Opérations Morphologiques +
- Apprentissage d'une distance entre deux i-vectors via des réseaux de neurones à convolution +
- Approche fonctionnelle de la généricité du traitement d'image +
- Approche parallèle pour le calcul de l'arbre des formes en n-dimensions +
- Approximation de la distance entre i-vecteurs par Perceptron Multi-Couches dans les systèmes de reconnaissance du locuteur +
- Aprentissage Actif d'Automates Visiblement á un compteur +
- Arbres de composantes et opérateurs de chaînage +
- Artificial states generation in state spaces using kernel density estimation +
- Artificial states generation in state spaces using kernel density estimation +
- Attribute grammars for C++ disambiguation +
- Attribute grammars for C++ disambiguation +
- Automata Reduction +
- Automata in Natural Language Processing +
- Automatic Attribute Propagation for Modular Attribute Grammars +
- Automatic Attribute Propagation for Modular Attribute Grammars +
- Automatic Heart Segmentation +
- Automatic detection of text zones on identity documents. +
- Automatic maintenance of exported symbols in Common Lisp packages +
- Automatic segmentation of Cassini's maps +
- Automatic troll farm account detection on Twitter +
- Avancées vers Vaucanson 1.4 et 2.0 +
- Banc d'essai de fonctions de coûts appliquées á la segmentation de tumeurs cérébrales +
- Benchmarking Vaucanson and large C++ libraries +
- Benchmarking of Partial Order Reduction in Spot +
- Binary Partition Tree for Image Processing +
- Binding a high-performance C++ image processing library to Python +
- Bisimulation-based Reductions on TGBA +
- Boltzmann Machine in speaker verification +
- Booster la généricité de Vaucanson +
- Booster les itérateurs de Vaucanson +
- Boosting Vaucanson +
- Boosting Vaucanson +
- Boosting Vaucanson's Iterator +
- Boosting Vaucanson's genericity +
- Bottleneck neural networks for Speaker Recognition +
- Brain MRI Segmentation using fully convolutional network +
- Brain MRI segmentation using mathematical morphology +
- Brain Tumor Segmentation with deep convolutional network approach +
- Building a quantum perceptron +
- Building an interface for and with Climb +
- C++ Program Slicing with Transformers +
- C++ Transformations panorama +
- C++ Transformations panorama +
- C++ container library with the SCOOP paradigm +
- C++ container library with the SCOOP paradigm +
- C++ template disambiguation with Transformers Attribute Grammars +
- C++ type-checking: A study of existing solutions +
- C++ type-checking: A study of existing solutions +
- CLIMB: A Dynamic Approach To Generic Image Processing +
- CLIMB: Une approche dynamique du traitement générique d'images +
- Calcul de distance par un rśeau de neurones profond siamois +
- Calcul du Complexe de Morse-Smale à l'aide de coupe de ligne de partage des eaux +
- Calcul du flux optique dans des séquences avec des parties manquantes +
- Canvas in Morphological Algorithms +
- Canvas in Morphological Algorithms +
- Canvas in Olena +
- Canvas in Olena +
- Centaur : Une infrastructure générique simplifiant les transformations de C++ +
- Centaur: A generic framework simplifying C++ transformation +
- Climb: Implémentation de voisinage pondérés +
- Climb: Weighted Neighborhood Implementation +
- Coercition et programmation orientée contexte +
- Color types in Milena +
- Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking +
- Comment implémenter le support des goroutines dans go2pins +
- Comparaison entre le Fictitious Play et le Fictitious Play Alterné dans le cadre des jeux à somme nulle +
- Compensation d'i-vecteur spécifique aux locuteurs dans la reconnaissance du locuteur +
- Compensation locale du canal dans les systèmes de reconnaissance du locuteur +
- Complementing Büchi Automata +
- Complementing Büchi Automata With Alternating Automata +
- Component Trees and Chaining Operators in Climb +
- Component trees in Milena +
- Composition Efficace de Transducteurs dans Vcsn +
- Composition de transducteur dans Vaucanson 2 +
- Compression d'états dans Spot +
- Computing the optical flow in sequences with missing parts +
- Computing the regular language recognized by a finite automaton +
- Computing the regular language recognized by a finite automaton +
- ConceptC++ study and possible integration in SCOOP +
- Conception of a static oriented language: an overview of Scool +
- Conception of a static oriented language: an overview of Scool +
- Concevoir l'interface d'une bibliothèque générique en Common Lisp +
- Construction d'une interface pour et avec Climb +
- Construire un perceptron quantique +
- Context-oriented programming applied to image processing +
- Contribution to dyn:: +
- Contribution à dyn:: +
- Counterexample searches in Spot +
- Cover automata for finite languages +
- Cover automata for finite languages +
- Creation of an antichain library +
- Création d'un lien entre une bibliothèque de traitement d'image en C++ hautes performances vers Python +
- Création d'une bibliothèque d'antichaîne +
- De nouvelles fac cons d'utiliser l'interface Jupyter. +
- Deciding Persistence or Recurrence Membership in Spot +
- Dematerialization Tools in SCRIBO +
- Designing the user interface for a Common Lisp generic library +
- Detecting Botnets Behaviors over Network Flows using Hidden Markov Models +
- Detecting danger in marine environment: Part 1 - Making the dataset +
- Detecting danger in marine environnement +
- Direct-Simulation Reduction for TGBA +
- Discrimination supervisé de caractères sur des images +
- Dispatch par propriétés dans les langages fonctionnels +
- Distance Transform +
- Distance Transform +
- Distributed State Space Exploration +
- Document layout analysis in SCRIBO +
- Domain Mismatch Compensation for Text-Independant Speaker Recognition +
- Domain Mismatch Compensation for Text-Independant Speaker Recognition +
- Dynamic use of statically typed libraries, textscJust In Time compilation and other solutions +
- Dynamic use of statically typed libraries, textscJust In Time compilation and other solutions +
- Dynamization of C++ static libraries +
- Dynamization of C++ static libraries +
- Décomposition d'un automate de Büchi Généralisé multi-force +
- Découpage automatique des cartes de Cassini +
- Découpage de programme C++ avec Transformers +
- Désambiguïsation de la superposition de lignes. +
- Désambiguïsation des patrons de type C++ avec les Grammaires Attribuées de Transformers +
- Détection Automatique de Comptes Troll Farm sur Twitter +
- Détection automatique de zones de textes sur des pièces d'identité +
- Détection de danger en milieu marin +
- Détection de danger en milieu marin, Création du dataset +
- Détection de logotypes et autres invariants caractéristiques +
- Détection de logotypes et autres invariants caractéristiques à l'aide de descripteurs SIFT +
- Détection de voix +
- Détection des comportements de botnets au travers d'un flux en réseau en utilisant des modèles de Markov cachés +
- Développement d'une interface graphique pour Vaucanson +
- Développement d'une interface graphique pour Vaucanson +
- Ecriture d'algorithmes de traitement d'images génériques +
- Efficiency comparison between Fictitious Play and Alternate Fictitious Play algorithms on the restricted set of zero-sum games +
- Efficient Dynamic Type Checking of Heterogeneous Sequences +
- Efficient Transducer Composition in Vcsn +
- Efficient Translation of Fairness LTL Formulae into Deterministic Automata +
- Efficient algorithmic methods for Nash equilibria computation +
- Efficient algorithmic methods for Nash equilibria computation +
- Efficient implementations of hierarchical morphological representations +
- Efficient removal of spontaneous transitions in Vcsn +
- 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 +
- Estimation de la fonction de niveau de bruit dans des images naturelles en utilisant l'arbre des formes +
- Estimation of the Noise Level Function in Multivariate Images using the Tree of Shapes and non-parametric statistics +
- Estimation of the noise level function in natural images using the tree of shapes +
- Etude comparative d'invariants de forme pour la classification texte / non-texte +
- Etude de ConceptC++ et possible intégration dans SCOOP +
- Evaluation method of text detection algorithm rating +
- Exact optimization of discrete constrained total variation minimization problems +
- Exploration d'espace d'état distribué +
- Exploring various implementations for goroutines support in go2pins +
- Extraction de l'inverse video dans SCRIBO. +
- Extraction de texte avec des ondelettes +
- FSMXML and its application in Vaucanson +
- FSMXML et son utilisation dans Vaucanson +
- FSMXML for Vaucanson 2.0 +
- FSMXML pour Vaucanson 2.0 +
- Factor analysis based channel compensation in speaker verification +
- Factor analysis based channel compensation in speaker verification +
- Fast Image Registration +
- Fast Level Line Transform +
- Fast reductions for ω-automaton +
- Fast simulation based reduction for ω-automaton +
- Fast structure preserving inpainting +
- Fictious Play +
- Filtrage à base de contours pour la segmentation d'images +
- Finding Maximal Common Joins in a DAG +
- Finding Short Synchronizing Words +
- Formal Definition of the Disambiguation with Attribute Grammars +
- Formal Definition of the Disambiguation with Attribute Grammars +
- From an expression to the original automaton +
- From an expression to the original automaton +
- Front-end Promela dans Spot +
- Full Covariance Matrices based Gaussian Mixture Models +
- Functionnal approach of image processing genericity +
- Generalized Linear Discriminant Sequence for Speaker Verification +
- Generic epsilon-removal +
- Generic epsilon-removal +
- Gestion des transitions blackbox dans go2pins +
- Génération aléatoire d'automates et de chemins dans Vcsn +
- Génération aléatoire d'expression rationnelle +
- Handling blackbox transitions in go2pins +
- High-level Document Structure Analysis in the Olena Scribo Module +
- Histogrammes +
- Histograms +
- Hiérarchie par propriétés du module Algebra de Vaucanson +
- Homolib +
- Homolib +
- I-Vector Multilayer Perceptron in Speaker Recognition System +
- I-Vectors distance learning with Convolutional Neural Networks +
- IVector space mapping with Deep Neural Network +
- Identification Polynomiale des omega-Langages +
- Identification de Botnets à travers le réseau en utilisant les moèles de mélange gaussien +
- Identifying Botnets in the Network using Gaussian Mixture Models +
- Image processing for plots detection from ancient maps +
- Image reconstruction +
- Image taxonomy in Milena +
- Image taxonomy in Olena +
- Image taxonomy in Olena +
- Images taxonomy and modeling +
- Images taxonomy and modeling +
- Implementation of Invisible and Transparent Transitions in Spot +
- Implementation of transducers in Vaucanson +
- Implementation of transducers in Vaucanson +
- Implementations efficaces des representations hierarchiques morphologiques +
- Implementing Baker's SUBTYPEP decision procedure +
- Implementing Baker's SUBTYPEP decision procedure +
- Implementing a C++ extension with Transformers: class namespace +
- Implementing rational semiring +
- Implémentation d'une extension du C++ dans Transformers: class namespace +
- Implémentation de l'algorithme de SUBTYPEP de Baker +
- Implémentation de l'algorithme de SUBTYPEP de Baker +
- Implémentation des transitions invisibles et transparentes dans Spot +
- Implémentation du corps des (nombres) rationnels +
- Improvements of Simulation-based Reduction +
- Improving Horn-Schunck +
- Improving OCR k-NN classifier's training set +
- Improving Vaucanson's design +
- Improving Vaucanson's transducers composition algorithm +
- Improving degeneralization in Spot +
- Improving the determinization of Büchi automata +
- Inpainting rapide préservant la structure +
- Inpainting variationnel par combinaison d'invariants +
- Integrating Mathematical Morphology within Deep Convolutional Neural Networks +
- Integrating modern parallel techniques in the Tiger compiler +
- Integration of Morphological Operators in Neural Networks +
- Integration of TChecker in Spot +
- Integration of histograms in the NL-Mean algorithm for image denoising. +
- Interface graphique de Vaucanson +
- Intégration d'histogrammes dans l'algorithme NL-Mean pour le débruitage d'images +
- Intégration de TChecker dans Spot +
- Intégration de la Morphologie Mathématique dans les Réseaux Neuronaux Profonds +
- Intégration de techniques de parallélisation dans le compilateur Tiger +
- Inverse Video extraction in Scribo +
- Inégration des Opérateurs de la Morphologie Mathématique dans des Réseaux de Neurones +
- JSPP: Morphing C++ into JavaScript +
- K plus courts chemins dans Vcsn +
- K plus courts chemins dans Vcsn +
- K shortest-paths in Vcsn +
- K shortest-paths in Vcsn +
- L'Arbre de partition binaire pour le traitement d'images +
- L'algorithme Union-Find de Tarjan et les filtres connectès +
- L'algorithme de Partitionnement de Markov pour le Système Supervisé de Vérification du Locuteur +
- LRDE's Speaker Verification Framework +
- LRDE's Speaker Verification Framework +
- LTL Synthesis with Spot +
- La Segmentation du Locuteur Basée sur les Coefficients Cepstraux sur l'échelle de Mel +
- La Segmentation du Locuteur basée sur l'Analyse en Composantes Indépendantes +
- La complémentation d'automates de Büchi +
- La complémentation d'automates de Büchi à travers des automates alternants +
- La généricité par propriétés +
- La programmation orientée contexte appliquée au traitement d'images +
- Le support des automates alternants +
- Learning Morphological Operations +
- Learning models for model-checking +
- Learning models for model-checking +
- Les Machines de Boltzmann dans la reconnaissance du locuteur +
- Les arbres de composantes dans Milena +
- Les automates en traitement automatique des langues naturelles +
- Les propriétés dans Milena +
- Les relations synchrones dans Vaucanson +
- Les types de couleur dans Milena +
- Ligne de partage des eaux topologique +
- Local channel compensated method in Speaker Recognition System +
- Logotypes detection and other characteristic invariants +
- Logotypes detection and other characteristics invariants using SIFT descriptors +
- Loss functions benchmark for brain tumour segmentation +
- Maintenance automatique des symboles exportés dans les packages de Common Lisp +
- Mappage d'espace d'ivecteur à l'aide d'un réseau neuronal profond +
- Markov Clustering Algorithm for Unsupervised Speaker Recognition System +
- Mathematical morphology and deep convolutional neural networks +
- Mesures sur la réduction d'ordre partiel dans Spot +
- Metric Learning using a Siamese Deep Neural Network +
- Minimisation d'automates représentant des obligations +
- Minimization of automata representing obligation formulae +
- Model classification in model checking using random forest +
- Modelling and Identifying Troll Farm Accounts on Twitter +
- Modèle du monde à base de réseaux de neurones à délai temporel pour la reconnaissance du locuteur +
- Modèles de mélanges de gaussiennes fondés sur des matrices de covariance pleines +
- Modélisation et Identification des Troll Farmers sur Twitter +
- Monads in Common Lisp +
- Morphologie mathématique et réseaux convolutionnels profonds +
- Morphologie sur images couleur +
- Morphology on color images +
- Morse-Smale Complex computation with Watershed Cut +
- Mécanique de Vaucanson 2.0 +
- Méthode d'évaluation d'évaluateur d'algorithme de détection de texte +
- Méthodes de réduction par ordre partiel adaptatives. +
- Méthodes de réduction par ordre partiel dans Spot +
- New ways to use the Vcsn's Jupyter interface. +
- Nondeterminisation of alternating automata in SPOT +
- Nondéterminisation d'automates alternants dans SPOT +
- Nonlinear Projection for Cosine Distance Scoring in I-Vector based Speaker Verification Systems. +
- Nouvelle traduction de LTL en TGBA dans Spot +
- On coercion in Context-Oriented Programming +
- Optimisation d'une bibliothèque de traitement d'images +
- Optimisation en Common Lisp et son application à Climb +
- Optimisations dans le compilateur Tiger +
- Optimization in Common Lisp, and its application to Climb +
- Optimization of an image processing library +
- Optimizations in the Tiger Compiler +
- Outils pour la dématérialisation dans SCRIBO +
- Parallel Climb +
- Parallel approach for the computation of the tree of shapes on n-dimensional images +
- Parallelism and Indexation in Quickref +
- Parallelization in a generic image processing library +
- Parallélisation dans une bibliothèque de traitement d'images générique +
- Parallélisation de Climb +
- Parallélisation et Indexation de Quickref +
- Parser d'expressions rationnelles +
- Parsing with Transformers +
- Parsing with Transformers +
- Partial order reduction in SPOT +
- Partial order reduction methods for Spot +
- Polynomial Identification of omega-Language +
- Prise de décision à l'aide de SVM dans le contexte des systèmes de vérification du loctueur à base d'I-Vector +
- Product of Parity Automata +
- Produit d'automates à parité +
- Progress in C++ source preprocessing +
- Progress in C++ source preprocessing +
- Progresses towards Vaucanson 1.4 and 2.0 +
- 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. +
- Properties in Milena +
- Property based class hierarchy of Vaucanson's Algebra module +
- Property based dispatch in functional languages +
- Property-Based Genericity: A Dynamic Approach +
- Proposal: an XML representation for automata +
- Quotient of weighted automata and rational series +
- Quotients d'automates pondérés et de séries rationnelles +
- Random automata and path generation in Vcsn +
- Random rational expression generation +
- Rational Expression Parser +
- Real Time Face Expression Recognition +
- Recalage d'images rapide +
- Recherche de chemin acceptant bi-bande dans Spot +
- Recherche de petits mots synchronisants +
- Recherches de contrexemple dans Spot +
- Reconstruction d'image +
- Reduce the resource consumption of a complex image processing chain +
- Reduction d'automates +
- Regression benchmarking +
- Regression benchmarking +
- Reimplementation of testing-automata in Spot +
- Remedial treatment for Vaucanson: an enhanced automaton concept +
- Reseaux de neurones en goulot pour la Reconnaissance du Locuteur +
- Revue comparative des algorithmes de calcul de l'arbre des formes. +
- Run-Time Concrete-Syntax Program-Transformation in General Purpose Languages +
- Run-Time Concrete-Syntax Program-Transformation in General Purpose Languages +
- Réduction basée sur des simulations d'ω-automates +
- Réduction basées sur la bisimulation appliquées aux TGBA +
- Réduction d'ordre partiel dans SPOT +
- Réduction efficace d'ω-automate +
- Réduction par simulation directe pour les TGBA +
- Réduction par simulation pour les TGBA +
- Réduire les ressources utilisées par une chaîne de traitement d'images complexe +
- Réimplémentation des automates testeurs dans Spot +
- SCOOL: Concept-Oriented Programming +
- SCOOL: Generic programming +
- SCOOL: Programmation générique +
- SCOOL: Programmation générique et concepts +
- SCOOL: object orientation of a static language +
- SCOOL: object orientation of a static language +
- SUBTYPEP: An Implementation of Baker's Algorithm +
- SUBTYPEP: Une implémentation de l'algorithme de Baker +
- SVM Kernel Combining System for Speaker Verification +
- SVM Kernel Combining System for Speaker Verification +
- SVM decision taking in I-Vector based Speaker Verification Systems +
- SVM-MLLR et fusion pour la vérification du locuteur +
- SVM-MLLR for multi-speaker verification systems score fusion +
- Scool transformation towards C++ +
- Scool transformation towards C++ +
- Scribo: Disambiguation of lines superimposement +
- Segmentation automatique du coeur +
- Segmentation d'IRM de cerveau en utilisant un reseau de neurones convolutif +
- Segmentation d'IRM du cerveau avec la morphologie mathematique +
- Segmentation de tumeur cérébrale par réseau de neurones convolutionel +
- Segmentation robuste et intelligente d'images médicales par réseau de neurones +
- Segmentation robuste et intelligente d'images médicales par réseau de neurones +
- Semantics driven disambiguation +
- Semantics driven disambiguation +
- Semantics driven disambiguation: A comparison of different approaches +
- Semantics driven disambiguation: A comparison of different approaches +
- Semantics driven disambiguation: a comparison of different approaches +
- Semantics driven disambiguation: a comparison of different approaches +
- Simulation-based Reductions for TGBA +
- Smart and robust segmentation of medical images using neural networks +
- Smart and robust segmentation of medical images using neural networks +
- Software engineering in Olena Core +
- Software engineering in Olena Core +
- Speaker Diarization +
- Speaker Diarization based on Independent Component Analysis +
- Speaker Diarization based on the Mel Frequency Cepstral Coefficients +
- Speaker recognition evaluation: selective approaches and fusion +
- Speaker recognition evaluation: selective approaches and fusion +
- Speaker specific i-vector channel compensation in speaker recognition +
- Stage de traitement d'image au LRDE +
- Stage de traitement d'image au LRDE +
- Stage de traitement d'image au LRDE +
- Stage de traitement d'image au LRDE +
- State compression in Spot +
- Strength-based decomposition of Büchi automaton +
- Study and Analysis of C++ Extension Conception with Transformers +
- Supervised Discrimination of Characters on Images +
- Suppression efficace de transitions spontanées dans Vcsn +
- Synchronized Tranducers +
- Synchronous relations in Vaucanson +
- Synthèse LTL avec Spot +
- Système de discriminants linéaires pour la vérification du locuteur +
- Séparation de locuteur +
- Tarjan Union-Find algorithm and connected operators +
- Taxonomie des images de Milena +
- Test de vacuité bi-bande dans Spot +
- Tester l'appartenance à Persistence ou Récurrence dans Spot +
- Text extraction method based on wavelets +
- The Tree of Shapes Comparative Review of Component Tree Computation Algorithms. +
- Time Delay Neural Networks-Based Universal Background Model for Speaker Recognition +
- Tools for Attribute Grammars manipulation in Transformers +
- Tools for Attribute Grammars manipulation in Transformers +
- Topological Watershed +
- Towards Vaucanson 2.0 +
- Towards Vaucanson 2.0 +
- Traduction d'une LTL étendue en TGBA dans Spot +
- Traduction d'une LTL étendue en TGBA dans Spot +
- Traduction efficace de formules LTL d'équité en automates déterministes +
- Traitement curatif pour Vaucanson: un renforcement du concept d'automate +
- Traitement d'images de cartes anciennes pour la détection de parcelles +
- Transducer composition in Vaucanson 2 +
- Transducers in Vaucanson 2 +
- Transducteurs dans Vaucanson 2 +
- Transducteurs synchronisés +
- Transfinite Chomp +
- Transfinite Chomp +
- Transformation des courbes de niveau rapide +
- Transformers : vers la fin du tunnel +
- Transformers: a C++ program transformation framework +
- Transformers: a C++ program transformation framework +
- Transformers: toward the end of the pipeline +
- Translation of an extended LTL into TBGA in Spot +
- Translation of an extended LTL into TBGA in Spot +
- Two-automaton accepting run search in Spot +
- Two-automaton emptiness check in Spot +
- Un Feedback Arc Set pour Spot +
- Un algorithme rapide pour l'arbre auto-dual +
- Un ensemble d'outils de conversion en automate de co-Büchi +
- Une bibliothèque et un environnement de programmation d'opérateurs de traitement d'images +
- Une implementation efficace de déterminisation d'automates de Büchi généralisés à transitions acceptantes +
- Une implémentation des conteneurs C++ avec SCOOL +
- Une introduction à Scoop, un paradigme Cxx orienté objet +
- Unified texture management for arbitrary meshes +
- Using a wavelet-based descriptor to extract information on object shape +
- Using connected operators to manipulate image components +
- Using connected operators to manipulate image components +
- Using the Mumford-Shah segmentation for Text Detection in images +
- Utilisation d'un descripteur à base de transformée en ondelettes pour extraire des informations sur la forme des objets +
- Utilisation de la segmentation de Mumford-Shah pour la détection du texte dans les images +
- Variational image inpainting by combination of features +
- Vaucanson 2.0 Internals +
- Vcsn Meets Linguistics +