Semantic search
No value
- Label-Efficient Self-Supervised Speaker Verification With Information Maximization and Contrastive Learning (News year 2022, Has title Label-Efficient Self-Supervised Speaker Verification With Information Maximization and Contrastive Learning, Published in Proc. Interspeech 2022)
- Using subgroup discovery to relate odor pleasantness and intensity to peripheral nervous system reactions (News year 2022, Has title Using subgroup discovery to relate odor pleasantness and intensity to peripheral nervous system reactions, Published in IEEE Transactions on Affective Computing)
- What Does my GNN Really Capture? On Exploring Internal GNN Representations (News year 2022, Has title What Does my GNN Really Capture? On Exploring Internal GNN Representations, Published in International Joint Conference on Artificial Intelligence 2022)
- On Robustness for the Skolem and Positivity Problems (News year 2022, Has title On Robustness for the Skolem and Positivity Problems, Published in 39th International Symposium on Theoretical Aspects of Computer Science STACS)
- Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata (News year 2022, Has title Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata, Published in Information and Computation)
- Posets With Interfaces as a Model for Concurrency (News year 2022, Has title Posets With Interfaces as a Model for Concurrency, Published in Information and Computation)
- Estimation de la fonction de niveau de bruit pour des images couleurs en utilisant la morphologie mathématique (News year 2022, Has title Estimation de la fonction de niveau de bruit pour des images couleurs en utilisant la morphologie mathématique, Published in 28e Colloque sur le traitement du signal et des images)
- Généricité dynamique pour des algorithmes morphologiques (News year 2022, Has title Généricité dynamique pour des algorithmes morphologiques, Published in 28e Colloque sur le traitement du signal et des images)
- From Spot 2.0 to Spot 2.10: What's New? (News year 2022, 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 (News year 2022, Has title Some Equivalence Relation between Persistent Homology and Morphological Dynamics, Published in Journal of Mathematical Imaging and Vision)
- Données, Transparence et Démocratie (News year 2022, Has title Données, Transparence et Démocratie)
- Effective Reductions of Mealy Machines (News year 2022, Has title Effective Reductions of Mealy Machines, Published in Proceedings of the 42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE'22))
- LTL under reductions with weaker conditions than stutter invariance (News year 2022, 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 (News year 2022, 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 (News year 2022, 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)
- Learning Grayscale Mathematical Morphology with Smooth Morphological Layers (News year 2022, Has title Learning Grayscale Mathematical Morphology with Smooth Morphological Layers, Published in Journal of Mathematical Imaging and Vision)
- Qu'est-ce que mon GNN capture vraiment ? Exploration des représentations internes d'un GNN (News year 2022, 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 (News year 2022, Has title Local Intensity Order Transformation for Robust Curvilinear Object Segmentation, Published in IEEE Transactions on Image Processing)
- Electricity Price Forecasting on the Day-Ahead Market using Machine Learning (News year 2022, Has title Electricity Price Forecasting on the Day-Ahead Market using Machine Learning, Published in Applied Energy)
- Max-Tree Computation on GPUs (News year 2022, Has title Max-Tree Computation on GPUs, Published in IEEE Transactions on Parallel and Distributed Systems)
- ETAP: Experimental Typesetting Algorithms Platform (News year 2022, Has title ETAP: Experimental Typesetting Algorithms Platform, Published in 15th European Lisp Symposium)
- Practical Applications of the Alternating Cycle Decomposition (News year 2022, 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))
- GenIDA, une base de données participative internationale permettant de mieux connaître l'histoire naturelle et les comorbidités des formes génétiques de troubles neurodéveloppementaux (News year 2022, Has title GenIDA, une base de données participative internationale permettant de mieux connaître l'histoire naturelle et les comorbidités des formes génétiques de troubles neurodéveloppementaux, Published in Assises de Génétique Humaine et Médicale)
- Découverte de sous-groupes de prédictions interprétables pour le triage d'incidents (News year 2022, Has title Découverte de sous-groupes de prédictions interprétables pour le triage d'incidents, Published in Extraction et Gestion des Connaissances, EGC 2022Blois, France, 24 au 28 janvier 2022)
- Hate Speech and Toxic Comment Detection using Transformers (News year 2022, Has title Hate Speech and Toxic Comment Detection using Transformers, Published in Workshop EGC 2022 DL for NLP)
- QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results (News year 2022, Has title QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results, Published in Journal of Machine Learning for Biomedical Imaging (MELBA))
- New Security Protocols for Offline Point-of-Sale Machines (News year 2022, Has title New Security Protocols for Offline Point-of-Sale Machines, Published in 36th International Conference on Advanced Information Networking and Applications (AINA))
- Automatically Guided Selection of a Set of Underwater Calibration Images (News year 2022, Has title Automatically Guided Selection of a Set of Underwater Calibration Images)
- How to Boost Close-Range Remote Sensing Courses Using a Serious Game: Uncover in a Fun Way the Complexity and Transversality of Multi-Domain Field Acquisitions (News year 2022, Has title How to Boost Close-Range Remote Sensing Courses Using a Serious Game: Uncover in a Fun Way the Complexity and Transversality of Multi-Domain Field Acquisitions, Published in Remote Sensing)
- Anomaly Detection on Static and Dynamic Graphs using Graph Convolutional Neural Networks (News year 2022, Has title Anomaly Detection on Static and Dynamic Graphs using Graph Convolutional Neural Networks, Published in Robotics and AI for Cybersecurity and Critical Infrastructure in Smart Cities)
- Current Trends in Blockchain Implementations on the Paradigm of Public Key Infrastructure: A Survey (News year 2022, Has title Current Trends in Blockchain Implementations on the Paradigm of Public Key Infrastructure: A Survey, Published in IEEE Access)
- How to help digital-native students to successfully take control of their learning : A return of 8 years of experience on a computer science e-learning platform in higher education (News year 2022, Has title How to help digital-native students to successfully take control of their learning : A return of 8 years of experience on a computer science e-learning platform in higher education)
- Gradient Vector Fields of Discrete Morse Functions and Watershed-Cuts (News year 2021, 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 (News year 2021, 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 (News year 2021, Has title AGAT: Building and Evaluating Binary Partition Trees for Image Segmentation, Published in SoftwareX)
- Introducing the Boundary-Aware Loss for Deep Image Segmentation (News year 2021, Has title Introducing the Boundary-Aware Loss for Deep Image Segmentation, Published in Proceedings of the 32nd British Machine Vision Conference (BMVC))
- Strong Euler Wellcomposedness (News year 2021, Has title Strong Euler Wellcomposedness, Published in Journal of Combinatorial Optimization)
- Continuous Well-Composedness implies Digital Well-Composedness in n-D (News year 2021, Has title Continuous Well-Composedness implies Digital Well-Composedness in n-D, Published in Journal of Mathematical Imaging and Vision)
- VizNN: Visual Data Augmentation with Convolutional Neural Networks for Cybersecurity Investigation (News year 2021, Has title VizNN: Visual Data Augmentation with Convolutional Neural Networks for Cybersecurity Investigation, Published in Upper-Rhine Artificial Intelligence Symposium)
- Evaluation of Anomaly Detection for Cybersecurity Using Inductive Node Embedding with Convolutional Graph Neural Networks (News year 2021, Has title Evaluation of Anomaly Detection for Cybersecurity Using Inductive Node Embedding with Convolutional Graph Neural Networks, Published in Complex Network 2021)
- 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))
- 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))
- 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))
- 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))
- 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))
- 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))
- 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))
- Blockchain-Based Solution for Detecting and Preventing Fake Check Scams (News year 2021, Has title Blockchain-Based Solution for Detecting and Preventing Fake Check Scams, Published in IEEE Transactions on Engineering Management)
- 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)
- Automation of Binary Analysis: From Open Source Collection to Threat Intelligence (News year 2021, Has title Automation of Binary Analysis: From Open Source Collection to Threat Intelligence, Published in Proceedings of the 28th C&ESAR)
- A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers (News year 2020, 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))
- PAIP 2019: Liver Cancer Segmentation Challenge (News year 2020, Has title PAIP 2019: Liver Cancer Segmentation Challenge, Published in Medical Image Analysis)
- A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging (News year 2020, 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)
- Do not Treat Boundaries and Regions Differently: An Example on Heart Left Atrial Segmentation (News year 2020, Has title Do not Treat Boundaries and Regions Differently: An Example on Heart Left Atrial Segmentation, Published in Proceedings of the 25th International Conference on Pattern Recognition (ICPR))
- FOANet: A Focus of Attention Network with Application to Myocardium Segmentation (News year 2020, Has title FOANet: A Focus of Attention Network with Application to Myocardium Segmentation, Published in Proceedings of the 25th International Conference on Pattern Recognition (ICPR))
- Two Stages CNN-Based Segmentation of GliomasUncertainty Quantification and Prediction of Overall Patient Survival (News year 2020, Has title Two Stages CNN-Based Segmentation of GliomasUncertainty Quantification and Prediction of Overall Patient Survival, Published in International MICCAI Brainlesion Workshop)
- Topological Properties of the First Non-Local Digitally Well-Composed Interpolation on n-D Cubical Grids (News year 2020, Has title Topological Properties of the First Non-Local Digitally Well-Composed Interpolation on n-D Cubical Grids, Published in Journal of Mathematical Imaging and Vision)
- Equivalence between Digital Well-Composedness and Well-Composedness in the Sense of Alexandrov on n-D Cubical Grids (News year 2020, Has title Equivalence between Digital Well-Composedness and Well-Composedness in the Sense of Alexandrov on n-D Cubical Grids, Published in Journal of Mathematical Imaging and Vision)
- On the Usefulness of Clause Strengthening in Parallel SAT Solving (News year 2020, Has title On the Usefulness of Clause Strengthening in Parallel SAT Solving, Published in Proceedings of the 12th NASA Formal Methods Symposium (NFM'20))
- Euler Well-Composedness (News year 2020, Has title Euler Well-Composedness, Published in Combinatorial Image Analysis: Proceedings of the 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020)
- A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-D (News year 2020, Has title A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-D, Published in Combinatorial Image Analysis: Proceedings of the 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020)
- Non-iterative methods for image improvement in digital holography of the retina (News year 2020, Has title Non-iterative methods for image improvement in digital holography of the retina)
- (Dynamic (Programming Paradigms)) ;; Performance and Expressivity (News year 2020, Has title (Dynamic (Programming Paradigms)) ;; Performance and Expressivity)
- Practical “Paritizing” of Emerson–Lei Automata (News year 2020, Has title Practical “Paritizing” of Emerson–Lei Automata, Published in Proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis (ATVA'20))
- A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation (News year 2020, Has title A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation, Published in Computer Vision and Image Understanding)
- Improving swarming using genetic algorithms (News year 2020, Has title Improving swarming using genetic algorithms, Published in Innovations in Systems and Software Engineering: a NASA journal (ISSE))
- Using Separated Inputs for Multimodal Brain Tumor Segmentation with 3D U-Net-like Architectures (News year 2020, Has title Using Separated Inputs for Multimodal Brain Tumor Segmentation with 3D U-Net-like Architectures, Published in Proceedings of the 4th International Workshop, BrainLes 2019, Held in Conjunction with MICCAI 2019)
- Community and LBD-based Clause Sharing Policy for Parallel SAT Solving (News year 2020, 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))
- LTL Model Checking for Communicating Concurrent Programs (News year 2020, Has title LTL Model Checking for Communicating Concurrent Programs, Published in Innovations in Systems and Software Engineering: a NASA journal (ISSE))
- Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization (News year 2020, Has title Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization, Published in Proceedings of the 32nd International Conference on Computer-Aided Verification (CAV'20))
- Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms (News year 2020, Has title Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms)
- A Two-Stage Temporal-Like Fully Convolutional Network Framework for Left Ventricle Segmentation and Quantification on MR Images (News year 2020, Has title A Two-Stage Temporal-Like Fully Convolutional Network Framework for Left Ventricle Segmentation and Quantification on MR Images, Published in Statistical Atlases and Computational Models of the Heart. Multi-Sequence CMR Segmentation, CRT-EPiggy and LV Full Quantification Challenges—10th International WorkshopSTACOM 2019, Held in Conjunction with MICCAI 2019Shenzhen, China, October 13, 2019, Revised Selected Papers)
- Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model Formulation (News year 2020, Has title Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model Formulation, Published in Proceedings of the 45th IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP))
- Stacked and parallel U-nets with multi-output for myocardial pathology segmentation (News year 2020, Has title Stacked and parallel U-nets with multi-output for myocardial pathology segmentation, Published in Myocardial Pathology Segmentation Combining Multi-Sequence CMR Challenge)
- Experimental digital Gabor hologram rendering of C. elegans worms by a model-trained convolutional neural network (Conference Presentation) (News year 2020, Has title Experimental digital Gabor hologram rendering of C. elegans worms by a model-trained convolutional neural network (Conference Presentation), Published in Label-free Biomedical Imaging and Sensing (LBIS) 2020)
- Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo (News year 2019, Has title Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo, Published in TUGboat)
- Connected Filters on Generalized Shape-Spaces (News year 2019, Has title Connected Filters on Generalized Shape-Spaces, Published in Pattern Recognition Letters)
- Combining Parallel Emptiness Checks with Partial Order Reductions (News year 2019, Has title Combining Parallel Emptiness Checks with Partial Order Reductions, Published in Proceedings of the 21st International Conference on Formal Engineering Methods (ICFEM'19))
- Generic Emptiness Check for Fun and Profit (News year 2019, Has title Generic Emptiness Check for Fun and Profit, Published in Proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis (ATVA'19))
- Towards more efficient parallel SAT solving (News year 2019, Has title Towards more efficient parallel SAT solving)
- Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images (News year 2019, Has title Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images, Published in Pattern Recognition)
- One More Step Towards Well-Composedness of Cell Complexes over n-D Pictures (News year 2019, Has title One More Step Towards Well-Composedness of Cell Complexes over n-D Pictures, Published in Proceedings of the 21st International Conference on Discrete Geometry for Computer Imagery (DGCI))
- Estimation du niveau de bruit par arbre des formes et statistiques non paramétriques (News year 2019, Has title Estimation du niveau de bruit par arbre des formes et statistiques non paramétriques, Published in Proceedings of the 27st Symposium on Signal and Image Processing (GRETSI))
- Filtres connexes multivariés par fusion d'arbres de composantes (News year 2019, Has title Filtres connexes multivariés par fusion d'arbres de composantes, Published in Proceedings of the 27st Symposium on Signal and Image Processing (GRETSI))
- Estimating the noise level function with the tree of shapes and non-parametric statistics (News year 2019, Has title Estimating the noise level function with the tree of shapes and non-parametric statistics, Published in Proceedings of the 18th International Conference on Computer Analysis of Images and Patterns (CAIP))
- Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge (News year 2019, Has title Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge, Published in IEEE Transactions on Medical Imaging)
- Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge (News year 2019, Has title Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge, Published in IEEE Transactions on Medical Imaging)
- Implementing Baker's SUBTYPEP decision procedure (News year 2019, Has title Implementing Baker's SUBTYPEP decision procedure, Published in 12th European Lisp Symposium)