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
- AGAT: Building and Evaluating Binary Partition Trees for Image Segmentation + (article)
- Max-Tree Computation on GPUs + (article)
- Electricity Price Forecasting on the Day-Ahead Market using Machine Learning + (article)
- Local Intensity Order Transformation for Robust Curvilinear Object Segmentation + (article)
- Learning Grayscale Mathematical Morphology with Smooth Morphological Layers + (article)
- Some Equivalence Relation between Persistent Homology and Morphological Dynamics + (article)
- Posets With Interfaces as a Model for Concurrency + (article)
- Using subgroup discovery to relate odor pleasantness and intensity to peripheral nervous system reactions + (article)
- On GNN Explainability with Activation Rules + (article)
- In Pursuit of the Hidden Features of GNN's Internal Representations + (article)
- Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata + (article)
- Featured Games + (article)
- The Dahu Graph-Cut for Interactive Segmentation on 2D/3D Images + (article)
- QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results + (article)
- Introduction to the Special Issue on Distributed Hybrid Systems + (article)
- Higher-Dimensional Timed and Hybrid Automata + (article)
- Methods for Explaining Top-N Recommendations Through Subgroup Discovery + (article)
- Go2Pins: A framework for the LTL verification of Go programs (Extended Version) + (article)
- 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 + (article)
- A blockchain-based certificate revocation management and status verification system + (article)
- Blockchain-Based Solution for Detecting and Preventing Fake Check Scams + (article)
- Current Trends in Blockchain Implementations on the Paradigm of Public Key Infrastructure: A Survey + (article)
- 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 + (article)
- Automatically Guided Selection of a Set of Underwater Calibration Images + (article)
- Towards Better Heuristics for Solving Bounded Model Checking Problems + (article)
- Continuous Well-Composedness implies Digital Well-Composedness in n-D + (article)
- Catoids and Modal Convolution Algebras + (article)
- Discrete Morse Functions and Watersheds + (article)
- Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis + (incollection)
- Algorithms for Mathematical Morphology + (incollection)
- Extensible languages: blurring the distinction between DSLs and GPLs + (incollection)
- Morphologie et algorithmes + (incollection)
- Parallel Model Checking Algorithms for Linear-Time Temporal Logic + (incollection)
- Practical Application of Probabilistic Model Checking to Communication Protocols + (incollection)
- Implementation Concepts in Vaucanson 2 + (inproceedings)
- On-the-fly Emptiness Check of Transition-based Streett Automata + (inproceedings)
- Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking + (inproceedings)
- LTL Translation Improvements in Spot + (inproceedings)
- Generic programming redesign of patterns + (inproceedings)
- Applying generic programming to image processing + (inproceedings)
- Fast color image segmentation based on levellings in feature Space + (inproceedings)
- Vers une réutilisabilité totale des algorithmes de traitement d'images + (inproceedings)
- libDMC: a library to Operate Efficient Distributed Model Checking + (inproceedings)
- Hierarchical Set Decision Diagrams and Automatic Saturation + (inproceedings)
- Approximate Nash Equilibria for Multi-Player Games + (inproceedings)
- The SCRIBO Module of the Olena Platform: a Free Software Framework for Document Image Analysis + (inproceedings)
- Towards the World-Wide Quantum Network + (inproceedings)
- Milena: Write Generic Morphological Algorithms Once, Run on Many Kinds of Images + (inproceedings)
- Why and How to Design a Generic and Efficient Image Processing Framework: The Case of the Milena Library + (inproceedings)
- Writing Reusable Digital Geometry Algorithms in a Generic Image Processing Framework + (inproceedings)
- Une approche générique du logiciel pour le traitement d'images préservant les performances + (inproceedings)
- Writing Reusable Digital Topology Algorithms in a Generic Image Processing Framework + (inproceedings)
- Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking + (inproceedings)
- Web services at TERAPIX + (inproceedings)
- 10 years of confrontation between French Internet users and their successive governments + (inproceedings)
- A Survey of French Local e-Democracy + (inproceedings)