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

• A Feedback Arc Set for Spot  + (A Feedback Arc Set for Spot)

• A First Parallel Algorithm to Compute the Morphological Tree of Shapes of nD Images  + (A First Parallel Algorithm to Compute the Morphological Tree of Shapes of nD Images)
• A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers  + (A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers)
• A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging  + (A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging)
• A Kleene Theorem for Higher-Dimensional Automata  + (A Kleene Theorem for Higher-Dimensional Automata)
• A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers  + (A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers)
• A Modern C++ Point of View of Programming in Image Processing  + (A Modern C++ Point of View of Programming in Image Processing)
• A Morphological Method for Music Score Staff Removal  + (A Morphological Method for Music Score Staff Removal)
• A Morphological Tree of Shapes for Color Images  + (A Morphological Tree of Shapes for Color Images)
• A Myhill-Nerode Theorem for Higher-Dimensional Automata  + (A Myhill-Nerode Theorem for Higher-Dimensional Automata)
• A New Matching Algorithm between Trees of Shapes and its Application to Brain Tumor Segmentation  + (A New Matching Algorithm between Trees of Shapes and its Application to Brain Tumor Segmentation)
• A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation  + (A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation)
• A Note on the Discrete Binary Mumford-Shah Model  + (A Note on the Discrete Binary Mumford-Shah Model)
• A Portable, Simple, Embeddable Type System  + (A Portable, Simple, Embeddable Type System)
• A Promela front-end for Spot  + (A Promela front-end for Spot)
• A Quasi-Linear Algorithm to Compute the Tree of Shapes of n-D Images  + (A Quasi-Linear Algorithm to Compute the Tree of Shapes of n-D Images)
• A Secure Blockchain-Based Architecture for the COVID-19 Data Network  + (A Secure Blockchain-Based Architecture for the COVID-19 Data Network)
• A Self-Adaptive Likelihood Function for Tracking with Particle Filter  + (A Self-Adaptive Likelihood Function for Tracking with Particle Filter)
• A Set of Tools to Teach Compiler Construction  + (A Set of Tools to Teach Compiler Construction)
• A Study of Well-Composedness in n-D  + (A Study of Well-Composedness in n-D)
• A Survey of French Local e-Democracy  + (A Survey of French Local e-Democracy)
• A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams  + (A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams)
• A Tree of Shapes for Multivariate Images  + (A Tree of Shapes for Multivariate Images)
• A Tutorial on Well-Composedness  + (A Tutorial on Well-Composedness)
• A Two-Stage Temporal-Like Fully Convolutional Network Framework for Left Ventricle Segmentation and Quantification on MR Images  + (A Two-Stage Temporal-Like Fully Convolutional Network Framework for Left Ventricle Segmentation and Quantification on MR Images)
• A Type System for Weighted Automata and Rational Expressions  + (A Type System for Weighted Automata and Rational Expressions)
• A Vectorial Self-Dual Morphological Filter based on Total Variation Minimization  + (A Vectorial Self-Dual Morphological Filter based on Total Variation Minimization)
• A blockchain-based certificate revocation management and status verification system  + (A blockchain-based certificate revocation management and status verification system)
• A co-Büching Toolbox  + (A co-Büching Toolbox)