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)