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
- Distributed State Space Exploration + (guenezan.19.seminar)
- Exploration d'espace d'état distribué + (guenezan.19.seminar)
- Hate Speech and Toxic Comment Detection using Transformers + (guillaume.22.egc)
- Brain MRI Segmentation using fully convolutional network + (guillet.21.seminar)
- Segmentation d'IRM de cerveau en utilisant un reseau de neurones convolutif + (guillet.21.seminar)
- Writing generic image processing algorithms + (guillot.11.seminar)
- Ecriture d'algorithmes de traitement d'images génériques + (guillot.11.seminar)
- Distribution, approximation and probabilistic model checking + (guirado.05.pdmc)
- Building a quantum perceptron + (habib.21.seminar)
- Construire un perceptron quantique + (habib.21.seminar)
- Parallelism and Indexation in Quickref + (hacquard.19.seminar)
- Parallélisation et Indexation de Quickref + (hacquard.19.seminar)
- A Corpus Processing and Analysis Pipeline for Quickref + (hacquard.21.els)
- Property based class hierarchy of Vaucanson's Algebra module + (hamelin.09.seminar)
- Hiérarchie par propriétés du module Algebra de Vaucanson + (hamelin.09.seminar)
- Towards Vaucanson 2.0 + (hamelin.10.seminar)
- Vers Vaucanson 2.0 + (hamelin.10.seminar)
- Vaucanson 2.0 Internals + (hamelin.11.seminar)
- Mécanique de Vaucanson 2.0 + (hamelin.11.seminar)
- libDMC: a library to Operate Efficient Distributed Model Checking + (hamez.07.pohll)
- Hierarchical Set Decision Diagrams and Automatic Saturation + (hamez.08.atpn)
- Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation + (hamez.09.fi)
- Génération efficace de grands espaces d'états + (hamez.09.phd)
- Blockchain-Based Solution for Detecting and Preventing Fake Check Scams + (hammi.21.ieee)
- Approximate Nash Equilibria for Multi-Player Games + (hemon.08.sagt)
- APMC 3.0: Approximate verification of Discrete and Continuous Time Markov Chains + (herault.06.qest)
- Integration of Morphological Operators in Neural Networks + (hermary.21.seminar)
- Inégration des Opérateurs de la Morphologie Mathématique dans des Réseaux de Neurones + (hermary.21.seminar)
- Learning Grayscale Mathematical Morphology with Smooth Morphological Layers + (hermary.22.jmiv)
- Optimization of an image processing library + (hirtz.18.seminar)
- Optimisation d'une bibliothèque de traitement d'images + (hirtz.18.seminar)
- Scool transformation towards C++ + (hocquet.06.seminar)
- Scool transformation towards C++ + (hocquet.06.seminar)
- revCPP A reversible C++ preprocessor + (hocquet.08.seminar)
- revCPP A reversible C++ preprocessor + (hocquet.08.seminar)
- Binary Partition Tree for Image Processing + (houang.17.seminar)
- L'Arbre de partition binaire pour le traitement d'images + (houang.17.seminar)
- Reimplementation of testing-automata in Spot + (huvelle.19.seminar)
- Réimplémentation des automates testeurs dans Spot + (huvelle.19.seminar)
- Morphology-Based Hierarchical Representation with Application to Text Segmentation in Natural Images + (huynh.16.icpr)
- Morphological Hierarchical Image Decomposition Based on Laplacian 0-Crossings + (huynh.17.ismm)
- Taking into account inclusion and adjacency information in morphological hierarchical representations, with application to the extraction of text in natural images and videos. + (huynh.18.phd)
- Connected Filters on Generalized Shape-Spaces + (huynh.19.prl)
- Methods for Explaining Top-N Recommendations Through Subgroup Discovery + (iferroudjene.22.dami)
- I-Vectors distance learning with Convolutional Neural Networks + (iovene.15.seminar)
- Apprentissage d'une distance entre deux i-vectors via des réseaux de neurones à convolution + (iovene.15.seminar)
- Domain Mismatch Compensation for Text-Independant Speaker Recognition + (iovene.16.seminar)
- Domain Mismatch Compensation for Text-Independant Speaker Recognition + (iovene.16.seminar)
- Time Delay Neural Networks-Based Universal Background Model for Speaker Recognition + (iovene.17.seminar)
- Modèle du monde à base de réseaux de neurones à délai temporel pour la reconnaissance du locuteur + (iovene.17.seminar)
- The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results + (jacobs.17.synt)