Property

Publication paper

From LRDE

This is a property of type URL.

Usage283

previous 250 20 50 100 250 500 next 250

Filter<p>The <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Property_page/Filter">search filter</a> allows the inclusion of <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Query_expressions">query expressions</a> such as <code>~</code> or <code>!</code>. The selected <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Query_engine">query engine</a> might also support case insensitive matching or other short expressions like:</p><ul><li><code>in:</code> result should include the term, e.g. '<code>in:Foo</code>'</li></ul><ul><li><code>not:</code> result should to not include the term, e.g. '<code>not:Bar</code>'</li></ul>

Showing 250 pages using this property.

(

(Dynamic (Programming Paradigms)) ;; Performance and Expressivity +

http://www.lrde.epita.fr/dload/papers/verna.20.hdr.pdf +

1

10 years of confrontation between French Internet users and their successive governments +

http://www.lrde.epita.fr/dload/papers/ricou.07.eceg.pdf +

A

A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-D +

http://www.lrde.epita.fr/dload/papers/boutry.20.iwcia2.pdf +

A Benchmark of Named Entity Recognition Approaches in Historical Documents +

http://www.lrde.epita.fr/dload/papers/abadie.22.das.pdf +

A Challenging Issue: Detection of White Matter Hyperintensities in Neonatal Brain MRI +

https://www.lrde.epita.fr/dload/papers/morel.16.embc.pdf +

A Color Tree of Shapes with Illustrations on FilteringSimplification, and Segmentation +

http://www.lrde.epita.fr/dload/papers/carlinet.15.ismm.pdf +

A Comparative Review of Component Tree Computation Algorithms +

https://www.lrde.epita.fr/dload/papers/carlinet.14.itip.pdf +

A First Parallel Algorithm to Compute the Morphological Tree of Shapes of nD Images +

http://www.lrde.epita.fr/dload/papers/crozet.14.icip.pdf +

A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers +

http://www.lrde.epita.fr/dload/papers/boldo.18.arith.pdf +

A Kleene Theorem for Higher-Dimensional Automata +

https://www.lrde.epita.fr/dload/papers/fahrenberg.22.concur.pdf +

A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers +

http://www.lrde.epita.fr/dload/papers/nejati.20.cp.pdf +

A Modern C++ Point of View of Programming in Image Processing +

http://www.lrde.epita.fr/dload/papers/roynard.22.gpce.pdf +

A Morphological Method for Music Score Staff Removal +

http://www.lrde.epita.fr/dload/papers/geraud.14.icip.pdf +

A Morphological Tree of Shapes for Color Images +

http://www.lrde.epita.fr/dload/papers/carlinet.14.icpr.pdf +

A New Matching Algorithm between Trees of Shapes and its Application to Brain Tumor Segmentation +

http://www.lrde.epita.fr/dload/papers/boutry.21.dgmm.2.pdf +

A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation +

https://www.lrde.epita.fr/dload/papers/movn.20.cviu.pdf +

A Portable, Simple, Embeddable Type System +

http://www.lrde.epita.fr/dload/papers/newton.21.els.pdf +

A Quasi-Linear Algorithm to Compute the Tree of Shapes of n-D Images +

http://www.lrde.epita.fr/dload/papers/geraud.13.ismm.pdf +

A Self-Adaptive Likelihood Function for Tracking with Particle Filter +

http://www.lrde.epita.fr/dload/papers/dubuisson.15.visapp.pdf +

A Set of Tools to Teach Compiler Construction +

http://www.lrde.epita.fr/dload/papers/demaille.08.iticse.pdf +

A Study of Well-Composedness in n-D +

http://www.lrde.epita.fr/dload/papers/boutry.2016.phd.pdf +

A Survey of French Local e-Democracy +

http://www.lrde.epita.fr/dload/papers/ricou.08.eceg.pdf +

A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams +

http://www.lrde.epita.fr/dload/papers/newton.18.tocl.pdf +

A Tree of Shapes for Multivariate Images +

http://www.lrde.epita.fr/dload/papers/carlinet.15.phd.pdf +

A Tutorial on Well-Composedness +

http://www.lrde.epita.fr/dload/papers/boutry.17.jmiv.pdf +

A Two-Stage Temporal-Like Fully Convolutional Network Framework for Left Ventricle Segmentation and Quantification on MR Images +

http://www.lrde.epita.fr/dload/papers/zhao.19.stacom.pdf +

A Type System for Weighted Automata and Rational Expressions +

http://www.lrde.epita.fr/dload/papers/demaille.14.ciaa.pdf +

A comparison of many max-tree computation algorithms +

http://www.lrde.epita.fr/dload/papers/carlinet.13.ismm.pdf +

A first step toward a fair comparison of evaluation protocols for text detection algorithms +

http://www.lrde.epita.fr/dload/papers/dangla.18.das.pdf +

A precise skew estimation algorithm for document images using KNN clustering and Fourier transform +

http://www.lrde.epita.fr/dload/papers/fabrizio.14.icip.pdf +

A static C++ object-oriented programming (SCOOP) paradigm mixing benefits of traditional OOP and generic programming +

http://www.lrde.epita.fr/dload/papers/mpool03-abstract.pdf +

Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis +

http://www.lrde.epita.fr/dload/papers/tochon.17.chapter.pdf +

Algorithme de calcul de l'arbre des composantes avec applications à la reconnaissance des formes en imagerie satellitaire +

http://www.lrde.epita.fr/dload/papers/baillard.07.gretsi.pdf +

An Equivalence Relation between Morphological Dynamics and Persistent Homology in 1D +

http://www.lrde.epita.fr/dload/papers/boutry.19.ismm.pdf +

An Equivalence Relation between Morphological Dynamics and Persistent Homology in n-D +

http://www.lrde.epita.fr/dload/papers/boutry.21.dgmm.1.pdf +

An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming +

http://www.lrde.epita.fr/dload/papers/roynard.18.rrpr.pdf +

An XML format proposal for the description of weighted automata, transducers, and regular expressions +

http://www.lrde.epita.fr/dload/papers/demaille.08.fsmnlp.pdf +

Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set +

http://www.lrde.epita.fr/dload/papers/newton.17.dtd.report.pdf +

Approaches in Typecase Optimization +

http://www.lrde.epita.fr/dload/papers/newton.18.els.pdf +

Approximate Nash Equilibria for Multi-Player Games +

http://www.lrde.epita.fr/dload/papers/hemon.08.sagt.pdf +

Approximate Probabilistic Model Checking for Programs +

http://www.lrde.epita.fr/dload/papers/david.06.iccp.pdf +

Attribute Grammars for Modular Disambiguation +

http://www.lrde.epita.fr/dload/papers/david.06.iccp.pdf +

Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness +

http://www.lrde.epita.fr/dload/papers/rusinol.17.mtap.pdf +

B

Beating C in Scientific Computing Applications +

http://www.lrde.epita.fr/dload/papers/verna.06.ecoop.pdf +

Benchmarking Keypoint Filtering Approaches for Document Image Matching +

http://www.lrde.epita.fr/dload/papers/royer.17.icdar.pdf +

Binary Methods Programming: the CLOS Perspective +

http://www.lrde.epita.fr/dload/papers/verna.08.els.pdf +

Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them +

http://www.lrde.epita.fr/dload/papers/verna.11.onward.pdf +

Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images +

http://www.lrde.epita.fr/dload/papers/tochon.19.pr.pdf +

C

C-Transformers — A Framework to Write C Program Transformations +

http://www.lrde.epita.fr/dload/papers/borghi.06.crossroads.pdf +

C/C++ Disambiguation Using Attribute Grammars +

http://www.lrde.epita.fr/dload/200505-SUD/disamb/article-200505-SUD-disamb.pdf +

CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving +

http://www.lrde.epita.fr/dload/papers/metin.18.tacas.pdf +

CLOS Efficiency: Instantiation +

http://www.lrde.epita.fr/dload/papers/verna.09.ilc.pdf +

CLOS solutions to binary methods +

http://www.lrde.epita.fr/dload/papers/verna.07.imecs.pdf +

CLoX: Common Lisp objects for XEmacs +

http://www.lrde.epita.fr/dload/papers/verna.10.els.pdf +

Caractérisation des zones de mouvement périodiques pour applications bio-médicales +

http://www.lrde.epita.fr/dload/papers/puybareau.17.gretsi.pdf +

Classes, Styles, Conflicts: the Biological Realm of LaTeX +

http://www.lrde.epita.fr/dload/papers/verna.10.tug.pdf +

Color image segmentation based on automatic morphological clustering +

http://www.lrde.epita.fr/dload/papers/geraud.01.icip.pdf +

Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation +

http://www.lrde.epita.fr/dload/papers/chen.2021.dgmm.pdf +

Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata +

http://www.lrde.epita.fr/dload/papers/bensalem.15.acsd.pdf +

Combining Parallel Emptiness Checks with Partial Order Reductions +

http://www.lrde.epita.fr/dload/papers/poitrenaud.19.icfem.pdf +

Community and LBD-based Clause Sharing Policy for Parallel SAT Solving +

http://www.lrde.epita.fr/dload/papers/vallade.20.sat.pdf +

Compiler Construction as an Effective Application to Teach Object-Oriented Programming +

http://www.lrde.epita.fr/dload/papers/demaille.08.kex.pdf +

Compositional Approach to Suspension and Other Improvements to LTL Translation +

http://www.lrde.epita.fr/dload/papers/babiak.13.spin.pdf +

Connected Filtering on Tree-Based Shape-Spaces +

http://www.lrde.epita.fr/dload/papers/xu.15.pami.pdf +

Connected Filters on Generalized Shape-Spaces +

http://www.lrde.epita.fr/dload/papers/huynh.19.prl.pdf +

Constructing a braid of partitions from hierarchies of partitions +

http://www.lrde.epita.fr/dload/papers/tochon.19.ismm.pdf +

Context-Based Energy Estimator: Application to Object Segmentation on the Tree of Shapes +

http://www.lrde.epita.fr/dload//papers/xu.12.icip.pdf +

Context-Oriented Image Processing +

http://www.lrde.epita.fr/dload/papers/verna.15.cop.pdf +

Continuous Well-Composedness implies Digital Well-Composedness in n-D +

https://www.lrde.epita.fr/dload/papers/boutry.22.jmiv.pdf +

Contribution aux tests de vacuité pour le model checking explicite +

http://www.lrde.epita.fr/dload/papers/renault.14.phd.pdf +

Contributions to LTL and ω-Automata for Model Checking +

http://www.lrde.epita.fr/dload/papers/duret.17.hdr.pdf +

D

Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy +

http://www.lrde.epita.fr/dload/papers/boutry.21.media.pdf +

Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina +

http://www.lrde.epita.fr/dload/papers/rivet.19.spie.pdf +

Derived-Term Automata of Multitape Expressions with Composition +

http://www.lrde.epita.fr/dload/papers/demaille.17.sacs.pdf +

Derived-Term Automata of Multitape Rational Expressions +

http://www.lrde.epita.fr/dload/papers/demaille.16.ciaa.pdf +

Derived-Term Automata of Weighted Rational Expressions with Quotient Operators +

http://www.lrde.epita.fr/dload/papers/demaille.17.ictac.pdf +

Derived-term Automata for Extended Weighted Rational Expressions +

http://www.lrde.epita.fr/dload/papers/demaille.16.ictac.pdf +

Discrete set-valued continuity and interpolation +

https://www.lrde.epita.fr/dload/papers/najman.13.ismm.pdf +

Do not Treat Boundaries and Regions Differently: An Example on Heart Left Atrial Segmentation +

http://www.lrde.epita.fr/dload/papers/zhao.20.icpr.2.pdf +

Document detection in videos captured by smartphones using a saliency-based method +

https://www.lrde.epita.fr/dload/papers/movn.19.icdarw.pdf +

E

ESDF: A proposal for a more flexible SDF handling +

http://www.lrde.epita.fr/dload/200505-SUD/esdf/article-200505-SUD-esdf.pdf +

Effective Component Tree Computation with Application to Pattern Recognition in Astronomical Imaging +

http://www.lrde.epita.fr/dload/papers/berger.07.icip.pdf +

Effective Reductions of Mealy Machines +

http://www.lrde.epita.fr/dload/papers/renkin.22.forte.pdf +

Efficient Computation of Attributes and Saliency Maps on Tree-Based Image Representations +

http://www.lrde.epita.fr/dload/papers/xu.15.ismm.pdf +

Efficient Dynamic Type Checking of Heterogeneous Sequences +

http://www.lrde.epita.fr/dload/papers/newton.16.rte.report.pdf +

Efficient Multiscale Sauvola's Binarization +

http://www.lrde.epita.fr/dload/papers/lazzara.13.ijdar.pdf +

Electricity Price Forecasting on the Day-Ahead Market using Machine Learning +

http://www.lrde.epita.fr/dload/papers/tschora.22.apen.pdf +

Equivalence between Digital Well-Composedness and Well-Composedness in the Sense of Alexandrov on n-D Cubical Grids +

http://www.lrde.epita.fr/dload/papers/boutry.20.jmiv.2.pdf +

Espaces des formes basés sur des arbres : définition et applications en traitement d'images et vision par ordinateur +

http://www.lrde.epita.fr/dload/papers/xu.14.rfia.pdf +

Estimating the Number of Endmembers to Use in Spectral Unmixing of Hyperspectral Data with Collaborative Sparsity +

http://www.lrde.epita.fr/dload/papers/drumetz.17.lva-ica.pdf +

Estimating the noise level function with the tree of shapes and non-parametric statistics +

http://www.lrde.epita.fr/dload/papers/esteban.19.caip.pdf +

Estimation de la fonction de niveau de bruit pour des images couleurs en utilisant la morphologie mathématique +

http://www.lrde.epita.fr/dload/papers/esteban.22.gretsi.1.pdf +

Estimation du niveau de bruit par arbre des formes et statistiques non paramétriques +

http://www.lrde.epita.fr/dload/papers/esteban.19.gretsi.pdf +

Estimation of the noise level function for color images using mathematical morphology and non-parametric statistics +

http://www.lrde.epita.fr/dload/papers/esteban.22.icpr.pdf +

Euler Well-Composedness +

http://www.lrde.epita.fr/dload/papers/boutry.20.iwcia1.pdf +

Evaluating complex MAC protocols for sensor networks with APMC +

http://www.lrde.epita.fr/dload/papers/cadilhac.06.avocs.pdf +

Explicit State Model Checking with Generalized Büchi and Rabin Automata +

http://www.lrde.epita.fr/dload/papers/bloemen.17.spin.pdf +

Extending Testing Automata to All LTL +

http://www.lrde.epita.fr/dload/papers/bensalem.15.forte.pdf +

Extraction of Ancient Map Contents Using Trees of Connected Components +

http://www.lrde.epita.fr/dload/papers/drapeau.17.grec.pdf +

F

FOANet: A Focus of Attention Network with Application to Myocardium Segmentation +

http://www.lrde.epita.fr/dload/papers/zhao.20.icpr.1.pdf +

Featured Games +

http://www.lrde.epita.fr/dload/papers/fahrenberg.22.scp.pdf +

Filtres connexes multivariés par fusion d'arbres de composantes +

http://www.lrde.epita.fr/dload/papers/carlinet.19.gretsi.pdf +

Finding Maximal Common Joins in a DAG +

http://www.lrde.epita.fr/dload/papers/newton.16.dag.report.pdf +

Finite Automata Theory Based Optimization of Conditional Variable Binding +

http://www.lrde.epita.fr/dload/papers/newton.19.els.pdf +

From Neonatal to Adult Brain MR Image Segmentation in a Few Seconds Using 3D-Like Fully Convolutional Network and Transfer Learning +

http://www.lrde.epita.fr/dload/papers/xu.17.icip.pdf +

From Spot 2.0 to Spot 2.10: What's New? +

http://www.lrde.epita.fr/dload/papers/duret.22.cav.pdf +

From text detection to text segmentation: a unified evaluation scheme +

http://www.lrde.epita.fr/dload/papers/calarasanu.16.iwrr.pdf +

G

Generalized Büchi Automata versus Testing Automata for Model Checking +

http://www.lrde.epita.fr/dload/papers/bensalem.11.sumo.pdf +

Generic Emptiness Check for Fun and Profit +

http://www.lrde.epita.fr/dload/papers/baier.19.atva.pdf +

Generic Image Processing with Climb +

http://www.lrde.epita.fr/dload/papers/senta.12.els.pdf +

Generic programming redesign of patterns +

http://www.lrde.epita.fr/dload/papers/europlop00.pdf +

Getting a morphological Tree of Shapes for Multivariate Images: Paths, Traps and Pitfalls +

http://www.lrde.epita.fr/dload/papers/carlinet.14.icip.pdf +

Global Optimization for First Order Markov Random Fields with Submodular Priors +

http://www.lrde.epita.fr/dload/papers/darbon.08.iwcia.pdf +

Go2Pins: A Framework for the LTL Verification of Go Programs +

http://www.lrde.epita.fr/dload/papers/kirszenberg.21.spin.pdf +

Go2Pins: A framework for the LTL verification of Go programs (Extended Version) +

http://www.lrde.epita.fr/dload/papers/renault.22.sttt.pdf +

Going beyond p-convolutions to learn grayscale morphological operators +

http://www.lrde.epita.fr/dload/papers/kirszie.2021.dgmm.pdf +

Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata +

http://www.lrde.epita.fr/dload/papers/droste.22.iandc.pdf +

Génération efficace de grands espaces d'états +

http://www.lrde.epita.fr/dload/papers/hamez.09.phd.pdf +

Généricité dynamique pour des algorithmes morphologiques +

http://www.lrde.epita.fr/dload/papers/esteban.22.gretsi.2.pdf +

H

Heuristics for Checking Liveness Properties with Partial Order Reductions +

http://www.lrde.epita.fr/dload/papers/duret.16.atva.pdf +

Hierarchical Segmentation Using Tree-Based Shape Spaces +

http://www.lrde.epita.fr/dload/papers/xu.16.pami.pdf +

Hierarchical Set Decision Diagrams and Automatic Saturation +

http://www.lrde.epita.fr/dload/papers/hamez.08.atpn.pdf +

Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection +

http://www.lrde.epita.fr/dload/papers/xu.16.prl.pdf +

How to Make n-D Plain Maps Alexandrov-Well-Composed in a Self-dual Way +

http://www.lrde.epita.fr/dload/papers/boutry.19.jmiv.pdf +

How to Make nD Functions Digitally Well-Composed in a Self-Dual Way +

http://www.lrde.epita.fr/dload/papers/boutry.15.ismm.pdf +

How to Make nD Images Well-Composed Without Interpolation +

http://www.lrde.epita.fr/dload/papers/boutry.15.icip.pdf +

How to make Lisp go faster than C +

http://www.lrde.epita.fr/dload/papers/verna.06.imecs.pdf +

I

ICDAR 2021 Competition on Historical Map Segmentation +

http://www.lrde.epita.fr/dload/papers/chazalon.21.icdar.2.pdf +

Implementation Concepts in Vaucanson 2 +

http://www.lrde.epita.fr/dload/papers/demaille.13.ciaa.pdf +

Implementing Baker's SUBTYPEP decision procedure +

http://www.lrde.epita.fr/dload/papers/valais.19.els.pdf +

Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms +

http://www.lrde.epita.fr/dload/papers/calarasanu.15.phd.pdf +

Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms +

http://www.lrde.epita.fr/dload/papers/movn.20.phd.pdf +

Improving Parallel State-Space Exploration Using Genetic Algorithms +

http://www.lrde.epita.fr/dload/papers/renault.18.vecos.pdf +

Improving swarming using genetic algorithms +

http://www.lrde.epita.fr/dload/papers/renault.20.isse.pdf +

Improving the Model Checking of Stutter-Invariant LTL Properties +

http://www.lrde.epita.fr/dload/papers/bensalem.14.phd.pdf +

Inside Vaucanson +

http://www.lrde.epita.fr/dload/papers/ins-vauc.pdf +

Intervertebral Disc Segmentation Using Mathematical Morphology—A CNN-Free Approach +

http://www.lrde.epita.fr/dload/papers/carlinet.19.csi.pdf +

Introducing Multivariate Connected Openings and Closings +

http://www.lrde.epita.fr/dload/papers/carlinet.19.ismm.pdf +

Introducing the Boundary-Aware Loss for Deep Image Segmentation +

https://www.lrde.epita.fr/dload/papers/movn.21.bmvc.pdf +

Introducing the Dahu Pseudo-Distance +

http://www.lrde.epita.fr/dload/papers/geraud.17.ismm.pdf +

Is There a Best Büchi Automaton for Explicit Model Checking? +

http://www.lrde.epita.fr/dload/papers/blahoudek.14.spin.pdf +

J

JSPP: Morphing C++ into JavaScript +

http://www.lrde.epita.fr/dload/papers/chedeau.12.tr.pdf +

L

LTL Model Checking for Communicating Concurrent Programs +

http://www.lrde.epita.fr/dload/papers/pommellet.20.isse.pdf +

LTL Model Checking with Neco +

http://www.lrde.epita.fr/dload/papers/fronc.13.atva.pdf +

LTL Translation Improvements in Spot +

http://www.lrde.epita.fr/dload/papers/duret.11.vecos.pdf +

LTL Translation Improvements in Spot 1.0 +

http://www.lrde.epita.fr/dload/papers/duret.14.ijccbs.draft.pdf +

LTL under reductions with weaker conditions than stutter invariance +

http://www.lrde.epita.fr/dload/papers/paviot.22.forte.pdf +

La pseudo-distance du dahu +

http://www.lrde.epita.fr/dload/papers/carlinet.17.orasis.pdf +

Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model Formulation +

http://www.lrde.epita.fr/dload/papers/drumetz.20.icassp.pdf +

Learning Grayscale Mathematical Morphology with Smooth Morphological Layers +

http://www.lrde.epita.fr/dload/papers/hermary.22.jmiv.pdf +

Left Atrial Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning +

http://www.lrde.epita.fr/dload/papers/puybareau.18.stacom.pdf +

Lisp, Jazz, Aikido +

http://www.lrde.epita.fr/dload/papers/verna.18.programming.pdf +

Local Intensity Order Transformation for Robust Curvilinear Object Segmentation +

http://www.lrde.epita.fr/dload/papers/shi.22.itip.pdf +

M

MToS: A Tree of Shapes for Multivariate Images +

https://www.lrde.epita.fr/dload/papers/carlinet.15.itip.pdf +

Making Compiler Construction Projects Relevant to Core Curriculums +

http://www.lrde.epita.fr/dload/papers/demaille.05.iticse.pdf +

Manipulating LTL formulas using Spot 1.0 +

http://www.lrde.epita.fr/dload/papers/duret.13.atva.pdf +

Max-Tree Computation on GPUs +

http://www.lrde.epita.fr/dload/papers/blin.22.tpds.pdf +

Meaningful disjoint level lines selection +

http://www.lrde.epita.fr/dload/papers/xu.14.icip.pdf +

Mechanizing the Minimization of Deterministic Generalized Büchi Automata +

http://www.lrde.epita.fr/dload/papers/baarir.14.forte.pdf +

Metagene, a C++ meta-program generation tool +

http://www.lrde.epita.fr/dload/papers/maes-04-mtg.pdf +

Method Combinators +

http://www.lrde.epita.fr/dload/papers/verna.18.els.pdf +

Milena: Write Generic Morphological Algorithms Once, Run on Many Kinds of Images +

http://www.lrde.epita.fr/dload/papers/levillain.09.ismm.pdf +

Model Checking using Generalized Testing Automata +

http://www.lrde.epita.fr/dload/papers/bensalem.12.topnoc.pdf +

Model checking with generalized Rabin and Fin-less automata +

http://www.lrde.epita.fr/dload/papers/bloemen.19.sttt.pdf +

Modeling of Sensor Networks Using XRM +

http://www.lrde.epita.fr/dload/papers/demaille.06.isola.pdf +

Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework +

http://www.lrde.epita.fr/dload/papers/le-frioux.19.tacas.pdf +

Monads in Common Lisp +

http://www.lrde.epita.fr/dload/papers/newton.16.monad.report.pdf +

Morphological Analysis of Brownian Motion for Physical Measurements +

http://www.lrde.epita.fr/dload/papers/puybareau.17.ismm.pdf +

Morphological Filtering in Shape Spaces : Applications using Tree-Based Image Representations +

http://www.lrde.epita.fr/dload/papers/xu.12.icpr.pdf +

Morphological Hierarchical Image Decomposition Based on Laplacian 0-Crossings +

http://www.lrde.epita.fr/dload/papers/huynh.17.ismm.pdf +

Morphological Object Picking Based on the Color Tree of Shapes +

http://www.lrde.epita.fr/dload/papers/carlinet.15.ipta.pdf +

Morphology-Based Hierarchical Representation with Application to Text Segmentation in Natural Images +

http://www.lrde.epita.fr/dload/papers/huynh.16.icpr.pdf +

Motion Compensation in Digital Holography for Retinal Imaging +

http://www.lrde.epita.fr/dload/papers/rivet.19.isbi.pdf +

N

Non-iterative methods for image improvement in digital holography of the retina +

http://www.lrde.epita.fr/dload/papers/rivet.20.phd.pdf +

O

Object tracking by hierarchical decomposition of hyperspectral video sequences: Application to chemical gas plume tracking +

http://www.lrde.epita.fr/dload/papers/tochon.17.tgrs.pdf +

On Making nD Images Well-Composed by a Self-Dual Local Interpolation +

http://www.lrde.epita.fr/dload/papers/boutry.14.dgci.pdf +

On Refinement of Büchi Automata for Explicit Model Checking +

http://www.lrde.epita.fr/dload/papers/blahoudek.15.spin.pdf +

On Robustness for the Skolem and Positivity Problems +

https://www.lrde.epita.fr/dload/papers/akshay.22.stacs.pdf +

On orthogonal specialization in C++: dealing with efficiency and algebraic abstraction in Vaucanson +

http://www.lrde.epita.fr/dload/papers/poosc03-vaucanson.pdf +

On the Usefulness of Clause Strengthening in Parallel SAT Solving +

http://www.lrde.epita.fr/dload/papers/vallade.20.nfm.pdf +

On-the-fly Emptiness Check of Transition-based Streett Automata +

http://www.lrde.epita.fr/dload/papers/duret.09.atva.pdf +

One More Step Towards Well-Composedness of Cell Complexes over n-D Pictures +

http://www.lrde.epita.fr/dload/papers/boutry.19.dgci.pdf +

P

PaInleSS: a Framework for Parallel SAT Solving +

http://www.lrde.epita.fr/dload/papers/le-frioux.17.sat.pdf +

Parallel Computation of Component Trees on Distributed Memory Machines +

http://www.lrde.epita.fr/dload/papers/goetz.18.tpds.pdf +

Parallel Explicit Model Checking for Generalized Büchi Automata +

http://www.lrde.epita.fr/dload/papers/renault.15.tacas.pdf +

Parallel Learning Portfolio-Based Solvers +

http://www.lrde.epita.fr/dload/papers/menouer.17.iccs.pdf +

Parallel Model Checking Algorithms for Linear-Time Temporal Logic +

http://www.lrde.epita.fr/dload/papers/barnat.18.hpcr.pdf +

Parallel Satisfiability Solver Based on Hybrid Partitioning Method +

http://www.lrde.epita.fr/dload/papers/menouer.17.pdp.pdf +

Parallelizing Quickref +

http://www.lrde.epita.fr/dload/papers/verna.19.els.pdf +

Performance Comparison of Several Folding Strategies +

http://www.lrde.epita.fr/dload/papers/newton.20.tfp.pdf +

Periodic Area-of-Motion characterization for Bio-Medical applications +

http://www.lrde.epita.fr/dload/papers/puybareau.17.isbi.pdf +

Polar type inference with intersection types and ω +

http://www.lrde.epita.fr/dload/papers/carlier.02.itrs.pdf +

Posets With Interfaces as a Model for Concurrency +

http://www.lrde.epita.fr/dload/papers/fahrenberg.22.iandc.pdf +

Practical Applications of the Alternating Cycle Decomposition +

https://www.lrde.epita.fr/dload/papers/casares.22.tacas.pdf +

Practical Genericity: Writing Image Processing Algorithms Both Reusable and Efficient +

http://www.lrde.epita.fr/dload/papers/levillain.14.ciarp.pdf +

Practical Stutter-Invariance Checks for ω-Regular Languages +

http://www.lrde.epita.fr/dload/papers/michaud.15.spin.pdf +

Practical “Paritizing” of Emerson–Lei Automata +

http://www.lrde.epita.fr/dload/papers/renkin.20.atva.pdf +

Probabilistic Verification of Sensor Networks +

http://www.lrde.epita.fr/dload/papers/demaille.06.rivf.pdf +

Programmatic Manipulation of Common Lisp Type Specifiers +

http://www.lrde.epita.fr/dload/papers/newton.17.els.pdf +

Proposal: an XML representation for automata +

http://www.lrde.epita.fr/dload/techrep/xml proposal 2004.pdf +

Q

QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results +

https://www.lrde.epita.fr/dload/papers/boutry.22.melba.pdf +

Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo +

http://www.lrde.epita.fr/dload/papers/verna.19.tug.pdf +

R

Reactive Synthesis from LTL Specification with Spot +

http://www.lrde.epita.fr/dload/papers/michaud.18.synt.pdf +

Real-Time Document Detection in Smartphone Videos +

http://www.lrde.epita.fr/dload/papers/puybareau.18.icip.pdf +

Real-Time Document Detection in Smartphone Videos +

http://www.lrde.epita.fr/dload/papers/puybareau.18.icip.pdf +

Recognizing Heterogeneous Sequences by Rational Type Expression +

http://www.lrde.epita.fr/dload/papers/newton.18.meta.pdf +

Region-Based Classification of Remote Sensing Images with the Morphological Tree of Shapes +

https://www.lrde.epita.fr/dload/papers/cavallaro.16.igarss.pdf +

Representing and Computing with Types in Dynamically Typed Languages +

http://www.lrde.epita.fr/dload/papers/newton.18.phd.pdf +

Resources for the DAS 2014 submission +

http://www.lrde.epita.fr/dload/papers/lazzara.14.das.pdf +

Revisiting the Coco Panoptic Metric to Enable Visual and Qualitative Analysis of Historical Map Instance Segmentation +

https://www.lrde.epita.fr/dload/papers/chazalon.21.icdar.1.pdf +

S

SAT-based Minimization of Deterministic ω-Automata +

http://www.lrde.epita.fr/dload/papers/baarir.15.lpar.pdf +

Saliency-Based Detection of Identity Documents Captured by Smartphones +

https://www.lrde.epita.fr/dload/papers/movn.18.das.pdf +

Salient Level Lines Selection Using the Mumford-Shah Functional +

http://www.lrde.epita.fr/dload/papers/xu.13.icip.pdf +

Segmentation d'IRM de cerveaux de nouveau-nés en quelques secondes à l'aide d'un réseau de neurones convolutif pseudo-3D et de transfert d'apprentissage +

http://www.lrde.epita.fr/dload/papers/xu.17.gretsi.pdf +

Segmentation d'images en couleur par classification morphologique non supervisée +

http://www.lrde.epita.fr/dload/papers/icisp01.pdf +

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 +

http://www.lrde.epita.fr/dload/papers/puybareau.18.rfiap.pdf +

Segmentation of Gliomas and Prediction of Patient Overall Survival: A Simple and Fast Procedure +

http://www.lrde.epita.fr/dload/papers/puybareau.18.brainles.pdf +

Self-Duality and Digital Topology: Links Between the Morphological Tree of Shapes and Well-Composed Gray-Level Images +

http://www.lrde.epita.fr/dload/papers/geraud.15.ismm.pdf +

Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking +

http://www.lrde.epita.fr/dload/papers/duret.11.atva.pdf +

Semantics driven disambiguation: A comparison of different approaches +

http://www.lrde.epita.fr/dload/papers/demaille.08.ldta.pdf +

Semantics-Driven Genericity: A Sequel to the Static C++ Object-Oriented Programming Paradigm (SCOOP 2) +

http://www.lrde.epita.fr/dload/papers/geraud.08.mpool.pdf +

Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization +

http://www.lrde.epita.fr/dload/papers/blahoudek.20.cav.pdf +

Seminator: A Tool for Semi-Determinization of Omega-Automata +

http://www.lrde.epita.fr/dload/papers/blahoudek.17.lpar.pdf +

Single-pass Testing Automata for LTL Model Checking +

http://www.lrde.epita.fr/dload/papers/bensalem.15.lata.pdf +

SmartDoc 2017 Video Capture: Mobile Document Acquisition in Video Mode +

http://www.lrde.epita.fr/dload/papers/chazalon.17.icdar-ost.pdf +

Some Equivalence Relation between Persistent Homology and Morphological Dynamics +

https://www.lrde.epita.fr/dload/papers/boutry.22.jmiv.2.pdf +

Speckle Spot Detection in Ultrasound Images: Application to Speckle Reduction and Speckle Tracking +

http://www.lrde.epita.fr/dload/papers/widynski.14.ius.pdf +

Spot 2.0 — a framework for LTL and ω-automata manipulation +

http://www.lrde.epita.fr/dload/papers/duret.16.atva2.pdf +

Stability of the Tree of Shapes to Additive Noise +

http://www.lrde.epita.fr/dload/papers/boutry.21.dgmm.3.pdf +

Stacked and parallel U-nets with multi-output for myocardial pathology segmentation +

http://www.lrde.epita.fr/dload/papers/zhao.19.myops.pdf +

Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge +

http://www.lrde.epita.fr/dload/papers/kuijf.19.tmi.pdf +

Stochastic routing in large grid-shaped quantum networks +

http://www.lrde.epita.fr/dload/papers/le-quoc.07.rivf.pdf +

Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking +

http://www.lrde.epita.fr/dload/papers/renault.13.tacas.pdf +

Strong Euler Wellcomposedness +

http://www.lrde.epita.fr/dload/papers/boutry.21.joco.pdf +

Symbolic Model Checking of Stutter Invariant Properties Using Generalized Testing Automata +

http://www.lrde.epita.fr/dload/papers/bensalem.14.tacas.pdf +

T

TWEAST: A Simple and Effective Technique to Implement Concrete-Syntax AST Rewriting Using Partial Parsing +

http://www.lrde.epita.fr/dload/papers/demaille.09.sac.pdf +

Taking into account inclusion and adjacency information in morphological hierarchical representations, with application to the extraction of text in natural images and videos. +

https://www.lrde.epita.fr/dload/papers/huynh.18.phd.pdf +

Text detection in street level image +

http://www.lrde.epita.fr/dload/papers/fabrizio.13.paa.pdf +

TextCatcher: A method to detect curved and challenging text in natural scenes +

http://www.lrde.epita.fr/dload/papers/fabrizio.16.ijdar.pdf +

TextTrail: A Robust Text Tracking Algorithm In Wild Environments +

http://www.lrde.epita.fr/dload/papers/robert-seidowsky.15.visapp.pdf +

The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results +

http://www.lrde.epita.fr/dload/papers/jacobs.17.synt.pdf +

The Challenge of Cerebral Magnetic Resonance Imaging in Neonates: A New Method using Mathematical Morphology for the Segmentation of Structures Including Diffuse Excessive High Signal Intensities +

http://www.lrde.epita.fr/dload/papers/xu.18.media.pdf +

The Cost of Dynamism in Static Languages for Image Processing +

http://www.lrde.epita.fr/dload/papers/esteban.22.gpce.pdf +

The Dahu Graph-Cut for Interactive Segmentation on 2D/3D Images +

https://www.lrde.epita.fr/dload/papers/movn.22.pr.pdf +

The Hanoi Omega-Automata Format +

http://www.lrde.epita.fr/dload/papers/babiak.15.cav.pdf +

The SCRIBO Module of the Olena Platform: a Free Software Framework for Document Image Analysis +

http://www.lrde.epita.fr/dload/papers/lazzara.11.icdar.pdf +

The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm +

http://www.lrde.epita.fr/dload/papers/carlinet.18.icip.pdf +

The incredible tale of the author who didn't want to do the publisher's job +

http://www.lrde.epita.fr/dload/papers/verna.13.tug-1.pdf +

Three SCC-based Emptiness Checks for Generalized Büchi Automata +

http://www.lrde.epita.fr/dload/papers/renault.13.lpar.pdf +

TiCL: the Prototype (Star TeX: the Next GenerationSeason 2) +

http://www.lrde.epita.fr/dload/papers/verna.13.tug-2.pdf +

Retrieved from "https://www.lrde.epita.fr/index.php?title=Property:Publication_paper&oldid=5176"