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
- 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)