Semantic search
No value
- Constructing a braid of partitions from hierarchies of partitions (News year 2019, Has title Constructing a braid of partitions from hierarchies of partitions)
- Context-Based Energy Estimator: Application to Object Segmentation on the Tree of Shapes (News year 2012, Has title Context-Based Energy Estimator: Application to Object Segmentation on the Tree of Shapes)
- Context-Oriented Image Processing (News year 2015, Has title Context-Oriented Image Processing)
- Continuous Well-Composedness implies Digital Well-Composedness in n-D (News year 2021, Has title Continuous Well-Composedness implies Digital Well-Composedness in n-D)
- Contribution aux tests de vacuité pour le model checking explicite (News year 2014, Has title Contribution aux tests de vacuité pour le model checking explicite)
- Contributions to LTL and ω-Automata for Model Checking (News year 2017, Has title Contributions to LTL and ω-Automata for Model Checking)
- Cosine Similarity Scoring without Score Normalization Techniques (News year 2010, Has title Cosine Similarity Scoring without Score Normalization Techniques)
- CosySEL: Improving SAT Solving Using Local Symmetries (News year 2022, Has title CosySEL: Improving SAT Solving Using Local Symmetries)
- Current Trends in Blockchain Implementations on the Paradigm of Public Key Infrastructure: A Survey (News year 2022, Has title Current Trends in Blockchain Implementations on the Paradigm of Public Key Infrastructure: A Survey)
- Debug Packages in OpenBSD (News year 2021, Has title Debug Packages in OpenBSD)
- Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy (News year 2021, Has title Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy)
- Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina (News year 2018, Has title Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina)
- Derived-Term Automata of Multitape Expressions with Composition (News year 2017, Has title Derived-Term Automata of Multitape Expressions with Composition)
- Derived-Term Automata of Multitape Rational Expressions (News year 2016, Has title Derived-Term Automata of Multitape Rational Expressions)
- Derived-Term Automata of Weighted Rational Expressions with Quotient Operators (News year 2017, Has title Derived-Term Automata of Weighted Rational Expressions with Quotient Operators)
- Derived-term Automata for Extended Weighted Rational Expressions (News year 2016, Has title Derived-term Automata for Extended Weighted Rational Expressions)
- Discovering and Visualizing Tactics in Table Tennis Games Based on Subgroup Discovery (News year 2022, Has title Discovering and Visualizing Tactics in Table Tennis Games Based on Subgroup Discovery)
- Discrete Morse Functions and Watersheds (News year 2023, Has title Discrete Morse Functions and Watersheds)
- Discrete set-valued continuity and interpolation (News year 2013, Has title Discrete set-valued continuity and interpolation)
- Distribution, approximation and probabilistic model checking (News year 2005, Has title Distribution, approximation and probabilistic model checking)
- Diversifying a Parallel SAT Solver with Bayesian Moment Matching (News year 2022, Has title Diversifying a Parallel SAT Solver with Bayesian Moment Matching)
- Do not Treat Boundaries and Regions Differently: An Example on Heart Left Atrial Segmentation (News year 2020, Has title Do not Treat Boundaries and Regions Differently: An Example on Heart Left Atrial Segmentation)
- Document detection in videos captured by smartphones using a saliency-based method (News year 2018, Has title Document detection in videos captured by smartphones using a saliency-based method)
- Document type recognition using evidence theory (News year 2003, Has title Document type recognition using evidence theory)
- Données, Transparence et Démocratie (News year 2022, Has title Données, Transparence et Démocratie)
- Découverte de sous-groupes de prédictions interprétables pour le triage d'incidents (News year 2022, Has title Découverte de sous-groupes de prédictions interprétables pour le triage d'incidents)
- ENST-IRCGN System Description (News year 2006, Has title ENST-IRCGN System Description)
- ETAP: Experimental Typesetting Algorithms Platform (News year 2022, Has title ETAP: Experimental Typesetting Algorithms Platform)
- Effective Component Tree Computation with Application to Pattern Recognition in Astronomical Imaging (News year 2007, Has title Effective Component Tree Computation with Application to Pattern Recognition in Astronomical Imaging)
- Effective Reductions of Mealy Machines (News year 2022, Has title Effective Reductions of Mealy Machines)
- Efficient Computation of Attributes and Saliency Maps on Tree-Based Image Representations (News year 2015, Has title Efficient Computation of Attributes and Saliency Maps on Tree-Based Image Representations)
- Efficient Dynamic Type Checking of Heterogeneous Sequences (News year 2016, Has title Efficient Dynamic Type Checking of Heterogeneous Sequences)
- Efficient Multiscale Sauvola's Binarization (News year 2013, Has title Efficient Multiscale Sauvola's Binarization)
- Electricity Price Forecasting on the Day-Ahead Market using Machine Learning (News year 2022, Has title Electricity Price Forecasting on the Day-Ahead Market using Machine Learning)
- Energy Problems in Finite and Timed Automata with Büchi Conditions (News year 2022, Has title Energy Problems in Finite and Timed Automata with Büchi Conditions)
- Equivalence between Digital Well-Composedness and Well-Composedness in the Sense of Alexandrov on n-D Cubical Grids (News year 2020, Has title Equivalence between Digital Well-Composedness and Well-Composedness in the Sense of Alexandrov on n-D Cubical Grids)
- Error correcting code performance for watermark protection (News year 2001, Has title Error correcting code performance for watermark protection)
- Espaces des formes basés sur des arbres : définition et applications en traitement d'images et vision par ordinateur (News year 2014, Has title Espaces des formes basés sur des arbres : définition et applications en traitement d'images et vision par ordinateur)
- Estimating the Number of Endmembers to Use in Spectral Unmixing of Hyperspectral Data with Collaborative Sparsity (News year 2016, Has title Estimating the Number of Endmembers to Use in Spectral Unmixing of Hyperspectral Data with Collaborative Sparsity)
- Estimating the noise level function with the tree of shapes and non-parametric statistics (News year 2019, Has title Estimating the noise level function with the tree of shapes and non-parametric statistics)
- Estimation de la fonction de niveau de bruit pour des images couleurs en utilisant la morphologie mathématique (News year 2022, Has title Estimation de la fonction de niveau de bruit pour des images couleurs en utilisant la morphologie mathématique)
- Estimation du niveau de bruit par arbre des formes et statistiques non paramétriques (News year 2019, Has title Estimation du niveau de bruit par arbre des formes et statistiques non paramétriques)
- Estimation of the noise level function for color images using mathematical morphology and non-parametric statistics (News year 2022, Has title Estimation of the noise level function for color images using mathematical morphology and non-parametric statistics)
- Euler Well-Composedness (News year 2020, Has title Euler Well-Composedness)
- Evaluating complex MAC protocols for sensor networks with APMC (News year 2006, Has title Evaluating complex MAC protocols for sensor networks with APMC)
- Evaluation of Anomaly Detection for Cybersecurity Using Inductive Node Embedding with Convolutional Graph Neural Networks (News year 2021, Has title Evaluation of Anomaly Detection for Cybersecurity Using Inductive Node Embedding with Convolutional Graph Neural Networks)
- Exact optimization of discrete constrained total variation minimization problems (News year 2004, Has title Exact optimization of discrete constrained total variation minimization problems)
- Exact optimization of discrete constrained total variation minimization problems (News year 2004, Has title Exact optimization of discrete constrained total variation minimization problems)
- Experimental digital Gabor hologram rendering of C. elegans worms by a model-trained convolutional neural network (Conference Presentation) (News year 2020, Has title Experimental digital Gabor hologram rendering of C. elegans worms by a model-trained convolutional neural network (Conference Presentation))
- Explicit State Model Checking with Generalized Büchi and Rabin Automata (News year 2017, Has title Explicit State Model Checking with Generalized Büchi and Rabin Automata)