Property

Has bibtex id

From LRDE

Text

previous 2502050100250500next 250
Showing 250 pages using this property.
A
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  +
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  +
Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata +
bensalem.15.acsd  +
Combining Parallel Emptiness Checks with Partial Order Reductions +
poitrenaud.19.icfem  +
Comment implémenter le support des goroutines dans go2pins +
martin.19.seminar  +
Community and LBD-based Clause Sharing Policy for Parallel SAT Solving +
vallade.20.sat  +
Comparaison entre le Fictitious Play et le Fictitious Play Alterné dans le cadre des jeux à somme nulle +
leblanc.08.seminar.comparison  +
Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map +
newton.22.ifl  +
Comparison Between Factor Analysis and GMM Support Vector Machines for Speaker Verification +
dehak.08.odysseyb  +
Compensation d'i-vecteur spécifique aux locuteurs dans la reconnaissance du locuteur +
bounthong.15.seminar  +
Compensation locale du canal dans les systèmes de reconnaissance du locuteur +
yeh.15.seminar  +
Compiler Construction as an Effective Application to Teach Object-Oriented Programming +
demaille.08.kex  +
Complementing Büchi Automata +
sadegh.09.seminar  +
Complementing Büchi Automata With Alternating Automata +
sadegh.10.seminar  +
Component Trees and Chaining Operators in Climb +
chedeau.11.seminar  +
Component trees in Milena +
carlinet.09.seminar  +
Composants logiciels et algorithmes de minimisation exacte d'énergies dédidées au traitement d'images +
darbon.05.phd  +
Composition Efficace de Transducteurs dans Vcsn +
tolmer.16.seminar  +
Composition de transducteur dans Vaucanson 2 +
tolmer.14.seminar  +
Compositional Approach to Suspension and Other Improvements to LTL Translation +
babiak.13.spin  +
Compression d'états dans Spot +
remaud.19.seminar  +
Computing the optical flow in sequences with missing parts +
lobry.13.seminar  +
Computing the regular language recognized by a finite automaton +
bigaignon.05.seminar  +
Computing the regular language recognized by a finite automaton +
bigaignon.05.seminar  +
ConceptC++ study and possible integration in SCOOP +
abraham.07.seminar  +
Conception of a static oriented language: an overview of Scool +
moulard.06.seminar  +
Conception of a static oriented language: an overview of Scool +
moulard.06.seminar  +
Concevoir l'interface d'une bibliothèque générique en Common Lisp +
denuziere.11.seminar  +
Connected Filtering on Tree-Based Shape-Spaces +
xu.15.pami  +
Connected Filters on Generalized Shape-Spaces +
huynh.19.prl  +
Constructing a braid of partitions from hierarchies of partitions +
tochon.19.ismm  +
Construction d'une interface pour et avec Climb +
senta.12.seminar  +
Construire un perceptron quantique +
habib.21.seminar  +
Context-Based Energy Estimator: Application to Object Segmentation on the Tree of Shapes +
xu.12.icip  +
Context-Oriented Image Processing +
verna.15.cop  +
Context-oriented programming applied to image processing +
ripault.13.seminar  +
Continuous Well-Composedness implies Digital Well-Composedness in n-D +
boutry.21.jmiv  +
Contribution aux tests de vacuité pour le model checking explicite +
renault.14.phd  +
Contribution to dyn:: +
billion.16.seminar  +
Contribution à dyn:: +
billion.16.seminar  +
Contributions to LTL and ω-Automata for Model Checking +
duret.17.hdr  +
Cosine Similarity Scoring without Score Normalization Techniques +
dehak.10.odyssey  +
CosySEL: Improving SAT Solving Using Local Symmetries +
saouli.23.vmcai  +
Counterexample searches in Spot +
gillard.19.seminar  +
Cover automata for finite languages +
cadilhac.05.seminar  +
Cover automata for finite languages +
cadilhac.05.seminar  +
Creation of an antichain library +
remaud.18.seminar  +
Création d'un lien entre une bibliothèque de traitement d'image en C++ hautes performances vers Python +
gossec.19.seminar  +
Création d'une bibliothèque d'antichaîne +
remaud.18.seminar  +
Current Trends in Blockchain Implementations on the Paradigm of Public Key Infrastructure: A Survey +
maldonado-ruiz.22.ieee  +
D
De nouvelles fac cons d'utiliser l'interface Jupyter. +
barray.15.seminar  +
Debug Packages in OpenBSD +
espie.21.eurocon  +
Deciding Persistence or Recurrence Membership in Spot +
gbaguidiaisse.18.seminar  +
Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy +
boutry.21.media  +
Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina +
rivet.19.spie  +
Dematerialization Tools in SCRIBO +
marquegnies.10.seminar  +
Derived-Term Automata of Multitape Expressions with Composition +
demaille.17.sacs  +
Derived-Term Automata of Multitape Rational Expressions +
demaille.16.ciaa  +
Derived-Term Automata of Weighted Rational Expressions with Quotient Operators +
demaille.17.ictac  +
Derived-term Automata for Extended Weighted Rational Expressions +
demaille.16.ictac  +
Designing the user interface for a Common Lisp generic library +
denuziere.11.seminar  +
Detecting Botnets Behaviors over Network Flows using Hidden Markov Models +
sainson.20.seminar  +
Detecting danger in marine environment: Part 1 - Making the dataset +
ginane.20.seminar  +
Detecting danger in marine environnement +
ginane.19.seminar  +
Direct-Simulation Reduction for TGBA +
badie.12.seminar  +
Discovering and Visualizing Tactics in Table Tennis Games Based on Subgroup Discovery +
duluard.22.mlsa  +
Discrete Morse Functions and Watersheds +
boutry.23.jmiv  +
Discrete set-valued continuity and interpolation +
najman.13.ismm  +
Discrimination supervisé de caractères sur des images +
deutsch.16.seminar  +
Dispatch par propriétés dans les langages fonctionnels +
chedeau.12.seminar  +
Distance Transform +
folio.08.seminar  +
Distance Transform +
folio.08.seminar  +
Retrieved from "https://www.lrde.epita.fr/index.php?title=Property:Has_bibtex_id&oldid=2397"