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
- Partial order reduction methods for Spot + (parutto.12.seminar)
- Méthodes de réduction par ordre partiel dans Spot + (parutto.12.seminar)
- Adaptive partial order reduction methods + (parutto.13.seminar)
- Méthodes de réduction par ordre partiel adaptatives. + (parutto.13.seminar)
- LTL under reductions with weaker conditions than stutter invariance + (paviot.22.forte)
- ENST-IRCGN System Description + (perrot.06.nist)
- Vcsn Meets Linguistics + (piat.16.seminar)
- Vcsn et la linguistique + (piat.16.seminar)
- K shortest-paths in Vcsn + (piat.16.seminar2)
- K plus courts chemins dans Vcsn + (piat.16.seminar2)
- K shortest-paths in Vcsn + (piat.17.seminar)
- K plus courts chemins dans Vcsn + (piat.17.seminar)
- Formal Definition of the Disambiguation with Attribute Grammars + (pierron.07.seminar)
- Formal Definition of the Disambiguation with Attribute Grammars + (pierron.07.seminar)
- Automatic Attribute Propagation for Modular Attribute Grammars + (pierron.08.seminar)
- Automatic Attribute Propagation for Modular Attribute Grammars + (pierron.08.seminar)
- Finding Short Synchronizing Words + (pietri.14.seminar)
- Recherche de petits mots synchronisants + (pietri.14.seminar)
- Efficient removal of spontaneous transitions in Vcsn + (pietri.15.seminar)
- Suppression efficace de transitions spontanées dans Vcsn + (pietri.15.seminar)
- Random automata and path generation in Vcsn + (pietri.16.seminar)
- Génération aléatoire d'automates et de chemins dans Vcsn + (pietri.16.seminar)
- Combining Parallel Emptiness Checks with Partial Order Reductions + (poitrenaud.19.icfem)
- LTL Model Checking for Communicating Concurrent Programs + (pommellet.20.isse)
- Développement d'une interface graphique pour Vaucanson + (pouchet.04.seminar.gui)
- Développement d'une interface graphique pour Vaucanson + (pouchet.04.seminar.gui)
- An interpreter for Vaucanson + (pouchet.04.seminar.interpreter)
- An interpreter for Vaucanson + (pouchet.04.seminar.interpreter)
- ESDF: A proposal for a more flexible SDF handling + (pouillard.05.sud)
- Dynamization of C++ static libraries + (pouillard.06.seminar)
- Dynamization of C++ static libraries + (pouillard.06.seminar)
- Caractérisation des zones de mouvement périodiques pour applications bio-médicales + (puybareau.17.gretsi)
- Periodic Area-of-Motion characterization for Bio-Medical applications + (puybareau.17.isbi)
- Morphological Analysis of Brownian Motion for Physical Measurements + (puybareau.17.ismm)
- Segmentation of Gliomas and Prediction of Patient Overall Survival: A Simple and Fast Procedure + (puybareau.18.brainles)
- High throughput automated detection of axial malformations in fish embryo + (puybareau.18.fish)
- Real-Time Document Detection in Smartphone Videos + (puybareau.18.icip)
- Segmentation des hyperintensités de la matière blanche en quelques secondes à l'aide d'un réseau de neurones convolutif et de transfert d'apprentissage + (puybareau.18.rfiap)
- Left Atrial Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning + (puybareau.18.stacom)
- High Throughput Automated Detection of Axial Malformations in Medaka Embryo + (puybareau.19.cbm)
- Spherical fluorescent particle segmentation and tracking in 3D confocal microscopy + (puybareau.19.ismm)
- Real-Time Document Detection in Smartphone Videos + (puybareau.2018.icip)
- Speaker recognition evaluation: selective approaches and fusion + (querol.07.seminar)
- Speaker recognition evaluation: selective approaches and fusion + (querol.07.seminar)
- SVM-MLLR for multi-speaker verification systems score fusion + (querol.08.seminar)
- SVM-MLLR et fusion pour la vérification du locuteur + (querol.08.seminar)
- Tools for Attribute Grammars manipulation in Transformers + (queze.07.seminar)
- Tools for Attribute Grammars manipulation in Transformers + (queze.07.seminar)
- C++ Program Slicing with Transformers + (queze.08.seminar)
- Découpage de programme C++ avec Transformers + (queze.08.seminar)
- Transformers: toward the end of the pipeline + (queze.08.seminar.transend)
- Transformers : vers la fin du tunnel + (queze.08.seminar.transend)