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

• 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)
• Intégration de la Morphologie Mathématique dans les Réseaux Neuronaux Profonds  + (kirszenberg.19.seminar)
• Learning Morphological Operations  + (kirszenberg.20.seminar)
• Apprentissage d'Opérations Morphologiques  + (kirszenberg.20.seminar)
• Going beyond p-convolutions to learn grayscale morphological operators  + (kirszenberg.21.dgmm)
• Go2Pins: A Framework for the LTL Verification of Go Programs  + (kirszenberg.21.spin)
• Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge  + (kuijf.19.tmi)
• Probabilistic abstraction for model checking: an approach based on property testing  + (laplante.07.tocl)
• Probabilistic verification and approximation  + (lassaigne.05.wollic)
• Boosting Vaucanson  + (lazzara.07.seminar)
• Boosting Vaucanson  + (lazzara.07.seminar)

• Booster la généricité de Vaucanson  + (lazzara.08.seminar)
• Boosting Vaucanson's genericity  + (lazzara.08.seminar)

• The SCRIBO Module of the Olena Platform: a Free Software Framework for Document Image Analysis  + (lazzara.11.icdar)
• Efficient Multiscale Sauvola's Binarization  + (lazzara.13.ijdar)
• Resources for the DAS 2014 submission  + (lazzara.14.das)
• PaInleSS: a Framework for Parallel SAT Solving  + (le-frioux.17.sat)
• Towards more efficient parallel SAT solving  + (le-frioux.19.phd)
• Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework  + (le-frioux.19.tacas)
• On the security of quantum networks: a proposal framework and its capacity  + (le-quoc.07.ntms)
• Stochastic routing in large grid-shaped quantum networks  + (le-quoc.07.rivf)
• Towards the World-Wide Quantum Network  + (le-quoc.08.ispec)
• Efficient algorithmic methods for Nash equilibria computation  + (leblanc.07.seminar)
• Efficient algorithmic methods for Nash equilibria computation  + (leblanc.07.seminar)
• Alternate Fictitious Play study and implementation  + (leblanc.08.seminar)
• Étude et implémentation du Fictitious Play alterné  + (leblanc.08.seminar)
• Efficiency comparison between Fictitious Play and Alternate Fictitious Play algorithms on the restricted set of zero-sum games  + (leblanc.08.seminar.comparison)
• Comparaison entre le Fictitious Play et le Fictitious Play Alterné dans le cadre des jeux à somme nulle  + (leblanc.08.seminar.comparison)
• Unified texture management for arbitrary meshes  + (lefebvre.04.tr)
• Translation of an extended LTL into TBGA in Spot  + (lefortier.08.seminar)
• Traduction d'une LTL étendue en TGBA dans Spot  + (lefortier.08.seminar)
• Translation of an extended LTL into TBGA in Spot  + (lefortier.09.seminar)
• Traduction d'une LTL étendue en TGBA dans Spot  + (lefortier.09.seminar)
• A new translation from LTL into TGBA in Spot  + (lefortier.10.seminar)
• Nouvelle traduction de LTL en TGBA dans Spot  + (lefortier.10.seminar)
• Generalized Linear Discriminant Sequence for Speaker Verification  + (legrand.08.seminar)
• Système de discriminants linéaires pour la vérification du locuteur  + (legrand.08.seminar)