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

• 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)

• Apprentissage d'une distance entre deux i-vectors via des réseaux de neurones à convolution  + (iovene.15.seminar)
• I-Vectors distance learning with Convolutional Neural Networks  + (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)
• Canvas in Morphological Algorithms  + (jardonnet.07.seminar)
• Canvas in Morphological Algorithms  + (jardonnet.07.seminar)
• Fast Image Registration  + (jardonnet.08.seminar)
• Recalage d'images rapide  + (jardonnet.08.seminar)
• Image reconstruction  + (jardonnet.09.seminar)
• Reconstruction d'image  + (jardonnet.09.seminar)
• Improving the Quality of Rule-Based GNN Explanations  + (kamal.22.xkdd)
• The Role of Speaker Factors in the NIST Extended Data Task  + (kenny.08.odyssey)
• Towards Better Heuristics for Solving Bounded Model Checking Problems  + (kheireddine.21.cp)
• Tuning SAT Solvers for LTL Model Checking  + (kheireddine.22.apsec)
• Towards Better Heuristics for Solving Bounded Model Checking Problems  + (kheireddine.22.constraints)
• Automatic Heart Segmentation  + (khoudli.18.seminar)
• Segmentation automatique du coeur  + (khoudli.18.seminar)
• Mathematical morphology and deep convolutional neural networks  + (khoudli.19.seminar)
• Morphologie mathématique et réseaux convolutionnels profonds  + (khoudli.19.seminar)
• PAIP 2019: Liver Cancer Segmentation Challenge  + (kim.20.media)
• go2pins: A model checking toolset for the Go programming language  + (kirszenberg.18.seminar)
• go2pins: vérification de modèles pour le langage de programmation Go  + (kirszenberg.18.seminar)
• Integrating Mathematical Morphology within Deep Convolutional Neural Networks  + (kirszenberg.19.seminar)