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
- 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)
- Boosting Vaucanson's genericity + (lazzara.08.seminar)
- Booster la généricité de Vaucanson + (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)
- Voice Activity Detection + (lenoir.11.seminar)
- Détection de voix + (lenoir.11.seminar)
- Speaker Diarization + (lenoir.12.seminar)
- Séparation de locuteur + (lenoir.12.seminar)
- Label-Efficient Self-Supervised Speaker Verification With Information Maximization and Contrastive Learning + (lepage.22.interspeech)
- Synchronized Tranducers + (leroi.08.seminar)
- Transducteurs synchronisés + (leroi.08.seminar)
- An Efficient Algorithm for Connected Attribute Thinnings and Thickenings + (lesage.06.isvc)
- XML Proposal and its Application in Vaucanson + (lesaint.07.seminar)
- XML Proposal and its Application in Vaucanson + (lesaint.07.seminar)
- FSMXML and its application in Vaucanson + (lesaint.08.seminar)
- FSMXML et son utilisation dans Vaucanson + (lesaint.08.seminar)
- Synchronous relations in Vaucanson + (lesaint.08.seminar.syncrelations)