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

• 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)
• Loss functions benchmark for brain tumour segmentation  + (rabier.20.seminar)
• Banc d'essai de fonctions de coûts appliquées á la segmentation de tumeurs cérébrales  + (rabier.20.seminar)

• AGAT: Building and Evaluating Binary Partition Trees for Image Segmentation  + (randrianasoa.21.softx)

• Centaur: A generic framework simplifying C++ transformation  + (raud.08.seminar)
• Centaur : Une infrastructure générique simplifiant les transformations de C++  + (raud.08.seminar)
• VizNN: Visual Data Augmentation with Convolutional Neural Networks for Cybersecurity Investigation  + (raymon.21.urai)
• On orthogonal specialization in C++: dealing with efficiency and algebraic abstraction in Vaucanson  + (regisgianas.03.poosc)
• Integration of TChecker in Spot  + (remaud.17.seminar)
• Intégration de TChecker dans Spot  + (remaud.17.seminar)
• Creation of an antichain library  + (remaud.18.seminar)
• Création d'une bibliothèque d'antichaîne  + (remaud.18.seminar)
• State compression in Spot  + (remaud.19.seminar)
• Compression d'états dans Spot  + (remaud.19.seminar)
• Découverte de sous-groupes de prédictions interprétables pour le triage d'incidents  + (remil.22.egc)
• Three SCC-based Emptiness Checks for Generalized Büchi Automata  + (renault.13.lpar)
• Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking  + (renault.13.tacas)
• Contribution aux tests de vacuité pour le model checking explicite  + (renault.14.phd)
• Parallel Explicit Model Checking for Generalized Büchi Automata  + (renault.15.tacas)
• Variations on Parallel Explicit Model Checking for Generalized Büchi Automata  + (renault.16.sttt)
• Improving Parallel State-Space Exploration Using Genetic Algorithms  + (renault.18.vecos)
• Improving swarming using genetic algorithms  + (renault.20.isse)
• Go2Pins: A framework for the LTL verification of Go programs (Extended Version)  + (renault.22.sttt)
• Practical “Paritizing” of Emerson–Lei Automata  + (renkin.20.atva)
• Effective Reductions of Mealy Machines  + (renkin.22.forte)
• Web services at TERAPIX  + (ricou.07.adass)
• 10 years of confrontation between French Internet users and their successive governments  + (ricou.07.eceg)
• A Survey of French Local e-Democracy  + (ricou.08.eceg)
• Evaluation of Anomaly Detection for Cybersecurity Using Inductive Node Embedding with Convolutional Graph Neural Networks  + (rida.21.cn)