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
- Getting a morphological Tree of Shapes for Multivariate Images: Paths, Traps and Pitfalls + (Getting a morphological Tree of Shapes for Multivariate Images: Paths, Traps and Pitfalls)
- Global Optimization for First Order Markov Random Fields with Submodular Priors + (Global Optimization for First Order Markov Random Fields with Submodular Priors)
- Go2Pins: A Framework for the LTL Verification of Go Programs + (Go2Pins: A Framework for the LTL Verification of Go Programs)
- Go2Pins: A framework for the LTL verification of Go programs (Extended Version) + (Go2Pins: A framework for the LTL verification of Go programs (Extended Version))
- Going beyond p-convolutions to learn grayscale morphological operators + (Going beyond p-convolutions to learn grayscale morphological operators)
- Gradient Vector Fields of Discrete Morse Functions and Watershed-Cuts + (Gradient Vector Fields of Discrete Morse Functions and Watershed-Cuts)
- Gradients Intégrés Renforcés + (Gradients Intégrés Renforcés)
- 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)