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
- LTL Model Checking for Communicating Concurrent Programs + (May 15, 2020)
- Using Separated Inputs for Multimodal Brain Tumor Segmentation with 3D U-Net-like Architectures + (June 1, 2020)
- Community and LBD-based Clause Sharing Policy for Parallel SAT Solving + (June 1, 2020)
- NewsEntry (2020/06/02) + (June 2, 2020)
- A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation + (June 2, 2020)
- Improving swarming using genetic algorithms + (June 2, 2020)
- Practical “Paritizing” of Emerson–Lei Automata + (July 7, 2020)
- (Dynamic (Programming Paradigms)) ;; Performance and Expressivity + (July 10, 2020)
- NewsEntry (2020/07/10) + (July 10, 2020)
- NewsEntry (2020/07/17) + (July 17, 2020)
- Non-iterative methods for image improvement in digital holography of the retina + (July 17, 2020)
- A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-D + (July 21, 2020)
- Euler Well-Composedness + (July 21, 2020)
- On the Usefulness of Clause Strengthening in Parallel SAT Solving + (August 1, 2020)
- Topological Properties of the First Non-Local Digitally Well-Composed Interpolation on n-D Cubical Grids + (September 3, 2020)
- Equivalence between Digital Well-Composedness and Well-Composedness in the Sense of Alexandrov on n-D Cubical Grids + (September 3, 2020)
- Two Stages CNN-Based Segmentation of GliomasUncertainty Quantification and Prediction of Overall Patient Survival + (September 3, 2020)
- NewsEntry (2020/10/21) + (October 21, 2020)
- FOANet: A Focus of Attention Network with Application to Myocardium Segmentation + (November 2, 2020)
- Do not Treat Boundaries and Regions Differently: An Example on Heart Left Atrial Segmentation + (November 2, 2020)
- PAIP 2019: Liver Cancer Segmentation Challenge + (November 10, 2020)
- A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging + (November 10, 2020)