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 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)
• 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)
• AM2 Systems  + (AM2 Systems)
• 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  + (About)
• 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.)
• Accueil  + (Accueil)
• 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)
• Adaptation d'algorithmes de Vaucanson à une interface plus simple  + (Adaptation d'algorithmes de Vaucanson à une interface plus simple)
• Adaptation de l'algorithme de watershed cuts aux complexes cellulaires  + (Adaptation de l'algorithme de watershed cuts aux complexes cellulaires)
• Adaptation of the watershed cuts algorithm to cellular complexes  + (Adaptation of the watershed cuts algorithm to cellular complexes)
• Adapter les structures de données de Vaucanson au concept de kind et à une interface rénovée  + (Adapter les structures de données de Vaucanson au concept de kind et à une interface rénovée)
• Adapting Vaucanson algorithms to a simpler interface  + (Adapting Vaucanson algorithms to a simpler interface)
• Adapting the data structures of Vaucanson to the concept of kind and a new interface  + (Adapting the data structures of Vaucanson to the concept of kind and a new interface)
• Adaptive partial order reduction methods  + (Adaptive partial order reduction methods)
• Adding Contracts to C++ with Transformers  + (Adding Contracts to C++ with Transformers)
• Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis  + (Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis)
• Agents interactifs autonomes  + (Agents interactifs autonomes)
• Ajout de la programmation par contrats au C++ avec Transformers  + (Ajout de la programmation par contrats au C++ avec Transformers)