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
- 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)
- Les relations synchrones dans Vaucanson + (lesaint.08.seminar.syncrelations)
- Inverse Video extraction in Scribo + (levi.11.seminar)
- Extraction de l'inverse video dans SCRIBO. + (levi.11.seminar)
- Fast structure preserving inpainting + (levi.12.seminar)
- Inpainting rapide préservant la structure + (levi.12.seminar)
- Variational image inpainting by combination of features + (levi.13.seminar)
- Inpainting variationnel par combinaison d'invariants + (levi.13.seminar)
- Olena Project poster + (levillain.05.olenaposter)
- Tiger Project poster + (levillain.05.tigerposter)