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)
- 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))
- 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)
- 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))
- 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)
- 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)
- 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)
- 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)