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 Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers +
- A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams +
- A first step toward a fair comparison of evaluation protocols for text detection algorithms +
- An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming +
- Approaches in Typecase Optimization +
- CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving +
- Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina +
- Document detection in videos captured by smartphones using a saliency-based method +
- High throughput automated detection of axial malformations in fish embryo +
- Improving Parallel State-Space Exploration Using Genetic Algorithms +
- Intervertebral Disc Segmentation Using Mathematical Morphology—A CNN-Free Approach +
- Left Atrial Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning +
- Lisp, Jazz, Aikido +
- Method Combinators +
- Motion Compensation in Digital Holography for Retinal Imaging +
- Parallel Computation of Component Trees on Distributed Memory Machines +
- Parallel Model Checking Algorithms for Linear-Time Temporal Logic +
- Reactive Synthesis from LTL Specification with Spot +
- Real-Time Document Detection in Smartphone Videos +
- Real-Time Document Detection in Smartphone Videos +
- Recognizing Heterogeneous Sequences by Rational Type Expression +
- Representing and Computing with Types in Dynamically Typed Languages +
- Saliency-Based Detection of Identity Documents Captured by Smartphones +
- Segmentation des hyperintensités de la matière blanche en quelques secondes à l'aide d'un réseau de neurones convolutif et de transfert d'apprentissage +
- Segmentation of Gliomas and Prediction of Patient Overall Survival: A Simple and Fast Procedure +
- Taking into account inclusion and adjacency information in morphological hierarchical representations, with application to the extraction of text in natural images and videos. +
- The Challenge of Cerebral Magnetic Resonance Imaging in Neonates: A New Method using Mathematical Morphology for the Segmentation of Structures Including Diffuse Excessive High Signal Intensities +
- The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm +
- The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm +
- Un algorithme de complexité linéaire pour le calcul de l'arbre des formes +
- Weakly Well-Composed Cell Complexes over nD Pictures +
- White Matter Hyperintensities Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning +