Semantic search
No value
- A Secure Blockchain-Based Architecture for the COVID-19 Data Network (News year 2021, Has title A Secure Blockchain-Based Architecture for the COVID-19 Data Network, Published in 2021 5th Cyber Security in Networking Conference (CSNet))
- Towards Better Heuristics for Solving Bounded Model Checking Problems (News year 2021, Has title Towards Better Heuristics for Solving Bounded Model Checking Problems, Published in Proceedings of the 27th International Conference on Principles and Practice of Constraint Programmings (CP'21))
- VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images (News year 2021, Has title VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images, Published in Medical Image Analysis)
- Go2Pins: A Framework for the LTL Verification of Go Programs (News year 2021, Has title Go2Pins: A Framework for the LTL Verification of Go Programs, Published in Proceedings of the 27th International SPIN Symposium on Model Checking of Software (SPIN'21))
- Vectorization of Historical Maps Using Deep Edge Filtering and Closed Shape Extraction (News year 2021, Has title Vectorization of Historical Maps Using Deep Edge Filtering and Closed Shape Extraction, Published in Proceedings of the 16th International Conference on Document Analysis and Recognition (ICDAR'21))
- Revisiting the Coco Panoptic Metric to Enable Visual and Qualitative Analysis of Historical Map Instance Segmentation (News year 2021, Has title Revisiting the Coco Panoptic Metric to Enable Visual and Qualitative Analysis of Historical Map Instance Segmentation, Published in Proceedings of the 16th International Conference on Document Analysis and Recognition (ICDAR'21))
- ICDAR 2021 Competition on Historical Map Segmentation (News year 2021, Has title ICDAR 2021 Competition on Historical Map Segmentation, Published in Proceedings of the 16th International Conference on Document Analysis and Recognition (ICDAR'21))
- Learning Sentinel-2 Spectral Dynamics for Long-Run Predictions Using Residual Neural Networks (News year 2021, Has title Learning Sentinel-2 Spectral Dynamics for Long-Run Predictions Using Residual Neural Networks, Published in Proceedings of the 29th European Signal Processing Conference (EUSIPCO))
- A Corpus Processing and Analysis Pipeline for Quickref (News year 2021, Has title A Corpus Processing and Analysis Pipeline for Quickref, Published in Proceedings of the 14th European Lisp Symposium (ELS))
- A Portable, Simple, Embeddable Type System (News year 2021, Has title A Portable, Simple, Embeddable Type System, Published in Proceedings of the 14th European Lisp Symposium (ELS))
- An Innovative and Decentralized Identity Framework Based on Blockchain Technology (News year 2021, Has title An Innovative and Decentralized Identity Framework Based on Blockchain Technology, Published in 2021 11th IFIP International Conference on New Technologies, Mobility and Security (NTMS))
- An Equivalence Relation between Morphological Dynamics and Persistent Homology in n-D (News year 2021, Has title An Equivalence Relation between Morphological Dynamics and Persistent Homology in n-D, Published in Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM))
- A New Matching Algorithm between Trees of Shapes and its Application to Brain Tumor Segmentation (News year 2021, Has title A New Matching Algorithm between Trees of Shapes and its Application to Brain Tumor Segmentation, Published in Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM))
- Stability of the Tree of Shapes to Additive Noise (News year 2021, Has title Stability of the Tree of Shapes to Additive Noise, Published in Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM))
- Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy (News year 2021, Has title Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy, Published in Medical Image Analysis)
- Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation (News year 2021, Has title Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation, Published in Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM))
- On Some Associations Between Mathematical Morphology and Artificial Intelligence (News year 2021, Has title On Some Associations Between Mathematical Morphology and Artificial Intelligence, Published in Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM))
- Going beyond p-convolutions to learn grayscale morphological operators (News year 2021, Has title Going beyond p-convolutions to learn grayscale morphological operators, Published in Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM))
- Debug Packages in OpenBSD (News year 2021, Has title Debug Packages in OpenBSD, Published in EuroBSDCon 2021)
- A blockchain-based certificate revocation management and status verification system (News year 2021, Has title A blockchain-based certificate revocation management and status verification system, Published in Computers & Security)