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
- Learning models for model-checking + (Learning models for model-checking)
- Left Atrial Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning + (Left Atrial Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning)
- Les Machines de Boltzmann dans la reconnaissance du locuteur + (Les Machines de Boltzmann dans la reconnaissance du locuteur)
- Les arbres de composantes dans Milena + (Les arbres de composantes dans Milena)
- Les automates en traitement automatique des langues naturelles + (Les automates en traitement automatique des langues naturelles)
- Les propriétés dans Milena + (Les propriétés dans Milena)
- Les relations synchrones dans Vaucanson + (Les relations synchrones dans Vaucanson)
- Les types de couleur dans Milena + (Les types de couleur dans Milena)
- Ligne de partage des eaux topologique + (Ligne de partage des eaux topologique)
- Linear and Non Linear Kernel GMM SuperVector Machines for Speaker Verification + (Linear and Non Linear Kernel GMM SuperVector Machines for Speaker Verification)
- Lisp, Jazz, Aikido + (Lisp, Jazz, Aikido)
- Local Intensity Order Transformation for Robust Curvilinear Object Segmentation + (Local Intensity Order Transformation for Robust Curvilinear Object Segmentation)
- Local channel compensated method in Speaker Recognition System + (Local channel compensated method in Speaker Recognition System)
- Local reasoning in fuzzy attribute graphs for optimizing sequential segmentation + (Local reasoning in fuzzy attribute graphs for optimizing sequential segmentation)
- Logotypes detection and other characteristics invariants using SIFT descriptors + (Logotypes detection and other characteristics invariants using SIFT descriptors)
- Logotypes detection and other characteristic invariants + (Logotypes detection and other characteristic invariants)
- Loss functions benchmark for brain tumour segmentation + (Loss functions benchmark for brain tumour segmentation)
- MITLL 2012 Speaker Recognition Evaluation System Description + (MITLL 2012 Speaker Recognition Evaluation System Description)
- MToS: A Tree of Shapes for Multivariate Images + (MToS: A Tree of Shapes for Multivariate Images)
- Maintenance automatique des symboles exportés dans les packages de Common Lisp + (Maintenance automatique des symboles exportés dans les packages de Common Lisp)
- Making Compiler Construction Projects Relevant to Core Curriculums + (Making Compiler Construction Projects Relevant to Core Curriculums)
- Manipulating LTL formulas using Spot 1.0 + (Manipulating LTL formulas using Spot 1.0)
- Mappage d'espace d'ivecteur à l'aide d'un réseau neuronal profond + (Mappage d'espace d'ivecteur à l'aide d'un réseau neuronal profond)
- Markov Clustering Algorithm for Unsupervised Speaker Recognition System + (Markov Clustering Algorithm for Unsupervised Speaker Recognition System)
- Mathematical morphology and deep convolutional neural networks + (Mathematical morphology and deep convolutional neural networks)
- Max-Tree Computation on GPUs + (Max-Tree Computation on GPUs)
- Meaningful disjoint level lines selection + (Meaningful disjoint level lines selection)
- Mechanizing the Minimization of Deterministic Generalized Büchi Automata + (Mechanizing the Minimization of Deterministic Generalized Büchi Automata)
- Mesures sur la réduction d'ordre partiel dans Spot + (Mesures sur la réduction d'ordre partiel dans Spot)
- Metagene, a C++ meta-program generation tool + (Metagene, a C++ meta-program generation tool)
- Method Combinators + (Method Combinators)
- Methods for Explaining Top-N Recommendations Through Subgroup Discovery + (Methods for Explaining Top-N Recommendations Through Subgroup Discovery)
- Metric Learning using a Siamese Deep Neural Network + (Metric Learning using a Siamese Deep Neural Network)
- Milena: Write Generic Morphological Algorithms Once, Run on Many Kinds of Images + (Milena: Write Generic Morphological Algorithms Once, Run on Many Kinds of Images)
- Minimisation d'automates représentant des obligations + (Minimisation d'automates représentant des obligations)
- Minimization of automata representing obligation formulae + (Minimization of automata representing obligation formulae)
- Model Checking using Generalized Testing Automata + (Model Checking using Generalized Testing Automata)
- Model checking with generalized Rabin and Fin-less automata + (Model checking with generalized Rabin and Fin-less automata)
- Model classification in model checking using random forest + (Model classification in model checking using random forest)
- Modeling of Sensor Networks Using XRM + (Modeling of Sensor Networks Using XRM)
- Modelling and Identifying Troll Farm Accounts on Twitter + (Modelling and Identifying Troll Farm Accounts on Twitter)
- Modern vectorization and alignement of historical maps: An application to Paris atlas (1789-1950) + (Modern vectorization and alignement of historical maps: An application to Paris atlas (1789-1950))
- Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework + (Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework)
- Modèle du monde à base de réseaux de neurones à délai temporel pour la reconnaissance du locuteur + (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èles de mélanges de gaussiennes fondés sur des matrices de covariance pleines)
- Modélisation et Identification des Troll Farmers sur Twitter + (Modélisation et Identification des Troll Farmers sur Twitter)
- Monads in Common Lisp + (Monads in Common Lisp)
- Morphological Analysis of Brownian Motion for Physical Measurements + (Morphological Analysis of Brownian Motion for Physical Measurements)
- Morphological Filtering in Shape Spaces : Applications using Tree-Based Image Representations + (Morphological Filtering in Shape Spaces : Applications using Tree-Based Image Representations)
- Morphological Hierarchical Image Decomposition Based on Laplacian 0-Crossings + (Morphological Hierarchical Image Decomposition Based on Laplacian 0-Crossings)
- Morphological Object Picking Based on the Color Tree of Shapes + (Morphological Object Picking Based on the Color Tree of Shapes)
- Morphologie et algorithmes + (Morphologie et algorithmes)
- 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)