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

• (Dynamic (Programming Paradigms)) ;; Performance and Expressivity  +
• 10 years of confrontation between French Internet users and their successive governments  +
• A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-D  +
• A Benchmark of Named Entity Recognition Approaches in Historical Documents  +
• A Challenging Issue: Detection of White Matter Hyperintensities in Neonatal Brain MRI  +
• A Channel-Blind System for Speaker Verification  +
• A Color Tree of Shapes with Illustrations on FilteringSimplification, and Segmentation  +
• A Comparative Review of Component Tree Computation Algorithms  +
• A Corpus Processing and Analysis Pipeline for Quickref  +
• A Fast and Exact Algorithm for Total Variation Minimization  +
• 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 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 Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers  +
• A Modern C++ Point of View of Programming in Image Processing  +
• A Morphological Method for Music Score Staff Removal  +
• A Morphological Tree of Shapes for Color Images  +
• 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 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 Portable, Simple, Embeddable Type System  +
• 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 Self-Adaptive Likelihood Function for Tracking with Particle Filter  +
• A Set of Tools to Teach Compiler Construction  +
• A Study of Well-Composedness in n-D  +
• A Survey of French Local e-Democracy  +
• A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams  +
• A Tree of Shapes for Multivariate Images  +
• A Tutorial on Well-Composedness  +
• 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 Vectorial Self-Dual Morphological Filter based on Total Variation Minimization  +
• A blockchain-based certificate revocation management and status verification system  +
• A comparison of many max-tree computation algorithms  +
• A fast and exact algorithm for total variation minimization  +
• A first step toward a fair comparison of evaluation protocols for text detection algorithms  +
• A framework to dynamically manage distributed virtual environments  +
• 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 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  +
• AGAT: Building and Evaluating Binary Partition Trees for Image Segmentation  +
• APMC 3.0: Approximate verification of Discrete and Continuous Time Markov Chains  +
• Action recognition: how intelligent virtual environments can ease human-machine interaction  +
• Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis  +
• Algorithme de calcul de l'arbre des composantes avec applications à la reconnaissance des formes en imagerie satellitaire  +
• Algorithms for Mathematical Morphology  +