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 + (Alain Denise)
- QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results + (Raghav Mehta)
- People/Alban Linard + (Alban Linard)
- Sémantique paramétrable des Diagrammes de Décision : une démarche vers l'unification + (Alban Linard)
- polyDD: Towards a Framework Generalizing Decision Diagrams + (Alban Linard)
- Introduction to the Special Issue on Distributed Hybrid Systems + (Alessandro Abate)
- Spherical fluorescent particle segmentation and tracking in 3D confocal microscopy + (Élodie Puybareau)
- A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging + (Zhaohan Xiong)
- A Challenging Issue: Detection of White Matter Hyperintensities in Neonatal Brain MRI + (Baptiste Morel)
- The Challenge of Cerebral Magnetic Resonance Imaging in Neonates: A New Method using Mathematical Morphology for the Segmentation of Structures Including Diffuse Excessive High Signal Intensities + (Yongchao Xu)
- People/Alex Hamelin + (Alex Hamelin)
- Hiérarchie par propriétés du module Algebra de Vaucanson + (Alex Hamelin)
- Vers Vaucanson 2.0 + (Alex Hamelin)
- Mécanique de Vaucanson 2.0 + (Alex Hamelin)
- Vaucanson 2.0 Internals + (Alex Hamelin)
- Towards Vaucanson 2.0 + (Alex Hamelin)
- Property based class hierarchy of Vaucanson's Algebra module + (Alex Hamelin)
- Papers about Vaucanson + (Akim Demaille)
- VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images + (Anjany Sekuboyina)
- Past People + (Yann Jacquelet)
- People/Alexandre Abraham + (Alexandre Abraham)
- Ligne de partage des eaux topologique + (Alexandre Abraham)
- ConceptC++ study and possible integration in SCOOP + (Alexandre Abraham)
- Topological Watershed + (Alexandre Abraham)
- Morphologie sur images couleur + (Alexandre Abraham)
- Morphology on color images + (Alexandre Abraham)
- Etude de ConceptC++ et possible intégration dans SCOOP + (Alexandre Abraham)
- Olena Publications + (Edwin Carlinet)
- C-Transformers — A Framework to Write C Program Transformations + (Alexandre Borghi)
- Implementing attributes in SDF + (Alexandre Borghi)
- Parsing with Transformers + (Alexandre Borghi)
- Parsing with Transformers + (Alexandre Borghi)
- Past People + (Alexandre Borghi)
- People/Alexandre Borghi + (Alexandre Borghi)
- Past People + (Yann Jacquelet)
- People/Alexandre Duret-Lutz + (Alexandre Duret-Lutz)
- Jobs/M2 ADL 2015 General Acceptance Condition + (Alexandre Duret-Lutz)
- Jobs/M2 2015 ADL SAT-based Minimization + (Alexandre Duret-Lutz)
- Jobs/M2 2015 ADL Python Interfaces for Spot + (Alexandre Duret-Lutz)
- Jobs/ENGI ADL 2015 Spot Traduction de formules de logique temporelle en automates + (Alexandre Duret-Lutz)
- Jobs/M2 2017 MC Spot Generic Acc + (Alexandre Duret-Lutz)
- Symbolic Model Checking of Stutter Invariant Properties Using Generalized Testing Automata + (Ala Eddine Ben Salem)
- Generalized Büchi Automata versus Testing Automata for Model Checking + (Ala Eddine Ben Salem)
- Parallel Model Checking Algorithms for Linear-Time Temporal Logic + (Jiri Barnat)
- Compositional Approach to Suspension and Other Improvements to LTL Translation + (Tomáš Babiak)
- Is There a Best Büchi Automaton for Explicit Model Checking? + (František Blahoudek)
- Mechanizing the Minimization of Deterministic Generalized Büchi Automata + (Souheib Baarir)
- Seminator: A Tool for Semi-Determinization of Omega-Automata + (František Blahoudek)
- A static C++ object-oriented programming (SCOOP) paradigm mixing benefits of traditional OOP and generic programming + (Nicolas Burrus)
- Une bibliothèque et un environnement de programmation d'opérateurs de traitement d'images + (Régis Clouard)
- Implementation Concepts in Vaucanson 2 + (Akim Demaille)
- An XML format proposal for the description of weighted automata, transducers, and regular expressions + (Akim Demaille)
- Explicit State Model Checking with Generalized Büchi and Rabin Automata + (Vincent Bloemen)
- The Hanoi Omega-Automata Format + (Tomáš Babiak)
- Obtaining genericity for image processing and pattern recognition algorithms + (Thierry Géraud)
- Building LTL Model Checkers using Transition-based Generalized Büchi Automata + (Alexandre Duret-Lutz)