Semantic search
2022
- From Spot 2.0 to Spot 2.10: What's New? (Has title From Spot 2.0 to Spot 2.10: What's New?, Published in Proceedings of the 34th International Conference on Computer Aided Verification (CAV'22))
- Some Equivalence Relation between Persistent Homology and Morphological Dynamics (Has title Some Equivalence Relation between Persistent Homology and Morphological Dynamics, Published in Journal of Mathematical Imaging and Vision)
- Learning Grayscale Mathematical Morphology with Smooth Morphological Layers (Has title Learning Grayscale Mathematical Morphology with Smooth Morphological Layers, Published in Journal of Mathematical Imaging and Vision)
- LTL under reductions with weaker conditions than stutter invariance (Has title LTL under reductions with weaker conditions than stutter invariance, Published in Proceedings of the 41th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'22))
- Estimation of the noise level function for color images using mathematical morphology and non-parametric statistics (Has title Estimation of the noise level function for color images using mathematical morphology and non-parametric statistics, Published in Proceedings of the 26th International Conference on Pattern Recognition)
- A Benchmark of Named Entity Recognition Approaches in Historical Documents (Has title A Benchmark of Named Entity Recognition Approaches in Historical Documents, Published in Proceedings of the 15th IAPR International Workshop on Document Analysis System)
- Qu'est-ce que mon GNN capture vraiment ? Exploration des représentations internes d'un GNN (Has title Qu'est-ce que mon GNN capture vraiment ? Exploration des représentations internes d'un GNN, Published in Extraction et Gestion des Connaissances, EGC 2022Blois, France, 24 au 28 janvier 2022)
- Local Intensity Order Transformation for Robust Curvilinear Object Segmentation (Has title Local Intensity Order Transformation for Robust Curvilinear Object Segmentation, Published in IEEE Transactions on Image Processing)
- ETAP: Experimental Typesetting Algorithms Platform (Has title ETAP: Experimental Typesetting Algorithms Platform, Published in 15th European Lisp Symposium)
- Electricity Price Forecasting on the Day-Ahead Market using Machine Learning (Has title Electricity Price Forecasting on the Day-Ahead Market using Machine Learning, Published in Applied Energy)
- Max-Tree Computation on GPUs (Has title Max-Tree Computation on GPUs, Published in IEEE Transactions on Parallel and Distributed Systems)
- Practical Applications of the Alternating Cycle Decomposition (Has title Practical Applications of the Alternating Cycle Decomposition, Published in Proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'22))
2021
- Continuous Well-Composedness implies Digital Well-Composedness in n-D (Has title Continuous Well-Composedness implies Digital Well-Composedness in n-D, Published in Journal of Mathematical Imaging and Vision)
- Evaluation of Anomaly Detection for Cybersecurity Using Inductive Node Embedding with Convolutional Graph Neural Networks (Has title Evaluation of Anomaly Detection for Cybersecurity Using Inductive Node Embedding with Convolutional Graph Neural Networks, Published in Complex Network 2021)
- VizNN: Visual Data Augmentation with Convolutional Neural Networks for Cybersecurity Investigation (Has title VizNN: Visual Data Augmentation with Convolutional Neural Networks for Cybersecurity Investigation, Published in Upper-Rhine Artificial Intelligence Symposium)
- An Innovative and Decentralized Identity Framework Based on Blockchain Technology (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))
- Blockchain-Based Solution for Detecting and Preventing Fake Check Scams (Has title Blockchain-Based Solution for Detecting and Preventing Fake Check Scams, Published in IEEE Transactions on Engineering Management)
- Automation of Binary Analysis: From Open Source Collection to Threat Intelligence (Has title Automation of Binary Analysis: From Open Source Collection to Threat Intelligence, Published in Proceedings of the 28th C&ESAR)
- Debug Packages in OpenBSD (Has title Debug Packages in OpenBSD, Published in EuroBSDCon 2021)
- A Secure Blockchain-Based Architecture for the COVID-19 Data Network (Has title A Secure Blockchain-Based Architecture for the COVID-19 Data Network, Published in 2021 5th Cyber Security in Networking Conference (CSNet))
- A blockchain-based certificate revocation management and status verification system (Has title A blockchain-based certificate revocation management and status verification system, Published in Computers & Security)
- Gradient Vector Fields of Discrete Morse Functions and Watershed-Cuts (Has title Gradient Vector Fields of Discrete Morse Functions and Watershed-Cuts, Published in Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM))
- Residual 3D U-Net with Localization for Brain Tumor Segmentation (Has title Residual 3D U-Net with Localization for Brain Tumor Segmentation, Published in International MICCAI Brainlesion Workshop)
- AGAT: Building and Evaluating Binary Partition Trees for Image Segmentation (Has title AGAT: Building and Evaluating Binary Partition Trees for Image Segmentation, Published in SoftwareX)
- Strong Euler Wellcomposedness (Has title Strong Euler Wellcomposedness, Published in Journal of Combinatorial Optimization)
- Introducing the Boundary-Aware Loss for Deep Image Segmentation (Has title Introducing the Boundary-Aware Loss for Deep Image Segmentation, Published in Proceedings of the 32nd British Machine Vision Conference (BMVC))
- Towards Better Heuristics for Solving Bounded Model Checking Problems (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 (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 (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 (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))
- ICDAR 2021 Competition on Historical Map Segmentation (Has title ICDAR 2021 Competition on Historical Map Segmentation, 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 (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))
- On Some Associations Between Mathematical Morphology and Artificial Intelligence (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))
- Learning Sentinel-2 Spectral Dynamics for Long-Run Predictions Using Residual Neural Networks (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 Portable, Simple, Embeddable Type System (Has title A Portable, Simple, Embeddable Type System, Published in Proceedings of the 14th European Lisp Symposium (ELS))
- A Corpus Processing and Analysis Pipeline for Quickref (Has title A Corpus Processing and Analysis Pipeline for Quickref, Published in Proceedings of the 14th European Lisp Symposium (ELS))
- Stability of the Tree of Shapes to Additive Noise (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))
- A New Matching Algorithm between Trees of Shapes and its Application to Brain Tumor Segmentation (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))
- An Equivalence Relation between Morphological Dynamics and Persistent Homology in n-D (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))
- Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation (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))
- Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy (Has title Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy, Published in Medical Image Analysis)
- Going beyond p-convolutions to learn grayscale morphological operators (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))
2020
- Stacked and parallel U-nets with multi-output for myocardial pathology segmentation (Has title Stacked and parallel U-nets with multi-output for myocardial pathology segmentation, Published in Myocardial Pathology Segmentation Combining Multi-Sequence CMR Challenge)
- Non-iterative methods for image improvement in digital holography of the retina (Has title Non-iterative methods for image improvement in digital holography of the retina)
- Community and LBD-based Clause Sharing Policy for Parallel SAT Solving (Has title Community and LBD-based Clause Sharing Policy for Parallel SAT Solving, Published in Proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT'20))
- On the Usefulness of Clause Strengthening in Parallel SAT Solving (Has title On the Usefulness of Clause Strengthening in Parallel SAT Solving, Published in Proceedings of the 12th NASA Formal Methods Symposium (NFM'20))
- A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers (Has title A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers, Published in Proceedings of the 26 th International Conference on Principles and Practice of Constraint Programming (CP'20))
- A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging (Has title A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging, Published in Medical Image Analysis)
- PAIP 2019: Liver Cancer Segmentation Challenge (Has title PAIP 2019: Liver Cancer Segmentation Challenge, Published in Medical Image Analysis)
- Two Stages CNN-Based Segmentation of GliomasUncertainty Quantification and Prediction of Overall Patient Survival (Has title Two Stages CNN-Based Segmentation of GliomasUncertainty Quantification and Prediction of Overall Patient Survival, Published in International MICCAI Brainlesion Workshop)