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
- Expression templates in Ada 95 + (duret.01.ae)
- Generic design patterns in C++ + (duret.01.coots)
- On-the-fly Emptiness Check of Transition-based Streett Automata + (duret.09.atva)
- Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking + (duret.11.arxiv)
- Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking + (duret.11.atva)
- Building LTL Model Checkers using Transition-based Generalized Büchi Automata + (duret.11.sumo)
- LTL Translation Improvements in Spot + (duret.11.vecos)
- Manipulating LTL formulas using Spot 1.0 + (duret.13.atva)
- LTL Translation Improvements in Spot 1.0 + (duret.14.ijccbs)
- Heuristics for Checking Liveness Properties with Partial Order Reductions + (duret.16.atva)
- Spot 2.0 — a framework for LTL and ω-automata manipulation + (duret.16.atva2)
- Contributions to LTL and ω-Automata for Model Checking + (duret.17.hdr)
- From Spot 2.0 to Spot 2.10: What's New? + (duret.22.cav)
- Semantics driven disambiguation + (durlin.07.seminar)
- Semantics driven disambiguation + (durlin.07.seminar)
- Semantics driven disambiguation: A comparison of different approaches + (durlin.08.seminar)
- Semantics driven disambiguation: A comparison of different approaches + (durlin.08.seminar)
- Energy Problems in Finite and Timed Automata with Büchi Conditions + (dziadek.23.fm)
- New Security Protocols for Offline Point-of-Sale Machines + (el-madhoun.22.aina)
- A Secure Blockchain-Based Architecture for the COVID-19 Data Network + (el-madhoune.21.csnet)
- High-level Document Structure Analysis in the Olena Scribo Module + (escobar.13.seminar)
- Analyse structurelle haut-niveau de document dans le module Scribo d'Olena + (escobar.13.seminar)
- Debug Packages in OpenBSD + (espie.21.eurocon)
- Estimating the noise level function with the tree of shapes and non-parametric statistics + (esteban.19.caip)
- Estimation du niveau de bruit par arbre des formes et statistiques non paramétriques + (esteban.19.gretsi)
- Estimation of the noise level function in natural images using the tree of shapes + (esteban.19.seminar)
- Estimation de la fonction de niveau de bruit dans des images naturelles en utilisant l'arbre des formes + (esteban.19.seminar)
- Estimation of the Noise Level Function in Multivariate Images using the Tree of Shapes and non-parametric statistics + (esteban.20.seminar)
- Estimation de la fonction de niveau de bruit dans des images multivariées en utilisant l'arbre des formes et des statistiques non-paramétriques + (esteban.20.seminar)
- The Cost of Dynamism in Static Languages for Image Processing + (esteban.22.gpce)
- Estimation de la fonction de niveau de bruit pour des images couleurs en utilisant la morphologie mathématique + (esteban.22.gretsi.1)
- Généricité dynamique pour des algorithmes morphologiques + (esteban.22.gretsi.2)
- Estimation of the noise level function for color images using mathematical morphology and non-parametric statistics + (esteban.22.icpr)
- Learning Sentinel-2 Spectral Dynamics for Long-Run Predictions Using Residual Neural Networks + (estopinan.21.eusipco)
- An asynchronous architecture to manage communicationdisplay, and user interaction in distributed virtual environments + (fabre.00.egve)
- Urbi et Orbi: unusual design and implementation choices for distributed virtual environments + (fabre.00.vsmm)
- A framework to dynamically manage distributed virtual environments + (fabre.00.vw)
- Motion compensation based on Tangent Distance prediction for video compression + (fabrizio.12.spic)
- Text detection in street level image + (fabrizio.13.paa)
- A precise skew estimation algorithm for document images using KNN clustering and Fourier transform + (fabrizio.14.icip)
- TextCatcher: A method to detect curved and challenging text in natural scenes + (fabrizio.16.ijdar)
- Verifying Properties on a Program Using Static Analysis and Model Checking + (fages.20.seminar)
- 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)
- Adapting the data structures of Vaucanson to the concept of kind and a new interface + (galtier.10.seminar)
- Adapter les structures de données de Vaucanson au concept de kind et à une interface rénovée + (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)
- Fast color image segmentation based on levellings in feature Space + (geraud.04.iccvg)
- Fast road network extraction in satellite images using mathematical morphology and Markov random fields + (geraud.04.jasp)
- Ruminations on Tarjan's Union-Find algorithm and connected operators + (geraud.05.ismm)
- Semantics-Driven Genericity: A Sequel to the Static C++ Object-Oriented Programming Paradigm (SCOOP 2) + (geraud.08.mpool)
- Algorithms for Mathematical Morphology + (geraud.10.book)
- Morphologie et algorithmes + (geraud.10.livre)
- Outil logiciel pour le traitement d'images: Bibliothèque, paradigmes, types et algorithmes + (geraud.12.hdr)