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
- A Benchmark of Named Entity Recognition Approaches in Historical Documents +
- A Kleene Theorem for Higher-Dimensional Automata +
- A Modern C++ Point of View of Programming in Image Processing +
- Anomaly Detection on Static and Dynamic Graphs using Graph Convolutional Neural Networks +
- Automatically Guided Selection of a Set of Underwater Calibration Images +
- Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map +
- CosySEL: Improving SAT Solving Using Local Symmetries +
- Current Trends in Blockchain Implementations on the Paradigm of Public Key Infrastructure: A Survey +
- Discovering and Visualizing Tactics in Table Tennis Games Based on Subgroup Discovery +
- Diversifying a Parallel SAT Solver with Bayesian Moment Matching +
- Données, Transparence et Démocratie +
- Découverte de sous-groupes de prédictions interprétables pour le triage d'incidents +
- ETAP: Experimental Typesetting Algorithms Platform +
- Effective Reductions of Mealy Machines +
- Electricity Price Forecasting on the Day-Ahead Market using Machine Learning +
- Energy Problems in Finite and Timed Automata with Büchi Conditions +
- Estimation de la fonction de niveau de bruit pour des images couleurs en utilisant la morphologie mathématique +
- Estimation of the noise level function for color images using mathematical morphology and non-parametric statistics +
- Featured Games +
- From Spot 2.0 to Spot 2.10: What's New? +
- 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 +
- Go2Pins: A framework for the LTL verification of Go programs (Extended Version) +
- Gradients Intégrés Renforcés +
- Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata +
- Généricité dynamique pour des algorithmes morphologiques +
- Hate Speech and Toxic Comment Detection using Transformers +
- Higher-Dimensional Timed and Hybrid Automata +
- 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 +
- 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 +
- Improving the Quality of Rule-Based GNN Explanations +
- In Pursuit of the Hidden Features of GNN's Internal Representations +
- Introduction to the Special Issue on Distributed Hybrid Systems +
- LTL under reductions with weaker conditions than stutter invariance +
- Label-Efficient Self-Supervised Speaker Verification With Information Maximization and Contrastive Learning +
- Learning Diversity Attributes in Multi-Session Recommendations +
- Learning Grayscale Mathematical Morphology with Smooth Morphological Layers +
- Local Intensity Order Transformation for Robust Curvilinear Object Segmentation +
- Max-Tree Computation on GPUs +
- Methods for Explaining Top-N Recommendations Through Subgroup Discovery +
- Multi-purpose Tactile Perception Based on Deep Learning in a New Tendon-driven Optical Tactile Sensor +
- New Security Protocols for Offline Point-of-Sale Machines +
- On GNN Explainability with Activation Rules +
- On Robustness for the Skolem and Positivity Problems +
- Posets With Interfaces as a Model for Concurrency +
- Practical Applications of the Alternating Cycle Decomposition +
- QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results +
- Qu'est-ce que mon GNN capture vraiment ? Exploration des représentations internes d'un GNN +
- Some Equivalence Relation between Persistent Homology and Morphological Dynamics +
- The Cost of Dynamism in Static Languages for Image Processing +
- The Dahu Graph-Cut for Interactive Segmentation on 2D/3D Images +