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
- Practical Stutter-Invariance Checks for ω-Regular Languages + (Thibaud Michaud)
- Multi-band segmentation using morphological clustering and fusion application to color image segmentation + (Heru Xue)
- Papers about Vaucanson + (Akim Demaille)
- Model checking with generalized Rabin and Fin-less automata + (Vincent Bloemen)
- Jobs/M2 2017 MC Spot demo + (Alexandre Duret-Lutz)
- Jobs/PHD 2019 omegalgo + (Alexandre Duret-Lutz)
- Jobs/PHD 2019 omegaGPU + (Étienne Renault)
- Generic Emptiness Check for Fun and Profit + (Christel Baier)
- Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization + (František Blahoudek)
- Practical “Paritizing” of Emerson–Lei Automata + (Florian Renkin)
- Practical Applications of the Alternating Cycle Decomposition + (Antonio Casares)
- Effective Reductions of Mealy Machines + (Florian Renkin)
- A co-Büching Toolbox + (Alexandre Gbaguidi Aïsse)
- Deciding Persistence or Recurrence Membership in Spot + (Alexandre Gbaguidi Aïsse)
- Tester l'appartenance à Persistence ou Récurrence dans Spot + (Alexandre Gbaguidi Aïsse)
- Un ensemble d'outils de conversion en automate de co-Büchi + (Alexandre Gbaguidi Aïsse)
- From Spot 2.0 to Spot 2.10: What's New? + (Alexandre Duret-Lutz)
- People/Alexandre Hamez + (Alexandre Hamez)
- Hierarchical Set Decision Diagrams and Automatic Saturation + (Alexandre Hamez)
- Génération efficace de grands espaces d'états + (Alexandre Hamez)
- libDMC: a library to Operate Efficient Distributed Model Checking + (Alexandre Hamez)
- Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation + (Alexandre Hamez)
- go2pins: vérification de modèles pour le langage de programmation Go + (Alexandre Kirszenberg)
- go2pins: A model checking toolset for the Go programming language + (Alexandre Kirszenberg)
- Integrating Mathematical Morphology within Deep Convolutional Neural Networks + (Alexandre Kirszenberg)
- Intégration de la Morphologie Mathématique dans les Réseaux Neuronaux Profonds + (Alexandre Kirszenberg)
- Learning Morphological Operations + (Alexandre Kirszenberg)
- Apprentissage d'Opérations Morphologiques + (Alexandre Kirszenberg)
- Going beyond p-convolutions to learn grayscale morphological operators + (Alexandre Kirszenberg)
- Go2Pins: A Framework for the LTL Verification of Go Programs + (Alexandre Kirszenberg)
- VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images + (Anjany Sekuboyina)
- Learning Grayscale Mathematical Morphology with Smooth Morphological Layers + (Romain Hermary)
- Go2Pins: A framework for the LTL verification of Go programs (Extended Version) + (Etienne Renault)
- People/Alexandre Lewkowicz + (Alexandre Lewkowicz)
- Spot 2.0 — a framework for LTL and ω-automata manipulation + (Alexandre Duret-Lutz)
- Un Feedback Arc Set pour Spot + (Alexandre Lewkowicz)
- An efficient implementation of transition-based generalized Büchi automaton determinization + (Alexandre Lewkowicz)
- Améliorer la determinisation d'automates de Büchi + (Alexandre Lewkowicz)
- Une implementation efficace de déterminisation d'automates de Büchi généralisés à transitions acceptantes + (Alexandre Lewkowicz)
- A Feedback Arc Set for Spot + (Alexandre Lewkowicz)
- Improving the determinization of Büchi automata + (Alexandre Lewkowicz)
- People/Alexis Angelidis + (Alexis Angelidis)
- Visualization issues in virtual environments: from computer graphics techniques to intentional visualization + (Alexis Angelidis)
- QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results + (Raghav Mehta)
- Parallel Model Checking Algorithms for Linear-Time Temporal Logic + (Jiri Barnat)
- People/Alfred M. Szmidt + (Alfred M. Szmidt)
- Méthode d'évaluation d'évaluateur d'algorithme de détection de texte + (Aliona Dangla)
- Intégration d'histogrammes dans l'algorithme NL-Mean pour le débruitage d'images + (Aliona Dangla)
- Evaluation method of text detection algorithm rating + (Aliona Dangla)
- Integration of histograms in the NL-Mean algorithm for image denoising. + (Aliona Dangla)
- A first step toward a fair comparison of evaluation protocols for text detection algorithms + (Aliona Dangla)
- Olena Publications + (Edwin Carlinet)
- A translational pathway of deep learning methods in Gastro-Intestinal Endoscopy + (Sharib Ali)
- Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy + (Sharib Ali)
- A Secure Blockchain-Based Architecture for the COVID-19 Data Network + (Darine Al-Mohtar)
- Alternating automata support + (Amaury Fauchille)
- Le support des automates alternants + (Amaury Fauchille)
- Learning Diversity Attributes in Multi-Session Recommendations + (Nassim Bouarour)
- People/Amilcar Baptista + (Amilcar Baptista)
- Metric Learning using a Siamese Deep Neural Network + (Anatole Moreau)
- Calcul de distance par un rśeau de neurones profond siamois + (Anatole Moreau)
- Object tracking by hierarchical decomposition of hyperspectral video sequences: Application to chemical gas plume tracking + (Guillaume Tochon)
- A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging + (Zhaohan Xiong)
- NixOS: A purely functional Linux distribution + (Eelco Dolstra)
- Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge + (Li Wang)
- Découverte de sous-groupes de prédictions interprétables pour le triage d'incidents + (Youcef Remil)
- Towards Better Heuristics for Solving Bounded Model Checking Problems + (Anissa Kheireddine)
- Towards Better Heuristics for Solving Bounded Model Checking Problems + (Anissa Kheireddine)
- Tuning SAT Solvers for LTL Model Checking + (Anissa Kheireddine)
- Image processing for plots detection from ancient maps + (Anne-Claire Berthet)
- Automatic segmentation of Cassini's maps + (Anne-Claire Berthet)
- Traitement d'images de cartes anciennes pour la détection de parcelles + (Anne-Claire Berthet)
- Automatic detection of text zones on identity documents. + (Anne-Claire Berthet)
- Découpage automatique des cartes de Cassini + (Anne-Claire Berthet)
- Détection automatique de zones de textes sur des pièces d'identité + (Anne-Claire Berthet)
- Effective Component Tree Computation with Application to Pattern Recognition in Astronomical Imaging + (Christophe Berger)
- Project EFIGI: Automatic classification of galaxies + (Anthony Baillard)
- Algorithme de calcul de l'arbre des composantes avec applications à la reconnaissance des formes en imagerie satellitaire + (Anthony Baillard)
- Web services at TERAPIX + (Olivier Ricou)
- People/Anthony Pinagot + (Anthony Pinagot)
- People/Anthony Seure + (Anthony Seure)
- Logotypes detection and other characteristic invariants + (Anthony Seure)
- Détection de logotypes et autres invariants caractéristiques + (Anthony Seure)
- Logotypes detection and other characteristics invariants using SIFT descriptors + (Anthony Seure)
- Détection de logotypes et autres invariants caractéristiques à l'aide de descripteurs SIFT + (Anthony Seure)
- Improving OCR k-NN classifier's training set + (Anthony Seure)
- Amélioration de la base d'entraînement d'un classifieur k-nn d'OCR + (Anthony Seure)
- Parallelism and Indexation in Quickref + (Antoine Hacquard)
- Parallélisation et Indexation de Quickref + (Antoine Hacquard)
- A Corpus Processing and Analysis Pipeline for Quickref + (Antoine Hacquard)
- Past People + (Yann Jacquelet)
- People/Antoine Leblanc + (Antoine Leblanc)
- Efficient algorithmic methods for Nash equilibria computation + (Antoine Leblanc)
- Alternate Fictitious Play study and implementation + (Antoine Leblanc)
- Étude et implémentation du Fictitious Play alterné + (Antoine Leblanc)
- Efficiency comparison between Fictitious Play and Alternate Fictitious Play algorithms on the restricted set of zero-sum games + (Antoine Leblanc)
- Efficient algorithmic methods for Nash equilibria computation + (Antoine Leblanc)
- Comparaison entre le Fictitious Play et le Fictitious Play Alterné dans le cadre des jeux à somme nulle + (Antoine Leblanc)
- Système de discriminants linéaires pour la vérification du locuteur + (Antoine Legrand)
- Generalized Linear Discriminant Sequence for Speaker Verification + (Antoine Legrand)
- Exploring various implementations for goroutines support in go2pins + (Antoine Martin)
- Comment implémenter le support des goroutines dans go2pins + (Antoine Martin)
- People/Antoine Pietri + (Antoine Pietri)
- Suppression efficace de transitions spontanées dans Vcsn + (Antoine Pietri)
- Génération aléatoire d'automates et de chemins dans Vcsn + (Antoine Pietri)
- Random automata and path generation in Vcsn + (Antoine Pietri)
- Efficient removal of spontaneous transitions in Vcsn + (Antoine Pietri)
- Recherche de petits mots synchronisants + (Antoine Pietri)
- Finding Short Synchronizing Words + (Antoine Pietri)
- Modelling and Identifying Troll Farm Accounts on Twitter + (Antoine Sainson)
- Modélisation et Identification des Troll Farmers sur Twitter + (Antoine Sainson)
- Detecting Botnets Behaviors over Network Flows using Hidden Markov Models + (Antoine Sainson)
- Détection des comportements de botnets au travers d'un flux en réseau en utilisant des modèles de Markov cachés + (Antoine Sainson)
- Experimental digital Gabor hologram rendering of C. elegans worms by a model-trained convolutional neural network (Conference Presentation) + (Michael Atlan)
- Practical Applications of the Alternating Cycle Decomposition + (Antonio Casares)
- People/Arnaud Flutre + (Arnaud Flutre)
- Trie-based Output Itemset Sampling + (Lamine Diop)
- The SCRIBO Module of the Olena Platform: a Free Software Framework for Document Image Analysis + (Guillaume Lazzara)
- Création d'une bibliothèque d'antichaîne + (Arthur Remaud)
- Creation of an antichain library + (Arthur Remaud)
- Intégration de TChecker dans Spot + (Arthur Remaud)
- Integration of TChecker in Spot + (Arthur Remaud)
- State compression in Spot + (Arthur Remaud)
- Compression d'états dans Spot + (Arthur Remaud)
- Olena/Paradigm2003 + (Sylvain Berlemont)
- Olena/RoadMap + (David Lesage)
- People/Astrid Wang + (Astrid Wang)
- Qu'est-ce que mon GNN capture vraiment ? Exploration des représentations internes d'un GNN + (Luca Veyrin-Forrer)
- What Does my GNN Really Capture? On Exploring Internal GNN Representations + (Luca Veyrin-Forrer)
- On GNN Explainability with Activation Rules + (Luca Veyrin-Forrer)
- In Pursuit of the Hidden Features of GNN's Internal Representations + (Luca Veyrin-Forrer)
- Improving the Quality of Rule-Based GNN Explanations + (Ataollah Kamal)
- Methods for Explaining Top-N Recommendations Through Subgroup Discovery + (Mouloud Iferroudjene)
- Featured Games + (Uli Fahrenberg)
- Active Learning on Visibly One Counter Systems + (Aymeric FAGES)
- Aprentissage Actif d'Automates Visiblement á un compteur + (Aymeric FAGES)
- Verifying Properties on a Program Using Static Analysis and Model Checking + (Aymeric Fages)
- Verification de proprietes sur un programme en utilisant de l'analyse statique et de la verification de modele + (Aymeric Fages)
- The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results + (Swen Jacobs)