Property

Publication paper

From LRDE

This is a property of type URL.

previous 1002050100250500next 100
Showing 100 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  +
Retrieved from "https://www.lrde.epita.fr/index.php?title=Property:Publication_paper&oldid=5176"