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
- Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC + (duflot.04.avocs)
- Practical Application of Probabilistic Model Checking to Communication Protocols + (duflot.06.book)
- Stage de traitement d'image au LRDE + (duhamel.08.seminar)
- Stage de traitement d'image au LRDE + (duhamel.08.seminar)
- Discovering and Visualizing Tactics in Table Tennis Games Based on Subgroup Discovery + (duluard.22.mlsa)
- Olena: a component-based platform for image processingmixing generic, generative and OO programming + (duret.00.gcse)
- 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)