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
- The Hanoi Omega-Automata Format + (babiak.15.cav)
- Bisimulation-based Reductions on TGBA + (badie.11.seminar)
- Réduction basées sur la bisimulation appliquées aux TGBA + (badie.11.seminar)
- Direct-Simulation Reduction for TGBA + (badie.12.seminar)
- Réduction par simulation directe pour les TGBA + (badie.12.seminar)
- Simulation-based Reductions for TGBA + (badie.13.seminar)
- Réduction par simulation pour les TGBA + (badie.13.seminar)
- Generic Emptiness Check for Fun and Profit + (baier.19.atva)
- Project EFIGI: Automatic classification of galaxies + (baillard.05.adass)
- Algorithme de calcul de l'arbre des composantes avec applications à la reconnaissance des formes en imagerie satellitaire + (baillard.07.gretsi)
- Software engineering in Olena Core + (ballas.07.seminar)
- Software engineering in Olena Core + (ballas.07.seminar)
- Image taxonomy in Milena + (ballas.08.seminar)
- Taxonomie des images de Milena + (ballas.08.seminar)
- Properties in Milena + (ballas.09.seminar)
- Les propriétés dans Milena + (ballas.09.seminar)
- Parallel Model Checking Algorithms for Linear-Time Temporal Logic + (barnat.18.hpcr)
- New ways to use the Vcsn's Jupyter interface. + (barray.15.seminar)
- De nouvelles fac cons d'utiliser l'interface Jupyter. + (barray.15.seminar)
- Using the Mumford-Shah segmentation for Text Detection in images + (batten.15.seminar)
- Utilisation de la segmentation de Mumford-Shah pour la détection du texte dans les images + (batten.15.seminar)
- 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 + (beaudoin.22.eit)
- Automatically Guided Selection of a Set of Underwater Calibration Images + (beaudoin.22.jmse)
- Generalized Büchi Automata versus Testing Automata for Model Checking + (bensalem.11.sumo)
- Model Checking using Generalized Testing Automata + (bensalem.12.topnoc)
- Improving the Model Checking of Stutter-Invariant LTL Properties + (bensalem.14.phd)
- Symbolic Model Checking of Stutter Invariant Properties Using Generalized Testing Automata + (bensalem.14.tacas)
- Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata + (bensalem.15.acsd)
- Extending Testing Automata to All LTL + (bensalem.15.forte)
- Single-pass Testing Automata for LTL Model Checking + (bensalem.15.lata)
- Using connected operators to manipulate image components + (berger.05.seminar)
- Using connected operators to manipulate image components + (berger.05.seminar)
- Image taxonomy in Olena + (berger.06.seminar)
- Image taxonomy in Olena + (berger.06.seminar)
- Effective Component Tree Computation with Application to Pattern Recognition in Astronomical Imaging + (berger.07.icip)