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

• Uniform Random Sampling of Traces in Very Large Models  + (denise.06.rt)
• CLIMB: A Dynamic Approach To Generic Image Processing  + (denuziere.09.seminar)
• CLIMB: Une approche dynamique du traitement générique d'images  + (denuziere.09.seminar)
• Property-Based Genericity: A Dynamic Approach  + (denuziere.10.seminar)
• La généricité par propriétés  + (denuziere.10.seminar)
• Designing the user interface for a Common Lisp generic library  + (denuziere.11.seminar)
• Concevoir l'interface d'une bibliothèque générique en Common Lisp  + (denuziere.11.seminar)
• C++ Transformations panorama  + (despres.04.seminar)
• C++ Transformations panorama  + (despres.04.seminar)
• Regression benchmarking  + (despres.05.seminar)
• Regression benchmarking  + (despres.05.seminar)
• Supervised Discrimination of Characters on Images  + (deutsch.16.seminar)
• Discrimination supervisé de caractères sur des images  + (deutsch.16.seminar)
• Trie-based Output Itemset Sampling  + (diop.22.ieeebigdata)
• NixOS: A purely functional Linux distribution  + (dolstra.10.jfp)
• Adaptation of the watershed cuts algorithm to cellular complexes  + (dore.15.seminar)
• Adaptation de l'algorithme de watershed cuts aux complexes cellulaires  + (dore.15.seminar)
• Extraction of Ancient Map Contents Using Trees of Connected Components  + (drapeau.17.grec)
• 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)