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

• In Pursuit of the Hidden Features of GNN's Internal Representations  + (October 26, 2022)
• Featured Games  + (November 1, 2022)
• NewsEntry ()2  + (November 2, 2022)
• NewsEntry (2022/11/04)  + (November 4, 2022)
• NewsEntry (2022/11/10)  + (November 10, 2022)
• NewsEntry (2022/11/22)  + (November 22, 2022)
• NewsEntry (2022/11/22)2  + (November 22, 2022)
• NewsEntry (2022/11/30)  + (November 30, 2022)
• The Dahu Graph-Cut for Interactive Segmentation on 2D/3D Images  + (December 3, 2022)
• Introduction to the Special Issue on Distributed Hybrid Systems  + (December 8, 2022)
• Higher-Dimensional Timed and Hybrid Automata  + (December 8, 2022)
• Diversifying a Parallel SAT Solver with Bayesian Moment Matching  + (December 8, 2022)
• Energy Problems in Finite and Timed Automata with Büchi Conditions  + (December 8, 2022)
• CosySEL: Improving SAT Solving Using Local Symmetries  + (December 8, 2022)

• Go2Pins: A framework for the LTL verification of Go programs (Extended Version)  + (December 9, 2022)
• Towards Better Heuristics for Solving Bounded Model Checking Problems  + (December 9, 2022)
• 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)