Search by property
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- Tuning SAT Solvers for LTL Model Checking + (December 9, 2022)
- Methods for Explaining Top-N Recommendations Through Subgroup Discovery + (December 10, 2022)
- Trie-based Output Itemset Sampling + (December 12, 2022)
- Learning Diversity Attributes in Multi-Session Recommendations + (December 12, 2022)
- Gradients Intégrés Renforcés + (December 15, 2022)
- Discrete Morse Functions and Watersheds + (January 1, 2023)
- A Myhill-Nerode Theorem for Higher-Dimensional Automata + (March 5, 2023)
- Catoids and Modal Convolution Algebras + (March 5, 2023)
- Modern vectorization and alignement of historical maps: An application to Paris atlas (1789-1950) + (March 22, 2023)
- Optimization of the Product Configuration System of Renault + (April 3, 2023)
- An Experience Report on the Optimization of the Product Configuration System of Renault + (April 3, 2023)
- Forecasting Electricity Prices: An Optimize Then Predict-Based Approach + (April 10, 2023)