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

• Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata  + (droste.22.iandc)
• Estimating the Number of Endmembers to Use in Spectral Unmixing of Hyperspectral Data with Collaborative Sparsity  + (drumetz.17.lva-ica)
• Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model Formulation  + (drumetz.20.icassp)
• Fast simulation based reduction for ω-automaton  + (dubois.21.seminar)
• Réduction basée sur des simulations d'ω-automates  + (dubois.21.seminar)
• Fast reductions for ω-automaton  + (dubois.22.seminar)
• Réduction efficace d'ω-automate  + (dubois.22.seminar)
• A Self-Adaptive Likelihood Function for Tracking with Particle Filter  + (dubuisson.15.visapp)
• 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)