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 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)
• A comparative study of image invariants for text / non-text classification  + (A comparative study of image invariants for text / non-text classification)
• A comparison of many max-tree computation algorithms  + (A comparison of many max-tree computation algorithms)
• A fast algorithm for auto-dual trees  + (A fast algorithm for auto-dual trees)
• A fast and exact algorithm for total variation minimization  + (A fast and exact algorithm for total variation minimization)
• A first step toward a fair comparison of evaluation protocols for text detection algorithms  + (A first step toward a fair comparison of evaluation protocols for text detection algorithms)
• A framework to dynamically manage distributed virtual environments  + (A framework to dynamically manage distributed virtual environments)
• A new translation from LTL into TGBA in Spot  + (A new translation from LTL into TGBA in Spot)
• A note on nice-levelable MRFs for SAR image denoising with contrast preservation  + (A note on nice-levelable MRFs for SAR image denoising with contrast preservation)
• A novel method to fight the non line of sight error in AOA measurements for mobile location  + (A novel method to fight the non line of sight error in AOA measurements for mobile location)
• A precise skew estimation algorithm for document images using KNN clustering and Fourier transform  + (A precise skew estimation algorithm for document images using KNN clustering and Fourier transform)
• A static C++ object-oriented programming (SCOOP) paradigm mixing benefits of traditional OOP and generic programming  + (A static C++ object-oriented programming (SCOOP) paradigm mixing benefits of traditional OOP and generic programming)