Semantic search
No value
- (Dynamic (Programming Paradigms)) ;; Performance and Expressivity (News year 2020, Has title (Dynamic (Programming Paradigms)) ;; Performance and Expressivity)
- 10 years of confrontation between French Internet users and their successive governments (News year 2007, Has title 10 years of confrontation between French Internet users and their successive governments)
- A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-D (News year 2020, Has title A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-D)
- A Benchmark of Named Entity Recognition Approaches in Historical Documents (News year 2022, Has title A Benchmark of Named Entity Recognition Approaches in Historical Documents)
- A Challenging Issue: Detection of White Matter Hyperintensities in Neonatal Brain MRI (News year 2016, Has title A Challenging Issue: Detection of White Matter Hyperintensities in Neonatal Brain MRI)
- A Channel-Blind System for Speaker Verification (News year 2011, Has title A Channel-Blind System for Speaker Verification)
- A Color Tree of Shapes with Illustrations on FilteringSimplification, and Segmentation (News year 2015, Has title A Color Tree of Shapes with Illustrations on FilteringSimplification, and Segmentation)
- A Comparative Review of Component Tree Computation Algorithms (News year 2014, Has title A Comparative Review of Component Tree Computation Algorithms)
- A Corpus Processing and Analysis Pipeline for Quickref (News year 2021, Has title A Corpus Processing and Analysis Pipeline for Quickref)
- A Fast and Exact Algorithm for Total Variation Minimization (News year 2005, Has title A Fast and Exact Algorithm for Total Variation Minimization)
- A First Parallel Algorithm to Compute the Morphological Tree of Shapes of nD Images (News year 2014, Has title 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 (News year 2018, Has title 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 (News year 2020, Has title 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 (News year 2022, Has title A Kleene Theorem for Higher-Dimensional Automata)
- A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers (News year 2020, Has title A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers)
- A Modern C++ Point of View of Programming in Image Processing (News year 2022, Has title A Modern C++ Point of View of Programming in Image Processing)
- A Morphological Method for Music Score Staff Removal (News year 2014, Has title A Morphological Method for Music Score Staff Removal)
- A Morphological Tree of Shapes for Color Images (News year 2014, Has title A Morphological Tree of Shapes for Color Images)
- A Myhill-Nerode Theorem for Higher-Dimensional Automata (News year 2023, Has title A Myhill-Nerode Theorem for Higher-Dimensional Automata)
- A New Matching Algorithm between Trees of Shapes and its Application to Brain Tumor Segmentation (News year 2021, Has title 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 (News year 2020, Has title 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 (News year 2006, Has title A Note on the Discrete Binary Mumford-Shah Model)
- A Portable, Simple, Embeddable Type System (News year 2021, Has title A Portable, Simple, Embeddable Type System)
- A Quasi-Linear Algorithm to Compute the Tree of Shapes of n-D Images (News year 2013, Has title 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 (News year 2021, Has title A Secure Blockchain-Based Architecture for the COVID-19 Data Network)
- A Self-Adaptive Likelihood Function for Tracking with Particle Filter (News year 2015, Has title A Self-Adaptive Likelihood Function for Tracking with Particle Filter)
- A Set of Tools to Teach Compiler Construction (News year 2008, Has title A Set of Tools to Teach Compiler Construction)
- A Study of Well-Composedness in n-D (News year 2016, Has title A Study of Well-Composedness in n-D)
- A Survey of French Local e-Democracy (News year 2008, Has title A Survey of French Local e-Democracy)
- A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams (News year 2018, Has title A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams)
- A Tree of Shapes for Multivariate Images (News year 2015, Has title A Tree of Shapes for Multivariate Images)
- A Tutorial on Well-Composedness (News year 2017, Has title A Tutorial on Well-Composedness)
- A Two-Stage Temporal-Like Fully Convolutional Network Framework for Left Ventricle Segmentation and Quantification on MR Images (News year 2020, Has title 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 (News year 2014, Has title A Type System for Weighted Automata and Rational Expressions)
- A Vectorial Self-Dual Morphological Filter based on Total Variation Minimization (News year 2005, Has title A Vectorial Self-Dual Morphological Filter based on Total Variation Minimization)
- A blockchain-based certificate revocation management and status verification system (News year 2021, Has title A blockchain-based certificate revocation management and status verification system)
- A comparison of many max-tree computation algorithms (News year 2013, Has title A comparison of many max-tree computation algorithms)
- A fast and exact algorithm for total variation minimization (News year 2005, Has title A fast and exact algorithm for total variation minimization)
- A first step toward a fair comparison of evaluation protocols for text detection algorithms (News year 2018, Has title A first step toward a fair comparison of evaluation protocols for text detection algorithms)
- A framework to dynamically manage distributed virtual environments (News year 2000, Has title A framework to dynamically manage distributed virtual environments)
- A note on nice-levelable MRFs for SAR image denoising with contrast preservation (News year 2006, Has title 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 (News year 2004, Has title A novel method to fight the non line of sight error in AOA measurements for mobile location)
- A precise skew estimation algorithm for document images using KNN clustering and Fourier transform (News year 2014, Has title A precise skew estimation algorithm for document images using KNN clustering and Fourier transform)
- A static C++ object-oriented programming (SCOOP) paradigm mixing benefits of traditional OOP and generic programming (News year 2003, Has title A static C++ object-oriented programming (SCOOP) paradigm mixing benefits of traditional OOP and generic programming)
- AGAT: Building and Evaluating Binary Partition Trees for Image Segmentation (News year 2021, Has title AGAT: Building and Evaluating Binary Partition Trees for Image Segmentation)
- APMC 3.0: Approximate verification of Discrete and Continuous Time Markov Chains (News year 2006, Has title APMC 3.0: Approximate verification of Discrete and Continuous Time Markov Chains)
- Action recognition: how intelligent virtual environments can ease human-machine interaction (News year 2000, Has title Action recognition: how intelligent virtual environments can ease human-machine interaction)
- Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis (News year 2017, Has title Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis)
- Algorithme de calcul de l'arbre des composantes avec applications à la reconnaissance des formes en imagerie satellitaire (News year 2007, Has title Algorithme de calcul de l'arbre des composantes avec applications à la reconnaissance des formes en imagerie satellitaire)
- Algorithms for Mathematical Morphology (News year 2010, Has title Algorithms for Mathematical Morphology)