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
- Morphologie mathématique et réseaux convolutionnels profonds + (Morphologie mathématique et réseaux convolutionnels profonds)
- Morphologie sur images couleur + (Morphologie sur images couleur)
- Morphology on color images + (Morphology on color images)
- Morphology-Based Hierarchical Representation with Application to Text Segmentation in Natural Images + (Morphology-Based Hierarchical Representation with Application to Text Segmentation in Natural Images)
- Morse-Smale Complex computation with Watershed Cut + (Morse-Smale Complex computation with Watershed Cut)
- Motion Compensation in Digital Holography for Retinal Imaging + (Motion Compensation in Digital Holography for Retinal Imaging)
- Motion compensation based on Tangent Distance prediction for video compression + (Motion compensation based on Tangent Distance prediction for video compression)
- Multi-band segmentation using morphological clustering and fusion application to color image segmentation + (Multi-band segmentation using morphological clustering and fusion application to color image segmentation)
- Multi-purpose Tactile Perception Based on Deep Learning in a New Tendon-driven Optical Tactile Sensor + (Multi-purpose Tactile Perception Based on Deep Learning in a New Tendon-driven Optical Tactile Sensor)
- Mécanique de Vaucanson 2.0 + (Mécanique de Vaucanson 2.0)
- Méthode d'évaluation d'évaluateur d'algorithme de détection de texte + (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 adaptatives.)
- Méthodes de réduction par ordre partiel dans Spot + (Méthodes de réduction par ordre partiel dans Spot)
- New Security Protocols for Offline Point-of-Sale Machines + (New Security Protocols for Offline Point-of-Sale Machines)
- New ways to use the Vcsn's Jupyter interface. + (New ways to use the Vcsn's Jupyter interface.)
- NixOS: A purely functional Linux distribution + (NixOS: A purely functional Linux distribution)
- Non-iterative methods for image improvement in digital holography of the retina + (Non-iterative methods for image improvement in digital holography of the retina)
- Nondeterminisation of alternating automata in SPOT + (Nondeterminisation of alternating automata in SPOT)
- Nondéterminisation d'automates alternants dans SPOT + (Nondéterminisation d'automates alternants dans SPOT)
- Nonlinear Projection for Cosine Distance Scoring in I-Vector based Speaker Verification Systems. + (Nonlinear Projection for Cosine Distance Scoring in I-Vector based Speaker Verification Systems.)
- Nouvelle traduction de LTL en TGBA dans Spot + (Nouvelle traduction de LTL en TGBA dans Spot)
- Object tracking by hierarchical decomposition of hyperspectral video sequences: Application to chemical gas plume tracking + (Object tracking by hierarchical decomposition of hyperspectral video sequences: Application to chemical gas plume tracking)
- Obtaining genericity for image processing and pattern recognition algorithms + (Obtaining genericity for image processing and pattern recognition algorithms)
- Olena Project poster + (Olena Project poster)
- Olena: a component-based platform for image processingmixing generic, generative and OO programming + (Olena: a component-based platform for image processingmixing generic, generative and OO programming)
- On GNN Explainability with Activation Rules + (On GNN Explainability with Activation Rules)
- On Making nD Images Well-Composed by a Self-Dual Local Interpolation + (On Making nD Images Well-Composed by a Self-Dual Local Interpolation)
- On Refinement of Büchi Automata for Explicit Model Checking + (On Refinement of Büchi Automata for Explicit Model Checking)
- On Robustness for the Skolem and Positivity Problems + (On Robustness for the Skolem and Positivity Problems)
- On Some Associations Between Mathematical Morphology and Artificial Intelligence + (On Some Associations Between Mathematical Morphology and Artificial Intelligence)
- On a Polynomial Vector Field Model for Shape Representation + (On a Polynomial Vector Field Model for Shape Representation)
- On coercion in Context-Oriented Programming + (On coercion in Context-Oriented Programming)
- On orthogonal specialization in C++: dealing with efficiency and algebraic abstraction in Vaucanson + (On orthogonal specialization in C++: dealing with efficiency and algebraic abstraction in Vaucanson)
- On the Usefulness of Clause Strengthening in Parallel SAT Solving + (On the Usefulness of Clause Strengthening in Parallel SAT Solving)
- On the security of quantum networks: a proposal framework and its capacity + (On the security of quantum networks: a proposal framework and its capacity)
- On-the-fly Emptiness Check of Transition-based Streett Automata + (On-the-fly Emptiness Check of Transition-based Streett Automata)
- One More Step Towards Well-Composedness of Cell Complexes over n-D Pictures + (One More Step Towards Well-Composedness of Cell Complexes over n-D Pictures)
- Optimisation d'une bibliothèque de traitement d'images + (Optimisation d'une bibliothèque de traitement d'images)
- Optimisation en Common Lisp et son application à Climb + (Optimisation en Common Lisp et son application à Climb)
- Optimisations dans le compilateur Tiger + (Optimisations dans le compilateur Tiger)
- Optimization in Common Lisp, and its application to Climb + (Optimization in Common Lisp, and its application to Climb)
- Optimization of an image processing library + (Optimization of an image processing library)
- Optimization of the Product Configuration System of Renault + (Optimization of the Product Configuration System of Renault)
- Optimizations in the Tiger Compiler + (Optimizations in the Tiger Compiler)
- Outil logiciel pour le traitement d'images: Bibliothèque, paradigmes, types et algorithmes + (Outil logiciel pour le traitement d'images: Bibliothèque, paradigmes, types et algorithmes)
- Outils pour la dématérialisation dans SCRIBO + (Outils pour la dématérialisation dans SCRIBO)
- PAIP 2019: Liver Cancer Segmentation Challenge + (PAIP 2019: Liver Cancer Segmentation Challenge)
- PaInleSS: a Framework for Parallel SAT Solving + (PaInleSS: a Framework for Parallel SAT Solving)
- Parallel Climb + (Parallel Climb)
- Parallel Computation of Component Trees on Distributed Memory Machines + (Parallel Computation of Component Trees on Distributed Memory Machines)
- Parallel Explicit Model Checking for Generalized Büchi Automata + (Parallel Explicit Model Checking for Generalized Büchi Automata)