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
- Introduction to the Special Issue on Distributed Hybrid Systems + (abate.22.lites)
- Minimization of automata representing obligation formulae + (abecassis.10.seminar)
- Minimisation d'automates représentant des obligations + (abecassis.10.seminar)
- Optimizations in the Tiger Compiler + (abecassis.11.seminar)
- Optimisations dans le compilateur Tiger + (abecassis.11.seminar)
- Parallelization in a generic image processing library + (abecassis.12.seminar)
- Parallélisation dans une bibliothèque de traitement d'images générique + (abecassis.12.seminar)
- ConceptC++ study and possible integration in SCOOP + (abraham.07.seminar)
- Etude de ConceptC++ et possible intégration dans SCOOP + (abraham.07.seminar)
- Topological Watershed + (abraham.08.seminar)
- Ligne de partage des eaux topologique + (abraham.08.seminar)
- Morphology on color images + (abraham.09.seminar)
- Morphologie sur images couleur + (abraham.09.seminar)
- On Robustness for the Skolem and Positivity Problems + (akshay.22.stacs)
- Visualization issues in virtual environments: from computer graphics techniques to intentional visualization + (angelidis.01.wscg)
- Transformers: a C++ program transformation framework + (anisko.03.seminar)
- Transformers: a C++ program transformation framework + (anisko.03.seminar)
- Experimental digital Gabor hologram rendering of C. elegans worms by a model-trained convolutional neural network (Conference Presentation) + (atlan.20.spie)
- 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 + (avanthey.22.rs)
- Mechanizing the Minimization of Deterministic Generalized Büchi Automata + (baarir.14.forte)
- SAT-based Minimization of Deterministic ω-Automata + (baarir.15.lpar)
- Compositional Approach to Suspension and Other Improvements to LTL Translation + (babiak.13.spin)
- 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)