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
- Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata + (Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata)
- Génération aléatoire d'automates et de chemins dans Vcsn + (Génération aléatoire d'automates et de chemins dans Vcsn)
- Génération aléatoire d'expression rationnelle + (Génération aléatoire d'expression rationnelle)
- Génération efficace de grands espaces d'états + (Génération efficace de grands espaces d'états)
- Généricité dynamique pour des algorithmes morphologiques + (Généricité dynamique pour des algorithmes morphologiques)
- Handling blackbox transitions in go2pins + (Handling blackbox transitions in go2pins)
- Hate Speech and Toxic Comment Detection using Transformers + (Hate Speech and Toxic Comment Detection using Transformers)
- Heuristics for Checking Liveness Properties with Partial Order Reductions + (Heuristics for Checking Liveness Properties with Partial Order Reductions)
- Hierarchical Segmentation Using Tree-Based Shape Spaces + (Hierarchical Segmentation Using Tree-Based Shape Spaces)
- Hierarchical Set Decision Diagrams and Automatic Saturation + (Hierarchical Set Decision Diagrams and Automatic Saturation)
- Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection + (Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection)
- Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection + (Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection)
- High Throughput Automated Detection of Axial Malformations in Medaka Embryo + (High Throughput Automated Detection of Axial Malformations in Medaka Embryo)
- High throughput automated detection of axial malformations in fish embryo + (High throughput automated detection of axial malformations in fish embryo)
- High-level Document Structure Analysis in the Olena Scribo Module + (High-level Document Structure Analysis in the Olena Scribo Module)
- Higher-Dimensional Timed and Hybrid Automata + (Higher-Dimensional Timed and Hybrid Automata)
- Histogrammes + (Histogrammes)
- Histograms + (Histograms)
- Hiérarchie par propriétés du module Algebra de Vaucanson + (Hiérarchie par propriétés du module Algebra de Vaucanson)
- Homolib + (Homolib)
- Homolib + (Homolib)
- How to Boost Close-Range Remote Sensing Courses Using a Serious Game: Uncover in a Fun Way the Complexity and Transversality of Multi-Domain Field Acquisitions + (How to Boost Close-Range Remote Sensing Courses Using a Serious Game: Uncover in a Fun Way the Complexity and Transversality of Multi-Domain Field Acquisitions)
- How to Make n-D Plain Maps Alexandrov-Well-Composed in a Self-dual Way + (How to Make n-D Plain Maps Alexandrov-Well-Composed in a Self-dual Way)
- How to Make nD Functions Digitally Well-Composed in a Self-Dual Way + (How to Make nD Functions Digitally Well-Composed in a Self-Dual Way)
- How to Make nD Images Well-Composed Without Interpolation + (How to Make nD Images Well-Composed Without Interpolation)
- How to help digital-native students to successfully take control of their learning : A return of 8 years of experience on a computer science e-learning platform in higher education + (How to help digital-native students to successfully take control of their learning : A return of 8 years of experience on a computer science e-learning platform in higher education)
- How to make Lisp go faster than C + (How to make Lisp go faster than C)
- How to make Lisp go faster than C + (How to make Lisp go faster than C)
- I-Vector Multilayer Perceptron in Speaker Recognition System + (I-Vector Multilayer Perceptron in Speaker Recognition System)
- I-Vectors distance learning with Convolutional Neural Networks + (I-Vectors distance learning with Convolutional Neural Networks)
- ICDAR 2021 Competition on Historical Map Segmentation + (ICDAR 2021 Competition on Historical Map Segmentation)
- IVector space mapping with Deep Neural Network + (IVector space mapping with Deep Neural Network)
- Identification Polynomiale des omega-Langages + (Identification Polynomiale des omega-Langages)
- Identification de Botnets à travers le réseau en utilisant les moèles de mélange gaussien + (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 + (Identifying Botnets in the Network using Gaussian Mixture Models)
- Image processing for plots detection from ancient maps + (Image processing for plots detection from ancient maps)
- Image reconstruction + (Image reconstruction)
- Image restoration with discrete constrained Total Variation—Part II: Levelable functions, convex priors and non-convex case + (Image restoration with discrete constrained Total Variation—Part II: Levelable functions, convex priors and non-convex case)
- Image restoration with discrete constrained Total Variation—Part I: Fast and exact optimization + (Image restoration with discrete constrained Total Variation—Part I: Fast and exact optimization)
- Image taxonomy in Milena + (Image taxonomy in Milena)
- Image taxonomy in Olena + (Image taxonomy in Olena)
- Image taxonomy in Olena + (Image taxonomy in Olena)
- Images taxonomy and modeling + (Images taxonomy and modeling)
- Images taxonomy and modeling + (Images taxonomy and modeling)
- Implementation Concepts in Vaucanson 2 + (Implementation Concepts in Vaucanson 2)
- Implementation of Invisible and Transparent Transitions in Spot + (Implementation of Invisible and Transparent Transitions in Spot)
- Implementation of transducers in Vaucanson + (Implementation of transducers in Vaucanson)
- Implementation of transducers in Vaucanson + (Implementation of transducers in Vaucanson)
- Implementations efficaces des representations hierarchiques morphologiques + (Implementations efficaces des representations hierarchiques morphologiques)
- Implementing Baker's SUBTYPEP decision procedure + (Implementing Baker's SUBTYPEP decision procedure)
- Implementing Baker's SUBTYPEP decision procedure + (Implementing Baker's SUBTYPEP decision procedure)
- Implementing Baker's SUBTYPEP decision procedure + (Implementing Baker's SUBTYPEP decision procedure)