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 Corpus Processing and Analysis Pipeline for Quickref +
- A New Matching Algorithm between Trees of Shapes and its Application to Brain Tumor Segmentation +
- A Portable, Simple, Embeddable Type System +
- A Secure Blockchain-Based Architecture for the COVID-19 Data Network +
- A blockchain-based certificate revocation management and status verification system +
- AGAT: Building and Evaluating Binary Partition Trees for Image Segmentation +
- An Equivalence Relation between Morphological Dynamics and Persistent Homology in n-D +
- An Innovative and Decentralized Identity Framework Based on Blockchain Technology +
- Automation of Binary Analysis: From Open Source Collection to Threat Intelligence +
- Blockchain-Based Solution for Detecting and Preventing Fake Check Scams +
- Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation +
- Continuous Well-Composedness implies Digital Well-Composedness in n-D +
- Debug Packages in OpenBSD +
- Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy +
- Evaluation of Anomaly Detection for Cybersecurity Using Inductive Node Embedding with Convolutional Graph Neural Networks +
- Go2Pins: A Framework for the LTL Verification of Go Programs +
- Going beyond p-convolutions to learn grayscale morphological operators +
- Gradient Vector Fields of Discrete Morse Functions and Watershed-Cuts +
- ICDAR 2021 Competition on Historical Map Segmentation +
- Introducing the Boundary-Aware Loss for Deep Image Segmentation +
- Learning Sentinel-2 Spectral Dynamics for Long-Run Predictions Using Residual Neural Networks +
- On Some Associations Between Mathematical Morphology and Artificial Intelligence +
- Residual 3D U-Net with Localization for Brain Tumor Segmentation +
- Revisiting the Coco Panoptic Metric to Enable Visual and Qualitative Analysis of Historical Map Instance Segmentation +
- Stability of the Tree of Shapes to Additive Noise +
- Strong Euler Wellcomposedness +
- Towards Better Heuristics for Solving Bounded Model Checking Problems +
- Vectorization of Historical Maps Using Deep Edge Filtering and Closed Shape Extraction +
- VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images +
- VizNN: Visual Data Augmentation with Convolutional Neural Networks for Cybersecurity Investigation +