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

• 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)
• Image processing for plots detection from ancient maps  + (berthet.15.seminar)
• Traitement d'images de cartes anciennes pour la détection de parcelles  + (berthet.15.seminar)
• Automatic segmentation of Cassini's maps  + (berthet.16.seminar)
• Découpage automatique des cartes de Cassini  + (berthet.16.seminar)

• Automatic detection of text zones on identity documents.  + (berthet.17.seminar)
• Détection automatique de zones de textes sur des pièces d'identité  + (berthet.17.seminar)

• Computing the regular language recognized by a finite automaton  + (bigaignon.05.seminar)
• Computing the regular language recognized by a finite automaton  + (bigaignon.05.seminar)
• Contribution to dyn::  + (billion.16.seminar)
• Contribution à dyn::  + (billion.16.seminar)
• Is There a Best Büchi Automaton for Explicit Model Checking?  + (blahoudek.14.spin)
• On Refinement of Büchi Automata for Explicit Model Checking  + (blahoudek.15.spin)
• Seminator: A Tool for Semi-Determinization of Omega-Automata  + (blahoudek.17.lpar)
• Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization  + (blahoudek.20.cav)
• Max-Tree Computation on GPUs  + (blin.22.tpds)
• Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition—application to 3D brain imaging  + (bloch.03.ai)
• Fusion of spatial relationships for guiding recognitionexample of brain structure recognition in 3D MRI  + (bloch.05.prl)
• On Some Associations Between Mathematical Morphology and Artificial Intelligence  + (bloch.21.dgmm)
• Explicit State Model Checking with Generalized Büchi and Rabin Automata  + (bloemen.17.spin)
• Model checking with generalized Rabin and Fin-less automata  + (bloemen.19.sttt)
• Random rational expression generation  + (boillod.16.seminar)
• Génération aléatoire d'expression rationnelle  + (boillod.16.seminar)
• Text extraction method based on wavelets  + (boissel.12.seminar)
• Extraction de texte avec des ondelettes  + (boissel.12.seminar)
• Reduce the resource consumption of a complex image processing chain  + (boissel.13.seminar)
• Réduire les ressources utilisées par une chaîne de traitement d'images complexe  + (boissel.13.seminar)
• Using a wavelet-based descriptor to extract information on object shape  + (boissel.13.seminar2)
• Utilisation d'un descripteur à base de transformée en ondelettes pour extraire des informations sur la forme des objets  + (boissel.13.seminar2)
• A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers  + (boldo.18.arith)
• C-Transformers — A Framework to Write C Program Transformations  + (borghi.06.crossroads)