Property

Has title

From LRDE

Showing 50 pages using this property.
A
Analyse structurelle haut-niveau de document dans le module Scribo d'Olena  +
Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set  +
Analysis of the Vaucanson project  +
Analysis of the Vaucanson project  +
Anomaly Detection on Static and Dynamic Graphs using Graph Convolutional Neural Networks  +
Applying generic programming to image processing  +
Apprentissage d'Opérations Morphologiques  +
Apprentissage d'une distance entre deux i-vectors via des réseaux de neurones à convolution  +
Approaches in Typecase Optimization  +
Approche fonctionnelle de la généricité du traitement d'image  +
Approche parallèle pour le calcul de l'arbre des formes en n-dimensions  +
Approximate Nash Equilibria for Multi-Player Games  +
Approximate Probabilistic Model Checking for Programs  +
Approximation de la distance entre i-vecteurs par Perceptron Multi-Couches dans les systèmes de reconnaissance du locuteur  +
Aprentissage Actif d'Automates Visiblement á un compteur  +
Arbres de composantes et opérateurs de chaînage  +
Artificial states generation in state spaces using kernel density estimation  +
Artificial states generation in state spaces using kernel density estimation  +
Atlas-guided recognition of cerebral structures in MRI using fusion of fuzzy structural information  +
Attribute Grammars for Modular Disambiguation  +
Attribute grammars for C++ disambiguation  +
Attribute grammars for C++ disambiguation  +
Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness  +
Automata Reduction  +
Automata in Natural Language Processing  +
Automatic Attribute Propagation for Modular Attribute Grammars  +
Automatic Attribute Propagation for Modular Attribute Grammars  +
Automatic Heart Segmentation  +
Automatic detection of text zones on identity documents.  +
Automatic maintenance of exported symbols in Common Lisp packages  +
Automatic segmentation of Cassini's maps  +
Automatic troll farm account detection on Twitter  +
Automatically Guided Selection of a Set of Underwater Calibration Images  +
Automation of Binary Analysis: From Open Source Collection to Threat Intelligence  +
Avancées vers Vaucanson 1.4 et 2.0  +
B
Banc d'essai de fonctions de coûts appliquées á la segmentation de tumeurs cérébrales  +
Beating C in Scientific Computing Applications  +
Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge  +
Benchmarking Keypoint Filtering Approaches for Document Image Matching  +
Benchmarking Vaucanson and large C++ libraries  +
Benchmarking of Partial Order Reduction in Spot  +
Binary Methods Programming: the CLOS Perspective  +
Binary Methods Programming: the CLOS Perspective (extended version)  +
Binary Partition Tree for Image Processing  +
Binding a high-performance C++ image processing library to Python  +
Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them  +
Bisimulation-based Reductions on TGBA  +
Blockchain-Based Solution for Detecting and Preventing Fake Check Scams  +
Boltzmann Machine in speaker verification  +
Booster la généricité de Vaucanson  +