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
- Segmentation de tumeur cérébrale par réseau de neurones convolutionel + (buatois.19.seminar)
- Smart and robust segmentation of medical images using neural networks + (buatois.20.seminar)
- Segmentation robuste et intelligente d'images médicales par réseau de neurones + (buatois.20.seminar)
- Smart and robust segmentation of medical images using neural networks + (buatois.21.seminar)
- Segmentation robuste et intelligente d'images médicales par réseau de neurones + (buatois.21.seminar)
- A static C++ object-oriented programming (SCOOP) paradigm mixing benefits of traditional OOP and generic programming + (burrus.03.mpool)
- Cover automata for finite languages + (cadilhac.05.seminar)
- Cover automata for finite languages + (cadilhac.05.seminar)
- Evaluating complex MAC protocols for sensor networks with APMC + (cadilhac.06.avocs)
- Using histogram representation and Earth Mover's Distance as an evaluation tool for text detection + (calarasanu.15.icdar)
- Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms + (calarasanu.15.phd)
- What is a good evaluation protocol for text localization systems? Concerns, arguments, comparisons and solutions + (calarasanu.16.ivc)
- From text detection to text segmentation: a unified evaluation scheme + (calarasanu.16.iwrr)
- Towards the rectification of highly distorted texts + (calarasanu.16.visapp)
- Polar type inference with intersection types and ω + (carlier.02.itrs)
- Component trees in Milena + (carlinet.09.seminar)
- Les arbres de composantes dans Milena + (carlinet.09.seminar)
- An edge-based attribute filter dedicated to image segmentation + (carlinet.10.seminar)
- Filtrage à base de contours pour la segmentation d'images + (carlinet.10.seminar)
- A fast algorithm for auto-dual trees + (carlinet.11.seminar)
- Un algorithme rapide pour l'arbre auto-dual + (carlinet.11.seminar)
- A comparison of many max-tree computation algorithms + (carlinet.13.ismm)
- Traitement d'images multivariées avec l'arbre des formes + (carlinet.14.geodis)
- Getting a morphological Tree of Shapes for Multivariate Images: Paths, Traps and Pitfalls + (carlinet.14.icip)
- A Morphological Tree of Shapes for Color Images + (carlinet.14.icpr)
- 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)