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
- 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)
- 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)