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
- Verification de proprietes sur un programme en utilisant de l'analyse statique et de la verification de modele + (fages.20.seminar)
- Active Learning on Visibly One Counter Systems + (fages.21.seminar)
- Aprentissage Actif d'Automates Visiblement á un compteur + (fages.21.seminar)
- A Kleene Theorem for Higher-Dimensional Automata + (fahrenberg.22.concur)
- Posets With Interfaces as a Model for Concurrency + (fahrenberg.22.iandc)
- Higher-Dimensional Timed and Hybrid Automata + (fahrenberg.22.lites)
- Featured Games + (fahrenberg.22.scp)
- Catoids and Modal Convolution Algebras + (fahrenberg.23.alguniv)
- A Myhill-Nerode Theorem for Higher-Dimensional Automata + (fahrenberg.23.pn)
- Alternating automata support + (fauchille.16.seminar)
- Le support des automates alternants + (fauchille.16.seminar)
- Progresses towards Vaucanson 1.4 and 2.0 + (fiette.11.seminar)
- Avancées vers Vaucanson 1.4 et 2.0 + (fiette.11.seminar)
- Distance Transform + (folio.08.seminar)
- Distance Transform + (folio.08.seminar)
- Histograms + (folio.09.seminar)
- Histogrammes + (folio.09.seminar)
- Dynamic use of statically typed libraries, textscJust In Time compilation and other solutions + (fosse.04.seminar)
- Dynamic use of statically typed libraries, textscJust In Time compilation and other solutions + (fosse.04.seminar)
- Local reasoning in fuzzy attribute graphs for optimizing sequential segmentation + (fouquier.07.gbr)
- The Biosecure Geometry-based System for Hand Modality + (fouquier.07.icassp)
- LTL Model Checking with Neco + (fronc.13.atva)
- Improving Vaucanson's transducers composition algorithm + (galtier.08.seminar)
- Amélioration de la composition des transducteurs dans Vaucanson + (galtier.08.seminar)
- Remedial treatment for Vaucanson: an enhanced automaton concept + (galtier.09.seminar)
- Traitement curatif pour Vaucanson: un renforcement du concept d'automate + (galtier.09.seminar)
- Adapter les structures de données de Vaucanson au concept de kind et à une interface rénovée + (galtier.10.seminar)
- Adapting the data structures of Vaucanson to the concept of kind and a new interface + (galtier.10.seminar)
- Fictious Play + (garcia-ballester.08.seminar)
- Étude du fictitious play dans le cas d'un jeu à fonctions d'utilité identiques + (garcia-ballester.08.seminar)
- Stage de traitement d'image au LRDE + (garrigues.08.seminar)
- Stage de traitement d'image au LRDE + (garrigues.08.seminar)
- Fast Level Line Transform + (garrigues.08.seminar.fllt)
- Transformation des courbes de niveau rapide + (garrigues.08.seminar.fllt)
- Tarjan Union-Find algorithm and connected operators + (garrigues.09.seminar)
- L'algorithme Union-Find de Tarjan et les filtres connectès + (garrigues.09.seminar)
- Brain MRI segmentation using mathematical morphology + (gasnault.21.seminar)
- Segmentation d'IRM du cerveau avec la morphologie mathematique + (gasnault.21.seminar)
- A co-Büching Toolbox + (gbaguidiaisse.17.seminar)
- Un ensemble d'outils de conversion en automate de co-Büchi + (gbaguidiaisse.17.seminar)
- Tester l'appartenance à Persistence ou Récurrence dans Spot + (gbaguidiaisse.18.seminar)
- Deciding Persistence or Recurrence Membership in Spot + (gbaguidiaisse.18.seminar)
- Generic programming redesign of patterns + (geraud.00.europlop)
- Obtaining genericity for image processing and pattern recognition algorithms + (geraud.00.icpr)
- Reconnaissance de structures cérébrales à l'aide d'un atlas et par fusion d'informations structurelles floues + (geraud.00.rfia)
- Applying generic programming to image processing + (geraud.01.ai)
- Color image segmentation based on automatic morphological clustering + (geraud.01.icip)
- Segmentation d'images en couleur par classification morphologique non supervisée + (geraud.01.icisp)
- Document type recognition using evidence theory + (geraud.03.grec)
- Segmentation of curvilinear objects using a watershed-based curve adjacency graph + (geraud.03.ibpria)
- Segmentation d'objets curvilignes à l'aide des champs de Markov sur un graphe d'adjacence de courbes issu de l'algorithme de la ligne de partage des eaux + (geraud.03.icisp)
- Fast Road Network Extraction in Satellite Images using Mathematical Morphology and MRF + (geraud.03.nsip)