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 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)
- A translational pathway of deep learning methods in Gastro-Intestinal Endoscopy + (A translational pathway of deep learning methods in Gastro-Intestinal Endoscopy)
- AGAT: Building and Evaluating Binary Partition Trees for Image Segmentation + (AGAT: Building and Evaluating Binary Partition Trees for Image Segmentation)
- APMC 3.0: Approximate verification of Discrete and Continuous Time Markov Chains + (APMC 3.0: Approximate verification of Discrete and Continuous Time Markov Chains)
- About the computation of the Tree of Shapes on n-dimensional images in quasi-linear time. + (About the computation of the Tree of Shapes on n-dimensional images in quasi-linear time.)
- Action recognition: how intelligent virtual environments can ease human-machine interaction + (Action recognition: how intelligent virtual environments can ease human-machine interaction)
- Active Learning on Visibly One Counter Systems + (Active Learning on Visibly One Counter Systems)