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

• Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map  + (August 31, 2022)
• A Kleene Theorem for Higher-Dimensional Automata  + (September 6, 2022)
• Improving the Quality of Rule-Based GNN Explanations  + (September 12, 2022)
• Discovering and Visualizing Tactics in Table Tennis Games Based on Subgroup Discovery  + (September 19, 2022)
• Multi-purpose Tactile Perception Based on Deep Learning in a New Tendon-driven Optical Tactile Sensor  + (October 1, 2022)
• NewsEntry (2022/10/07)  + (October 7, 2022)
• The Cost of Dynamism in Static Languages for Image Processing  + (October 10, 2022)
• A Modern C++ Point of View of Programming in Image Processing  + (October 10, 2022)
• On GNN Explainability with Activation Rules  + (October 20, 2022)
• Topology-Aware Method to Segment 3D Plan Tissue Images  + (October 25, 2022)
• 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)

• CosySEL: Improving SAT Solving Using Local Symmetries  + (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)
• Higher-Dimensional Timed and Hybrid Automata  + (December 8, 2022)
• Introduction to the Special Issue on Distributed Hybrid Systems  + (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)