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
- A Comparative Review of Component Tree Computation Algorithms + (carlinet.14.itip)
- Une approche morphologique de segmentation interactive avec l'arbre des formes couleur + (carlinet.15.gretsi)
- Morphological Object Picking Based on the Color Tree of Shapes + (carlinet.15.ipta)
- A Color Tree of Shapes with Illustrations on FilteringSimplification, and Segmentation + (carlinet.15.ismm)
- MToS: A Tree of Shapes for Multivariate Images + (carlinet.15.itip)
- A Tree of Shapes for Multivariate Images + (carlinet.15.phd)
- La pseudo-distance du dahu + (carlinet.17.orasis)
- The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm + (carlinet.18.icip)
- Un algorithme de complexité linéaire pour le calcul de l'arbre des formes + (carlinet.18.rfiap)
- Intervertebral Disc Segmentation Using Mathematical Morphology—A CNN-Free Approach + (carlinet.19.csi)
- Filtres connexes multivariés par fusion d'arbres de composantes + (carlinet.19.gretsi)
- Introducing Multivariate Connected Openings and Closings + (carlinet.19.ismm)
- The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm + (carlinet.2018.icip)
- Artificial states generation in state spaces using kernel density estimation + (carvalho.19.seminar)
- Artificial states generation in state spaces using kernel density estimation + (carvalho.19.seminar)
- Model classification in model checking using random forest + (carvalho.20.seminar)
- ... Insert a title in French here ... + (carvalho.20.seminar)
- Practical Applications of the Alternating Cycle Decomposition + (casares.22.tacas)
- Region-Based Classification of Remote Sensing Images with the Morphological Tree of Shapes + (cavallaro.16.igarss)
- Homolib + (charron.08.seminar)
- Homolib + (charron.08.seminar)
- SmartDoc 2017 Video Capture: Mobile Document Acquisition in Video Mode + (chazalon.17.icdar-ost)
- Revisiting the Coco Panoptic Metric to Enable Visual and Qualitative Analysis of Historical Map Instance Segmentation + (chazalon.21.icdar.1)
- ICDAR 2021 Competition on Historical Map Segmentation + (chazalon.21.icdar.2)
- Functionnal approach of image processing genericity + (chedeau.10.seminar)
- Approche fonctionnelle de la généricité du traitement d'image + (chedeau.10.seminar)
- Component Trees and Chaining Operators in Climb + (chedeau.11.seminar)
- Arbres de composantes et opérateurs de chaînage + (chedeau.11.seminar)
- Property based dispatch in functional languages + (chedeau.12.seminar)
- Dispatch par propriétés dans les langages fonctionnels + (chedeau.12.seminar)
- JSPP: Morphing C++ into JavaScript + (chedeau.12.tr)
- On a Polynomial Vector Field Model for Shape Representation + (chekroun.06.iciar)
- Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation + (chen.21.dgmm)
- Vectorization of Historical Maps Using Deep Edge Filtering and Closed Shape Extraction + (chen.21.icdar)
- Modern vectorization and alignement of historical maps: An application to Paris atlas (1789-1950) + (chen.23.phd)
- A blockchain-based certificate revocation management and status verification system + (christian.21.cs)
- Analysis of the Vaucanson project + (claveirole.04.seminar.analysis)
- Analysis of the Vaucanson project + (claveirole.04.seminar.analysis)
- An overview of Vaucanson + (claveirole.04.seminar.overview)
- An overview of Vaucanson + (claveirole.04.seminar.overview)
- Inside Vaucanson + (claveirole.05.ciaa)
- Une bibliothèque et un environnement de programmation d'opérateurs de traitement d'images + (clouard.99.tr)
- Morse-Smale Complex computation with Watershed Cut + (collette.17.seminar)
- Calcul du Complexe de Morse-Smale à l'aide de coupe de ligne de partage des eaux + (collette.17.seminar)
- Parallel approach for the computation of the tree of shapes on n-dimensional images + (crozet.12.seminar)
- Approche parallèle pour le calcul de l'arbre des formes en n-dimensions + (crozet.12.seminar)
- About the computation of the Tree of Shapes on n-dimensional images in quasi-linear time. + (crozet.13.seminar)
- À propos du calcul de l'arbre des formes sur des images n-dimensionnelles en temps quasi-linéaire. + (crozet.13.seminar)
- The Tree of Shapes Comparative Review of Component Tree Computation Algorithms. + (crozet.13.seminar2)
- Revue comparative des algorithmes de calcul de l'arbre des formes. + (crozet.13.seminar2)
- A First Parallel Algorithm to Compute the Morphological Tree of Shapes of nD Images + (crozet.14.icip)
- Yet Another Vaucanson GUI + (d-halluin.08.seminar)
- Interface graphique de Vaucanson + (d-halluin.08.seminar)
- Benchmarking Vaucanson and large C++ libraries + (d-halluin.09.seminar)
- Analyse de performances dans Vaucanson + (d-halluin.09.seminar)
- Adapting Vaucanson algorithms to a simpler interface + (d-halluin.10.seminar)
- Adaptation d'algorithmes de Vaucanson à une interface plus simple + (d-halluin.10.seminar)
- Nondeterminisation of alternating automata in SPOT + (damota.09.seminar)
- Nondéterminisation d'automates alternants dans SPOT + (damota.09.seminar)
- Evaluation method of text detection algorithm rating + (dangla.17.seminar)
- Méthode d'évaluation d'évaluateur d'algorithme de détection de texte + (dangla.17.seminar)
- A first step toward a fair comparison of evaluation protocols for text detection algorithms + (dangla.18.das)
- Integration of histograms in the NL-Mean algorithm for image denoising. + (dangla.18.seminar)
- Intégration d'histogrammes dans l'algorithme NL-Mean pour le débruitage d'images + (dangla.18.seminar)
- Error correcting code performance for watermark protection + (darbon.01.ei)
- Generic implementation of morphological image operators + (darbon.02.ismm)
- Generic algorithmic blocks dedicated to image processing + (darbon.04.ecoopphd)
- Exact optimization of discrete constrained total variation minimization problems + (darbon.04.iwcia)
- Exact optimization of discrete constrained total variation minimization problems + (darbon.04.tr)
- An efficient algorithm for attribute openings and closings + (darbon.05.eusipco)
- A Fast and Exact Algorithm for Total Variation Minimization + (darbon.05.ibpria)
- Total Variation Minimization with L^1 Data Fidelity as a Contrast Invariant Filter + (darbon.05.ispa)
- A Vectorial Self-Dual Morphological Filter based on Total Variation Minimization + (darbon.05.isvc)
- Composants logiciels et algorithmes de minimisation exacte d'énergies dédidées au traitement d'images + (darbon.05.phd)
- A fast and exact algorithm for total variation minimization + (darbon.05.tr)
- Approximate Probabilistic Model Checking for Programs + (darbon.06.iccp)
- Image restoration with discrete constrained Total Variation—Part I: Fast and exact optimization + (darbon.06.jmiv)
- Image restoration with discrete constrained Total Variation—Part II: Levelable functions, convex priors and non-convex case + (darbon.06.jmivb)
- Fast and Exact Discrete Image Restoration Based on Total Variation and on Its Extensions to Levelable Potentials + (darbon.06.siam)
- A note on nice-levelable MRFs for SAR image denoising with contrast preservation + (darbon.06.tr)
- The use of levelable regularization functions for MRF restoration of SAR images + (darbon.07.ei)
- A Note on the Discrete Binary Mumford-Shah Model + (darbon.07.mirage)
- Global Optimization for First Order Markov Random Fields with Submodular Priors + (darbon.08.iwcia)
- Bottleneck neural networks for Speaker Recognition + (daval-frerot.16.seminar)
- Reseaux de neurones en goulot pour la Reconnaissance du Locuteur + (daval-frerot.16.seminar)
- Attribute grammars for C++ disambiguation + (david.04.seminar)
- Attribute grammars for C++ disambiguation + (david.04.seminar)
- C/C++ Disambiguation Using Attribute Grammars + (david.05.sud)
- Attribute Grammars for Modular Disambiguation + (david.06.iccp)
- Spatial reasoning with relative incomplete information on relative positioning + (dehak.05.pami)
- LRDE System description + (dehak.06.nist)
- Linear and Non Linear Kernel GMM SuperVector Machines for Speaker Verification + (dehak.07.interspeech)
- The LRDE Systems for the 2008 NIST Speaker Recognition Evaluation + (dehak.08.nist)
- Kernel Combination for SVM Speaker Verification + (dehak.08.odysseya)
- Comparison Between Factor Analysis and GMM Support Vector Machines for Speaker Verification + (dehak.08.odysseyb)
- Support Vector Machines and Joint Factor Analysis for Speaker Verification + (dehak.09.icassp)
- Support Vector Machines versus Fast Scoring in the Low-Dimensional Total Variability Space for Speaker Verification + (dehak.09.interspeech)
- Cepstral and Long-Term Features for Emotion Recognition + (dehak.09.interspeechb)
- LRDE Speaker Recognition System for NIST-SRE 2010 + (dehak.10.nist)
- Cosine Similarity Scoring without Score Normalization Techniques + (dehak.10.odyssey)
- Unsupervised Speaker Adaptation based on the Cosine Similarity for Text-Independent Speaker Verification + (dehak.10.odyssey2)
- A Channel-Blind System for Speaker Verification + (dehak.11.icassp)
- Language Recognition via I-Vectors and Dimensionality Reduction + (dehak.11.interspeech)
- Front-End Factor Analysis For Speaker Verification + (dehak.11.taslp)
- GMM Weights Adaptation Based on Subspace Approaches for Speaker Verification + (dehak.14.odyssey)
- The MIT Lincoln Laboratory 2016 Speaker Recognition System + (dehak.16.nistsre)
- Factor analysis based channel compensation in speaker verification + (deledalle.07.seminar)
- Factor analysis based channel compensation in speaker verification + (deledalle.07.seminar)
- SVM Kernel Combining System for Speaker Verification + (deledalle.08.seminar)
- SVM Kernel Combining System for Speaker Verification + (deledalle.08.seminar)
- Generic epsilon-removal + (delmon.07.seminar)
- Generic epsilon-removal + (delmon.07.seminar)
- Rational Expression Parser + (delmon.08.seminar)
- Parser d'expressions rationnelles + (delmon.08.seminar)
- Automata Reduction + (delmon.08.seminar.reduce)
- Reduction d'automates + (delmon.08.seminar.reduce)
- Making Compiler Construction Projects Relevant to Core Curriculums + (demaille.05.iticse)
- Modeling of Sensor Networks Using XRM + (demaille.06.isola)
- Probabilistic Verification of Sensor Networks + (demaille.06.rivf)
- An XML format proposal for the description of weighted automata, transducers, and regular expressions + (demaille.08.fsmnlp)
- A Set of Tools to Teach Compiler Construction + (demaille.08.iticse)
- Compiler Construction as an Effective Application to Teach Object-Oriented Programming + (demaille.08.kex)
- Semantics driven disambiguation: A comparison of different approaches + (demaille.08.ldta)
- TWEAST: A Simple and Effective Technique to Implement Concrete-Syntax AST Rewriting Using Partial Parsing + (demaille.09.sac)
- Implementation Concepts in Vaucanson 2 + (demaille.13.ciaa)
- A Type System for Weighted Automata and Rational Expressions + (demaille.14.ciaa)
- Derived-Term Automata of Multitape Rational Expressions + (demaille.16.ciaa)
- Derived-term Automata for Extended Weighted Rational Expressions + (demaille.16.ictac)
- Derived-Term Automata of Weighted Rational Expressions with Quotient Operators + (demaille.17.ictac)
- Derived-Term Automata of Multitape Expressions with Composition + (demaille.17.sacs)
- Uniform Random Sampling of Traces in Very Large Models + (denise.06.rt)
- CLIMB: A Dynamic Approach To Generic Image Processing + (denuziere.09.seminar)
- CLIMB: Une approche dynamique du traitement générique d'images + (denuziere.09.seminar)
- Property-Based Genericity: A Dynamic Approach + (denuziere.10.seminar)
- La généricité par propriétés + (denuziere.10.seminar)
- Designing the user interface for a Common Lisp generic library + (denuziere.11.seminar)
- Concevoir l'interface d'une bibliothèque générique en Common Lisp + (denuziere.11.seminar)
- C++ Transformations panorama + (despres.04.seminar)
- C++ Transformations panorama + (despres.04.seminar)
- Regression benchmarking + (despres.05.seminar)
- Regression benchmarking + (despres.05.seminar)
- Supervised Discrimination of Characters on Images + (deutsch.16.seminar)
- Discrimination supervisé de caractères sur des images + (deutsch.16.seminar)
- Trie-based Output Itemset Sampling + (diop.22.ieeebigdata)
- NixOS: A purely functional Linux distribution + (dolstra.10.jfp)
- Adaptation of the watershed cuts algorithm to cellular complexes + (dore.15.seminar)
- Adaptation de l'algorithme de watershed cuts aux complexes cellulaires + (dore.15.seminar)
- Extraction of Ancient Map Contents Using Trees of Connected Components + (drapeau.17.grec)
- Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata + (droste.22.iandc)
- Estimating the Number of Endmembers to Use in Spectral Unmixing of Hyperspectral Data with Collaborative Sparsity + (drumetz.17.lva-ica)
- Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model Formulation + (drumetz.20.icassp)
- Fast simulation based reduction for ω-automaton + (dubois.21.seminar)
- Réduction basée sur des simulations d'ω-automates + (dubois.21.seminar)
- Fast reductions for ω-automaton + (dubois.22.seminar)
- Réduction efficace d'ω-automate + (dubois.22.seminar)
- A Self-Adaptive Likelihood Function for Tracking with Particle Filter + (dubuisson.15.visapp)
- Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC + (duflot.04.avocs)
- Practical Application of Probabilistic Model Checking to Communication Protocols + (duflot.06.book)
- Stage de traitement d'image au LRDE + (duhamel.08.seminar)
- Stage de traitement d'image au LRDE + (duhamel.08.seminar)
- Discovering and Visualizing Tactics in Table Tennis Games Based on Subgroup Discovery + (duluard.22.mlsa)
- Olena: a component-based platform for image processingmixing generic, generative and OO programming + (duret.00.gcse)
- Expression templates in Ada 95 + (duret.01.ae)
- Generic design patterns in C++ + (duret.01.coots)
- On-the-fly Emptiness Check of Transition-based Streett Automata + (duret.09.atva)
- Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking + (duret.11.arxiv)
- Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking + (duret.11.atva)
- Building LTL Model Checkers using Transition-based Generalized Büchi Automata + (duret.11.sumo)
- LTL Translation Improvements in Spot + (duret.11.vecos)
- Manipulating LTL formulas using Spot 1.0 + (duret.13.atva)
- LTL Translation Improvements in Spot 1.0 + (duret.14.ijccbs)
- Heuristics for Checking Liveness Properties with Partial Order Reductions + (duret.16.atva)
- Spot 2.0 — a framework for LTL and ω-automata manipulation + (duret.16.atva2)
- Contributions to LTL and ω-Automata for Model Checking + (duret.17.hdr)
- From Spot 2.0 to Spot 2.10: What's New? + (duret.22.cav)
- Semantics driven disambiguation + (durlin.07.seminar)
- Semantics driven disambiguation + (durlin.07.seminar)
- Semantics driven disambiguation: A comparison of different approaches + (durlin.08.seminar)
- Semantics driven disambiguation: A comparison of different approaches + (durlin.08.seminar)
- Energy Problems in Finite and Timed Automata with Büchi Conditions + (dziadek.23.fm)
- New Security Protocols for Offline Point-of-Sale Machines + (el-madhoun.22.aina)
- A Secure Blockchain-Based Architecture for the COVID-19 Data Network + (el-madhoune.21.csnet)
- High-level Document Structure Analysis in the Olena Scribo Module + (escobar.13.seminar)
- Analyse structurelle haut-niveau de document dans le module Scribo d'Olena + (escobar.13.seminar)
- Debug Packages in OpenBSD + (espie.21.eurocon)
- Estimating the noise level function with the tree of shapes and non-parametric statistics + (esteban.19.caip)
- Estimation du niveau de bruit par arbre des formes et statistiques non paramétriques + (esteban.19.gretsi)
- Estimation of the noise level function in natural images using the tree of shapes + (esteban.19.seminar)
- Estimation de la fonction de niveau de bruit dans des images naturelles en utilisant l'arbre des formes + (esteban.19.seminar)
- Estimation of the Noise Level Function in Multivariate Images using the Tree of Shapes and non-parametric statistics + (esteban.20.seminar)
- 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 + (esteban.20.seminar)
- The Cost of Dynamism in Static Languages for Image Processing + (esteban.22.gpce)
- Estimation de la fonction de niveau de bruit pour des images couleurs en utilisant la morphologie mathématique + (esteban.22.gretsi.1)
- Généricité dynamique pour des algorithmes morphologiques + (esteban.22.gretsi.2)
- Estimation of the noise level function for color images using mathematical morphology and non-parametric statistics + (esteban.22.icpr)
- Learning Sentinel-2 Spectral Dynamics for Long-Run Predictions Using Residual Neural Networks + (estopinan.21.eusipco)
- An asynchronous architecture to manage communicationdisplay, and user interaction in distributed virtual environments + (fabre.00.egve)
- Urbi et Orbi: unusual design and implementation choices for distributed virtual environments + (fabre.00.vsmm)
- A framework to dynamically manage distributed virtual environments + (fabre.00.vw)
- Motion compensation based on Tangent Distance prediction for video compression + (fabrizio.12.spic)
- Text detection in street level image + (fabrizio.13.paa)
- A precise skew estimation algorithm for document images using KNN clustering and Fourier transform + (fabrizio.14.icip)
- TextCatcher: A method to detect curved and challenging text in natural scenes + (fabrizio.16.ijdar)
- Verifying Properties on a Program Using Static Analysis and Model Checking + (fages.20.seminar)
- Verification de proprietes sur un programme en utilisant de l'analyse statique et de la verification de modele + (fages.20.seminar)
- Active Learning on Visibly One Counter Systems + (fages.21.seminar)
- Aprentissage Actif d'Automates Visiblement á un compteur + (fages.21.seminar)
- A Kleene Theorem for Higher-Dimensional Automata + (fahrenberg.22.concur)
- Posets With Interfaces as a Model for Concurrency + (fahrenberg.22.iandc)
- Higher-Dimensional Timed and Hybrid Automata + (fahrenberg.22.lites)
- Featured Games + (fahrenberg.22.scp)
- Catoids and Modal Convolution Algebras + (fahrenberg.23.alguniv)
- A Myhill-Nerode Theorem for Higher-Dimensional Automata + (fahrenberg.23.pn)
- Alternating automata support + (fauchille.16.seminar)
- Le support des automates alternants + (fauchille.16.seminar)
- Progresses towards Vaucanson 1.4 and 2.0 + (fiette.11.seminar)
- Avancées vers Vaucanson 1.4 et 2.0 + (fiette.11.seminar)
- Distance Transform + (folio.08.seminar)
- Distance Transform + (folio.08.seminar)
- Histograms + (folio.09.seminar)
- Histogrammes + (folio.09.seminar)
- Dynamic use of statically typed libraries, textscJust In Time compilation and other solutions + (fosse.04.seminar)
- Dynamic use of statically typed libraries, textscJust In Time compilation and other solutions + (fosse.04.seminar)
- Local reasoning in fuzzy attribute graphs for optimizing sequential segmentation + (fouquier.07.gbr)
- The Biosecure Geometry-based System for Hand Modality + (fouquier.07.icassp)
- LTL Model Checking with Neco + (fronc.13.atva)
- Improving Vaucanson's transducers composition algorithm + (galtier.08.seminar)
- Amélioration de la composition des transducteurs dans Vaucanson + (galtier.08.seminar)
- Remedial treatment for Vaucanson: an enhanced automaton concept + (galtier.09.seminar)
- Traitement curatif pour Vaucanson: un renforcement du concept d'automate + (galtier.09.seminar)
- Adapting the data structures of Vaucanson to the concept of kind and a new interface + (galtier.10.seminar)
- Adapter les structures de données de Vaucanson au concept de kind et à une interface rénovée + (galtier.10.seminar)
- Fictious Play + (garcia-ballester.08.seminar)
- Étude du fictitious play dans le cas d'un jeu à fonctions d'utilité identiques + (garcia-ballester.08.seminar)
- Stage de traitement d'image au LRDE + (garrigues.08.seminar)
- Stage de traitement d'image au LRDE + (garrigues.08.seminar)
- Fast Level Line Transform + (garrigues.08.seminar.fllt)
- Transformation des courbes de niveau rapide + (garrigues.08.seminar.fllt)
- Tarjan Union-Find algorithm and connected operators + (garrigues.09.seminar)
- L'algorithme Union-Find de Tarjan et les filtres connectès + (garrigues.09.seminar)
- Brain MRI segmentation using mathematical morphology + (gasnault.21.seminar)
- Segmentation d'IRM du cerveau avec la morphologie mathematique + (gasnault.21.seminar)
- A co-Büching Toolbox + (gbaguidiaisse.17.seminar)
- Un ensemble d'outils de conversion en automate de co-Büchi + (gbaguidiaisse.17.seminar)
- Tester l'appartenance à Persistence ou Récurrence dans Spot + (gbaguidiaisse.18.seminar)
- Deciding Persistence or Recurrence Membership in Spot + (gbaguidiaisse.18.seminar)
- Generic programming redesign of patterns + (geraud.00.europlop)
- Obtaining genericity for image processing and pattern recognition algorithms + (geraud.00.icpr)
- Reconnaissance de structures cérébrales à l'aide d'un atlas et par fusion d'informations structurelles floues + (geraud.00.rfia)
- Applying generic programming to image processing + (geraud.01.ai)
- Color image segmentation based on automatic morphological clustering + (geraud.01.icip)