Property

Has title

From LRDE

The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
Showing 50 pages using this property.
(
(Dynamic (Programming Paradigms)) ;; Performance and Expressivity  +
.
... Insert a title in French here ...  +
... Insert a title in French here ...  +
1
10 years of confrontation between French Internet users and their successive governments  +
A
A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-D  +
A Benchmark of Named Entity Recognition Approaches in Historical Documents  +
A Challenging Issue: Detection of White Matter Hyperintensities in Neonatal Brain MRI  +
A Channel-Blind System for Speaker Verification  +
A Color Tree of Shapes with Illustrations on FilteringSimplification, and Segmentation  +
A Comparative Review of Component Tree Computation Algorithms  +
A Corpus Processing and Analysis Pipeline for Quickref  +
A Fast and Exact Algorithm for Total Variation Minimization  +
A Feedback Arc Set for Spot  +
A First Parallel Algorithm to Compute the Morphological Tree of Shapes of nD Images  +
A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers  +
A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging  +
A Kleene Theorem for Higher-Dimensional Automata  +
A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers  +
A Modern C++ Point of View of Programming in Image Processing  +
A Morphological Method for Music Score Staff Removal  +
A Morphological Tree of Shapes for Color Images  +
A Myhill-Nerode Theorem for Higher-Dimensional Automata  +
A New Matching Algorithm between Trees of Shapes and its Application to Brain Tumor Segmentation  +
A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation  +
A Note on the Discrete Binary Mumford-Shah Model  +
A Portable, Simple, Embeddable Type System  +
A Promela front-end for Spot  +
A Quasi-Linear Algorithm to Compute the Tree of Shapes of n-D Images  +
A Secure Blockchain-Based Architecture for the COVID-19 Data Network  +
A Self-Adaptive Likelihood Function for Tracking with Particle Filter  +
A Set of Tools to Teach Compiler Construction  +
A Study of Well-Composedness in n-D  +
A Survey of French Local e-Democracy  +
A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams  +
A Tree of Shapes for Multivariate Images  +
A Tutorial on Well-Composedness  +
A Two-Stage Temporal-Like Fully Convolutional Network Framework for Left Ventricle Segmentation and Quantification on MR Images  +
A Type System for Weighted Automata and Rational Expressions  +
A Vectorial Self-Dual Morphological Filter based on Total Variation Minimization  +
A blockchain-based certificate revocation management and status verification system  +
A co-Büching Toolbox  +
A comparative study of image invariants for text / non-text classification  +
A comparison of many max-tree computation algorithms  +
A fast algorithm for auto-dual trees  +
A fast and exact algorithm for total variation minimization  +
A first step toward a fair comparison of evaluation protocols for text detection algorithms  +
A framework to dynamically manage distributed virtual environments  +
A new translation from LTL into TGBA in Spot  +
A note on nice-levelable MRFs for SAR image denoising with contrast preservation  +
A novel method to fight the non line of sight error in AOA measurements for mobile location  +