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 +
- A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-D +
- A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging +
- A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers +
- A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation +
- A Two-Stage Temporal-Like Fully Convolutional Network Framework for Left Ventricle Segmentation and Quantification on MR Images +
- A translational pathway of deep learning methods in Gastro-Intestinal Endoscopy +
- Community and LBD-based Clause Sharing Policy for Parallel SAT Solving +
- Do not Treat Boundaries and Regions Differently: An Example on Heart Left Atrial Segmentation +
- Equivalence between Digital Well-Composedness and Well-Composedness in the Sense of Alexandrov on n-D Cubical Grids +
- Euler Well-Composedness +
- Experimental digital Gabor hologram rendering of C. elegans worms by a model-trained convolutional neural network (Conference Presentation) +
- FOANet: A Focus of Attention Network with Application to Myocardium Segmentation +
- Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms +
- Improving swarming using genetic algorithms +
- LTL Model Checking for Communicating Concurrent Programs +
- Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model Formulation +
- Non-iterative methods for image improvement in digital holography of the retina +
- On the Usefulness of Clause Strengthening in Parallel SAT Solving +
- PAIP 2019: Liver Cancer Segmentation Challenge +
- Performance Comparison of Several Folding Strategies +
- Practical “Paritizing” of Emerson–Lei Automata +
- Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization +
- Stacked and parallel U-nets with multi-output for myocardial pathology segmentation +
- Topological Properties of the First Non-Local Digitally Well-Composed Interpolation on n-D Cubical Grids +
- Two Stages CNN-Based Segmentation of GliomasUncertainty Quantification and Prediction of Overall Patient Survival +
- Using Separated Inputs for Multimodal Brain Tumor Segmentation with 3D U-Net-like Architectures +