Semantic search
No value
- Forecasting Electricity Prices: An Optimize Then Predict-Based Approach (News year 2023, Has title Forecasting Electricity Prices: An Optimize Then Predict-Based Approach, Published in Advances in Intelligent Data Analysis XXI)
- Optimization of the Product Configuration System of Renault (News year 2023, Has title Optimization of the Product Configuration System of Renault, Published in SAC '23: The 38th ACM/SIGAPP Symposium on Applied Computing)
- An Experience Report on the Optimization of the Product Configuration System of Renault (News year 2023, Has title An Experience Report on the Optimization of the Product Configuration System of Renault, Published in 26th International Conference on Engineering of Complex Computer Systems)
- Modern vectorization and alignement of historical maps: An application to Paris atlas (1789-1950) (News year 2023, Has title Modern vectorization and alignement of historical maps: An application to Paris atlas (1789-1950))
- A Myhill-Nerode Theorem for Higher-Dimensional Automata (News year 2023, Has title A Myhill-Nerode Theorem for Higher-Dimensional Automata, Published in Application and Theory of Petri Nets and Concurrency (PETRI NETS))
- Catoids and Modal Convolution Algebras (News year 2023, Has title Catoids and Modal Convolution Algebras, Published in Algebra Universalis)
- Discrete Morse Functions and Watersheds (News year 2023, Has title Discrete Morse Functions and Watersheds, Published in Journal of Mathematical Imaging and Vision (Special Edition))
- Learning Diversity Attributes in Multi-Session Recommendations (News year 2022, Has title Learning Diversity Attributes in Multi-Session Recommendations, Published in 2022 IEEE International Conference on Big Data (Big Data))
- Trie-based Output Itemset Sampling (News year 2022, Has title Trie-based Output Itemset Sampling, Published in 2022 IEEE International Conference on Big Data (Big Data))
- Methods for Explaining Top-N Recommendations Through Subgroup Discovery (News year 2022, Has title Methods for Explaining Top-N Recommendations Through Subgroup Discovery, Published in Data Mining and Knowledge Discovery)
- Tuning SAT Solvers for LTL Model Checking (News year 2022, Has title Tuning SAT Solvers for LTL Model Checking, Published in Proceedings of the 29th Asia-Pacific Software Engineering Conference (APSEC'22))
- Towards Better Heuristics for Solving Bounded Model Checking Problems (News year 2022, Has title Towards Better Heuristics for Solving Bounded Model Checking Problems, Published in Constraints)
- Go2Pins: A framework for the LTL verification of Go programs (Extended Version) (News year 2022, Has title Go2Pins: A framework for the LTL verification of Go programs (Extended Version), Published in International Journal on Software Tools for Technology Transfer (STTT))
- Introduction to the Special Issue on Distributed Hybrid Systems (News year 2022, Has title Introduction to the Special Issue on Distributed Hybrid Systems, Published in Leibniz Transactions on Embedded Systems)
- Higher-Dimensional Timed and Hybrid Automata (News year 2022, Has title Higher-Dimensional Timed and Hybrid Automata, Published in Leibniz Transactions on Embedded Systems)
- CosySEL: Improving SAT Solving Using Local Symmetries (News year 2022, Has title CosySEL: Improving SAT Solving Using Local Symmetries, Published in 24th International Conference on Verification, Model Checking, and Abstract Interpretation)
- Energy Problems in Finite and Timed Automata with Büchi Conditions (News year 2022, Has title Energy Problems in Finite and Timed Automata with Büchi Conditions, Published in International Symposium on Formal Methods (FM))
- Diversifying a Parallel SAT Solver with Bayesian Moment Matching (News year 2022, Has title Diversifying a Parallel SAT Solver with Bayesian Moment Matching, Published in Symposium on Dependable Software Engineering TheoriesTools and Applications)
- The Dahu Graph-Cut for Interactive Segmentation on 2D/3D Images (News year 2022, Has title The Dahu Graph-Cut for Interactive Segmentation on 2D/3D Images, Published in Pattern Recognition)
- Featured Games (News year 2022, Has title Featured Games, Published in Science of Computer Programming)
- In Pursuit of the Hidden Features of GNN's Internal Representations (News year 2022, Has title In Pursuit of the Hidden Features of GNN's Internal Representations, Published in Data & Knowledge Engineering)
- Topology-Aware Method to Segment 3D Plan Tissue Images (News year 2022, Has title Topology-Aware Method to Segment 3D Plan Tissue Images, Published in 36th Conference on Neural Information Processing SystemsAI for Science Workshop)
- On GNN Explainability with Activation Rules (News year 2022, Has title On GNN Explainability with Activation Rules, Published in Data Mining and Knowledge Discovery)
- The Cost of Dynamism in Static Languages for Image Processing (News year 2022, Has title The Cost of Dynamism in Static Languages for Image Processing, Published in Proceedings of the 21st International Conference on Generative Programming: Concepts & Experiences (GPCE 2022))
- A Modern C++ Point of View of Programming in Image Processing (News year 2022, Has title A Modern C++ Point of View of Programming in Image Processing, Published in Proceedings of the 21st International Conference on Generative Programming: Concepts & Experiences (GPCE 2022))
- Multi-purpose Tactile Perception Based on Deep Learning in a New Tendon-driven Optical Tactile Sensor (News year 2022, Has title Multi-purpose Tactile Perception Based on Deep Learning in a New Tendon-driven Optical Tactile Sensor, Published in 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems)
- Discovering and Visualizing Tactics in Table Tennis Games Based on Subgroup Discovery (News year 2022, Has title Discovering and Visualizing Tactics in Table Tennis Games Based on Subgroup Discovery, Published in Machine Learning and Data Mining for Sports Analytics - 9th International Workshop, MLSA 2022)
- Improving the Quality of Rule-Based GNN Explanations (News year 2022, Has title Improving the Quality of Rule-Based GNN Explanations, Published in Workshop on eXplainable Knowledge Discovery in Data Mining. Machine Learning and Principles and Practice of Knowledge Discovery in Databases - International Workshops of ECML PKDD 2022, GrenobleFrance, September 19-23, 2022, Proceedings, Part I)
- A Kleene Theorem for Higher-Dimensional Automata (News year 2022, Has title A Kleene Theorem for Higher-Dimensional Automata, Published in 33rd International Conference on Concurrency Theory (CONCUR 2022))
- Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map (News year 2022, Has title Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map, Published in Symposium on Implementation and Application of Functional Languages)
- 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))
- 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)
- 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))
- 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)
- 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))
- 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)
- 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))
- 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))
- 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))
- 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))
- 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)
- 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))
- 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))
- 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)