Property

Has bibtex id

From LRDE

Text

previous 1002050100250500next 100
Showing 100 pages using this property.
(
(Dynamic (Programming Paradigms)) ;; Performance and Expressivity +
verna.20.hdr  +
.
... Insert a title in French here ... +
carvalho.20.seminar  +
... Insert a title in French here ... +
mom.21.seminar  +
1
10 years of confrontation between French Internet users and their successive governments +
ricou.07.eceg  +
A
A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-D +
boutry.20.iwcia2  +
A Benchmark of Named Entity Recognition Approaches in Historical Documents +
abadie.22.das  +
A Challenging Issue: Detection of White Matter Hyperintensities in Neonatal Brain MRI +
morel.16.embc  +
A Channel-Blind System for Speaker Verification +
dehak.11.icassp  +
A Color Tree of Shapes with Illustrations on FilteringSimplification, and Segmentation +
carlinet.15.ismm  +
A Comparative Review of Component Tree Computation Algorithms +
carlinet.14.itip  +
A Corpus Processing and Analysis Pipeline for Quickref +
hacquard.21.els  +
A Fast and Exact Algorithm for Total Variation Minimization +
darbon.05.ibpria  +
A Feedback Arc Set for Spot +
lewkowicz.14.seminar  +
A First Parallel Algorithm to Compute the Morphological Tree of Shapes of nD Images +
crozet.14.icip  +
A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers +
boldo.18.arith  +
A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging +
xiong.20.media  +
A Kleene Theorem for Higher-Dimensional Automata +
fahrenberg.22.concur  +
A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers +
nejati.20.cp  +
A Modern C++ Point of View of Programming in Image Processing +
roynard.22.gpce  +
A Morphological Method for Music Score Staff Removal +
geraud.14.icip  +
A Morphological Tree of Shapes for Color Images +
carlinet.14.icpr  +
A Myhill-Nerode Theorem for Higher-Dimensional Automata +
fahrenberg.23.pn  +
A New Matching Algorithm between Trees of Shapes and its Application to Brain Tumor Segmentation +
boutry.21.dgmm.2  +
A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation +
movn.20.cviu  +
A Note on the Discrete Binary Mumford-Shah Model +
darbon.07.mirage  +
A Portable, Simple, Embeddable Type System +
newton.21.els  +
A Promela front-end for Spot +
sadegh.08.seminar  +
A Quasi-Linear Algorithm to Compute the Tree of Shapes of n-D Images +
geraud.13.ismm  +
A Secure Blockchain-Based Architecture for the COVID-19 Data Network +
el-madhoune.21.csnet  +
A Self-Adaptive Likelihood Function for Tracking with Particle Filter +
dubuisson.15.visapp  +
A Set of Tools to Teach Compiler Construction +
demaille.08.iticse  +
A Study of Well-Composedness in n-D +
boutry.16.phd  +
A Survey of French Local e-Democracy +
ricou.08.eceg  +
A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams +
newton.18.tocl  +
A Tree of Shapes for Multivariate Images +
carlinet.15.phd  +
A Tutorial on Well-Composedness +
boutry.17.jmiv  +
A Two-Stage Temporal-Like Fully Convolutional Network Framework for Left Ventricle Segmentation and Quantification on MR Images +
zhao.19.stacom  +
A Type System for Weighted Automata and Rational Expressions +
demaille.14.ciaa  +
A Vectorial Self-Dual Morphological Filter based on Total Variation Minimization +
darbon.05.isvc  +
A blockchain-based certificate revocation management and status verification system +
christian.21.cs  +
A co-Büching Toolbox +
gbaguidiaisse.17.seminar  +
A comparative study of image invariants for text / non-text classification +
marquegnies.12.seminar  +
A comparison of many max-tree computation algorithms +
carlinet.13.ismm  +
A fast algorithm for auto-dual trees +
carlinet.11.seminar  +
A fast and exact algorithm for total variation minimization +
darbon.05.tr  +
A first step toward a fair comparison of evaluation protocols for text detection algorithms +
dangla.18.das  +
A framework to dynamically manage distributed virtual environments +
fabre.00.vw  +
A new translation from LTL into TGBA in Spot +
lefortier.10.seminar  +
A note on nice-levelable MRFs for SAR image denoising with contrast preservation +
darbon.06.tr  +
A novel method to fight the non line of sight error in AOA measurements for mobile location +
grosicki.04.icc  +
A precise skew estimation algorithm for document images using KNN clustering and Fourier transform +
fabrizio.14.icip  +
A static C++ object-oriented programming (SCOOP) paradigm mixing benefits of traditional OOP and generic programming +
burrus.03.mpool  +
A translational pathway of deep learning methods in Gastro-Intestinal Endoscopy +
boutry.20.endocv  +
AGAT: Building and Evaluating Binary Partition Trees for Image Segmentation +
randrianasoa.21.softx  +
APMC 3.0: Approximate verification of Discrete and Continuous Time Markov Chains +
herault.06.qest  +
About the computation of the Tree of Shapes on n-dimensional images in quasi-linear time. +
crozet.13.seminar  +
Action recognition: how intelligent virtual environments can ease human-machine interaction +
verna.00.vsmm  +
Active Learning on Visibly One Counter Systems +
fages.21.seminar  +
Adaptation d'algorithmes de Vaucanson à une interface plus simple +
d-halluin.10.seminar  +
Adaptation de l'algorithme de watershed cuts aux complexes cellulaires +
dore.15.seminar  +
Adaptation of the watershed cuts algorithm to cellular complexes +
dore.15.seminar  +
Adapter les structures de données de Vaucanson au concept de kind et à une interface rénovée +
galtier.10.seminar  +
Adapting Vaucanson algorithms to a simpler interface +
d-halluin.10.seminar  +
Adapting the data structures of Vaucanson to the concept of kind and a new interface +
galtier.10.seminar  +
Adaptive partial order reduction methods +
parutto.13.seminar  +
Adding Contracts to C++ with Transformers +
ordy.09.seminar  +
Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis +
tochon.17.chapter  +
Ajout de la programmation par contrats au C++ avec Transformers +
ordy.09.seminar  +
Algorithme de calcul de l'arbre des composantes avec applications à la reconnaissance des formes en imagerie satellitaire +
baillard.07.gretsi  +
Algorithmes sur les Transducteurs +
tolmer.15.seminar  +
Algorithms for Mathematical Morphology +
geraud.10.book  +
Algorithms on Transducers +
tolmer.15.seminar  +
Alternate Fictitious Play study and implementation +
leblanc.08.seminar  +
Alternating automata support +
fauchille.16.seminar  +
Amélioration de la base d'entraînement d'un classifieur k-nn d'OCR +
seure.15.seminar  +
Amélioration de la composition des transducteurs dans Vaucanson +
galtier.08.seminar  +
Amélioration de la dégénéralisation dans Spot +
parutto.11.seminar  +
Amélioration de la réduction par simulation +
xu.17.seminar  +
Améliorer Horn-Schunck +
lobry.12.seminar  +
Améliorer l'architecture de Vaucanson 2 +
sanchez.13.seminar  +
Améliorer la determinisation d'automates de Büchi +
lewkowicz.16.seminar  +
An Efficient Algorithm for Connected Attribute Thinnings and Thickenings +
lesage.06.isvc  +
An Equivalence Relation between Morphological Dynamics and Persistent Homology in 1D +
boutry.19.ismm  +
An Equivalence Relation between Morphological Dynamics and Persistent Homology in n-D +
boutry.21.dgmm.1  +
An Experience Report on the Optimization of the Product Configuration System of Renault +
Xu.23.iceccs  +
An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming +
roynard.18.rrpr  +
An Innovative and Decentralized Identity Framework Based on Blockchain Technology +
maldonado-ruiz.21.ifip  +
An XML format proposal for the description of weighted automata, transducers, and regular expressions +
demaille.08.fsmnlp  +
An asynchronous architecture to manage communicationdisplay, and user interaction in distributed virtual environments +
fabre.00.egve  +
An edge-based attribute filter dedicated to image segmentation +
carlinet.10.seminar  +
An efficient algorithm for attribute openings and closings +
darbon.05.eusipco  +
An efficient implementation of transition-based generalized Büchi automaton determinization +
lewkowicz.15.seminar  +
An implementation of the C++ container library with SCOOL +
seine.09.seminar  +
An interpreter for Vaucanson +
pouchet.04.seminar.interpreter  +
An interpreter for Vaucanson +
pouchet.04.seminar.interpreter  +
An overview of Scoop, a static object-oriented paradigm +
moulard.08.seminar  +
An overview of Vaucanson +
claveirole.04.seminar.overview  +
An overview of Vaucanson +
claveirole.04.seminar.overview  +
Analyse de la mise en page d'un document dans SCRIBO +
marquegnies.11.seminar  +
Analyse de performances dans Vaucanson +
d-halluin.09.seminar  +
Retrieved from "https://www.lrde.epita.fr/index.php?title=Property:Has_bibtex_id&oldid=2397"