Property

Has bibtex id

From LRDE

Text

previous 1002050100250500next 100
Showing 100 pages using this property.
A
Analyse structurelle haut-niveau de document dans le module Scribo d'Olena +
escobar.13.seminar  +
Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set +
newton.17.dtd.report  +
Analysis of the Vaucanson project +
claveirole.04.seminar.analysis  +
Analysis of the Vaucanson project +
claveirole.04.seminar.analysis  +
Anomaly Detection on Static and Dynamic Graphs using Graph Convolutional Neural Networks +
rida.22.raccisc  +
Applying generic programming to image processing +
geraud.01.ai  +
Apprentissage d'Opérations Morphologiques +
kirszenberg.20.seminar  +
Apprentissage d'une distance entre deux i-vectors via des réseaux de neurones à convolution +
iovene.15.seminar  +
Approaches in Typecase Optimization +
newton.18.els  +
Approche fonctionnelle de la généricité du traitement d'image +
chedeau.10.seminar  +
Approche parallèle pour le calcul de l'arbre des formes en n-dimensions +
crozet.12.seminar  +
Approximate Nash Equilibria for Multi-Player Games +
hemon.08.sagt  +
Approximate Probabilistic Model Checking for Programs +
darbon.06.iccp  +
Approximation de la distance entre i-vecteurs par Perceptron Multi-Couches dans les systèmes de reconnaissance du locuteur +
yeh.13.seminar  +
Aprentissage Actif d'Automates Visiblement á un compteur +
fages.21.seminar  +
Arbres de composantes et opérateurs de chaînage +
chedeau.11.seminar  +
Artificial states generation in state spaces using kernel density estimation +
carvalho.19.seminar  +
Artificial states generation in state spaces using kernel density estimation +
carvalho.19.seminar  +
Atlas-guided recognition of cerebral structures in MRI using fusion of fuzzy structural information +
geraud.99.cimaf  +
Attribute Grammars for Modular Disambiguation +
david.06.iccp  +
Attribute grammars for C++ disambiguation +
david.04.seminar  +
Attribute grammars for C++ disambiguation +
david.04.seminar  +
Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness +
rusinol.17.mtap  +
Automata Reduction +
delmon.08.seminar.reduce  +
Automata in Natural Language Processing +
ma.09.seminar  +
Automatic Attribute Propagation for Modular Attribute Grammars +
pierron.08.seminar  +
Automatic Attribute Propagation for Modular Attribute Grammars +
pierron.08.seminar  +
Automatic Heart Segmentation +
khoudli.18.seminar  +
Automatic detection of text zones on identity documents. +
berthet.17.seminar  +
Automatic maintenance of exported symbols in Common Lisp packages +
vermorel.13.seminar  +
Automatic segmentation of Cassini's maps +
berthet.16.seminar  +
Automatic troll farm account detection on Twitter +
linsenmaier.19.seminar  +
Automatically Guided Selection of a Set of Underwater Calibration Images +
beaudoin.22.jmse  +
Automation of Binary Analysis: From Open Source Collection to Threat Intelligence +
grelot.21.cesar  +
Avancées vers Vaucanson 1.4 et 2.0 +
fiette.11.seminar  +
B
Banc d'essai de fonctions de coûts appliquées á la segmentation de tumeurs cérébrales +
rabier.20.seminar  +
Beating C in Scientific Computing Applications +
verna.06.ecoop  +
Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge +
wang.19.tmi  +
Benchmarking Keypoint Filtering Approaches for Document Image Matching +
royer.17.icdar  +
Benchmarking Vaucanson and large C++ libraries +
d-halluin.09.seminar  +
Benchmarking of Partial Order Reduction in Spot +
tourneur.19.seminar  +
Binary Methods Programming: the CLOS Perspective +
verna.08.els  +
Binary Methods Programming: the CLOS Perspective (extended version) +
verna.08.jucs  +
Binary Partition Tree for Image Processing +
houang.17.seminar  +
Binding a high-performance C++ image processing library to Python +
gossec.19.seminar  +
Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them +
verna.11.onward  +
Bisimulation-based Reductions on TGBA +
badie.11.seminar  +
Blockchain-Based Solution for Detecting and Preventing Fake Check Scams +
hammi.21.ieee  +
Boltzmann Machine in speaker verification +
bounthong.13.seminar  +
Booster la généricité de Vaucanson +
lazzara.08.seminar  +
Booster les itérateurs de Vaucanson +
ma.08.seminar  +
Boosting Vaucanson +
lazzara.07.seminar  +
Boosting Vaucanson +
lazzara.07.seminar  +
Boosting Vaucanson's Iterator +
ma.08.seminar  +
Boosting Vaucanson's genericity +
lazzara.08.seminar  +
Bottleneck neural networks for Speaker Recognition +
daval-frerot.16.seminar  +
Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images +
tochon.19.pr  +
Brain MRI Segmentation using fully convolutional network +
guillet.21.seminar  +
Brain MRI segmentation using mathematical morphology +
gasnault.21.seminar  +
Brain Tumor Segmentation with deep convolutional network approach +
buatois.19.seminar  +
Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation +
hamez.09.fi  +
Building LTL Model Checkers using Transition-based Generalized Büchi Automata +
duret.11.sumo  +
Building a quantum perceptron +
habib.21.seminar  +
Building an interface for and with Climb +
senta.12.seminar  +
C
C++ Program Slicing with Transformers +
queze.08.seminar  +
C++ Transformations panorama +
despres.04.seminar  +
C++ Transformations panorama +
despres.04.seminar  +
C++ container library with the SCOOP paradigm +
moulard.07.seminar  +
C++ container library with the SCOOP paradigm +
moulard.07.seminar  +
C++ template disambiguation with Transformers Attribute Grammars +
seine.08.seminar  +
C++ type-checking: A study of existing solutions +
roussel.04.seminar2  +
C++ type-checking: A study of existing solutions +
roussel.04.seminar2  +
C-Transformers — A Framework to Write C Program Transformations +
borghi.06.crossroads  +
C/C++ Disambiguation Using Attribute Grammars +
david.05.sud  +
CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving +
metin.18.tacas  +
CLIMB: A Dynamic Approach To Generic Image Processing +
denuziere.09.seminar  +
CLIMB: Une approche dynamique du traitement générique d'images +
denuziere.09.seminar  +
CLOS Efficiency: Instantiation +
verna.09.ilc  +
CLOS solutions to binary methods +
verna.07.imecs  +
CLoX: Common Lisp objects for XEmacs +
verna.10.els  +
Calcul de distance par un rśeau de neurones profond siamois +
moreau.16.seminar  +
Calcul du Complexe de Morse-Smale à l'aide de coupe de ligne de partage des eaux +
collette.17.seminar  +
Calcul du flux optique dans des séquences avec des parties manquantes +
lobry.13.seminar  +
Canvas in Morphological Algorithms +
jardonnet.07.seminar  +
Canvas in Morphological Algorithms +
jardonnet.07.seminar  +
Canvas in Olena +
thivolle.05.seminar  +
Canvas in Olena +
thivolle.05.seminar  +
Caractérisation des zones de mouvement périodiques pour applications bio-médicales +
puybareau.17.gretsi  +
Catoids and Modal Convolution Algebras +
fahrenberg.23.alguniv  +
Centaur : Une infrastructure générique simplifiant les transformations de C++ +
raud.08.seminar  +
Centaur: A generic framework simplifying C++ transformation +
raud.08.seminar  +
Cepstral and Long-Term Features for Emotion Recognition +
dehak.09.interspeechb  +
Classes, Styles, Conflicts: the Biological Realm of LaTeX +
verna.10.tug  +
Climb: Implémentation de voisinage pondérés +
senta.11.seminar  +
Climb: Weighted Neighborhood Implementation +
senta.11.seminar  +
Coercition et programmation orientée contexte +
ripault.13.seminar2  +
Color image segmentation based on automatic morphological clustering +
geraud.01.icip  +
Color types in Milena +
vigouroux.08.seminar  +
Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation +
chen.21.dgmm  +
Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking +
duret.11.arxiv  +
Retrieved from "https://www.lrde.epita.fr/index.php?title=Property:Has_bibtex_id&oldid=2397"