Semantic search
No value
- 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))
- 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)
- 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)
- 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)
- 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))
- Catoids and Modal Convolution Algebras (News year 2023, Has title Catoids and Modal Convolution Algebras, Published in Algebra Universalis)
- 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))
- 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)
- 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 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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))
- 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))
- 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)
- 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)
- 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))
- 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))
- 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)
- 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)
- 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))
- 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)
- Données, Transparence et Démocratie (News year 2022, Has title Données, Transparence et Démocratie)
- Higher-Dimensional Timed and Hybrid Automata (News year 2022, Has title Higher-Dimensional Timed and Hybrid Automata, Published in Leibniz Transactions on Embedded Systems)
- 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)
- 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))
- 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)
- 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))
- Featured Games (News year 2022, Has title Featured Games, Published in Science of Computer Programming)
- 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)
- 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)
- 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))
- 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 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)