Search by property
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- Estimation of the noise level function for color images using mathematical morphology and non-parametric statistics +
- Euler Well-Composedness +
- Evaluating complex MAC protocols for sensor networks with APMC +
- Evaluation of Anomaly Detection for Cybersecurity Using Inductive Node Embedding with Convolutional Graph Neural Networks +
- 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) +
- Explicit State Model Checking with Generalized Büchi and Rabin Automata +
- Expression templates in Ada 95 +
- Extending Testing Automata to All LTL +
- Extraction of Ancient Map Contents Using Trees of Connected Components +
- FOANet: A Focus of Attention Network with Application to Myocardium Segmentation +
- Fast Road Network Extraction in Satellite Images using Mathematical Morphology and MRF +
- Fast and Exact Discrete Image Restoration Based on Total Variation and on Its Extensions to Levelable Potentials +
- Fast color image segmentation based on levellings in feature Space +
- Filtres connexes multivariés par fusion d'arbres de composantes +
- Finite Automata Theory Based Optimization of Conditional Variable Binding +
- First Attempt at Boltzmann Machines for Speaker Recognition +
- Forecasting Electricity Prices: An Optimize Then Predict-Based Approach +
- From Neonatal to Adult Brain MR Image Segmentation in a Few Seconds Using 3D-Like Fully Convolutional Network and Transfer Learning +
- From Spot 2.0 to Spot 2.10: What's New? +
- From text detection to text segmentation: a unified evaluation scheme +
- GMM Weights Adaptation Based on Subspace Approaches for Speaker Verification +
- GenIDA, une base de données participative internationale permettant de mieux connaître l'histoire naturelle et les comorbidités des formes génétiques de troubles neurodéveloppementaux +
- Generalized Büchi Automata versus Testing Automata for Model Checking +
- Generic Emptiness Check for Fun and Profit +
- Generic Image Processing with Climb +
- Generic algorithmic blocks dedicated to image processing +
- Generic design patterns in C++ +
- Generic implementation of morphological image operators +
- Generic programming redesign of patterns +
- Getting a morphological Tree of Shapes for Multivariate Images: Paths, Traps and Pitfalls +
- Global Optimization for First Order Markov Random Fields with Submodular Priors +
- Go2Pins: A Framework for the LTL Verification of Go Programs +
- Going beyond p-convolutions to learn grayscale morphological operators +
- Gradient Vector Fields of Discrete Morse Functions and Watershed-Cuts +
- Généricité dynamique pour des algorithmes morphologiques +
- Hate Speech and Toxic Comment Detection using Transformers +
- Heuristics for Checking Liveness Properties with Partial Order Reductions +
- Hierarchical Set Decision Diagrams and Automatic Saturation +
- How to Make nD Functions Digitally Well-Composed in a Self-Dual Way +
- How to Make nD Images Well-Composed Without Interpolation +
- How to make Lisp go faster than C +
- ICDAR 2021 Competition on Historical Map Segmentation +
- Implementation Concepts in Vaucanson 2 +
- Implementing Baker's SUBTYPEP decision procedure +
- Improving Parallel State-Space Exploration Using Genetic Algorithms +
- Improving the Quality of Rule-Based GNN Explanations +
- Inside Vaucanson +
- Intervertebral Disc Segmentation Using Mathematical Morphology—A CNN-Free Approach +
- Introducing Multivariate Connected Openings and Closings +
- Introducing Vaucanson +
- Introducing the Boundary-Aware Loss for Deep Image Segmentation +
- Introducing the Dahu Pseudo-Distance +
- Is There a Best Büchi Automaton for Explicit Model Checking? +
- Kernel Combination for SVM Speaker Verification +
- LRDE Speaker Recognition System for NIST-SRE 2010 +
- LRDE System description +
- LTL Model Checking with Neco +
- LTL Translation Improvements in Spot +
- LTL under reductions with weaker conditions than stutter invariance +
- La pseudo-distance du dahu +
- Label-Efficient Self-Supervised Speaker Verification With Information Maximization and Contrastive Learning +
- Language Recognition via I-Vectors and Dimensionality Reduction +
- Learning Diversity Attributes in Multi-Session Recommendations +
- Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model Formulation +
- Learning Sentinel-2 Spectral Dynamics for Long-Run Predictions Using Residual Neural Networks +
- Left Atrial Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning +
- Linear and Non Linear Kernel GMM SuperVector Machines for Speaker Verification +
- Local reasoning in fuzzy attribute graphs for optimizing sequential segmentation +
- MITLL 2012 Speaker Recognition Evaluation System Description +
- Making Compiler Construction Projects Relevant to Core Curriculums +
- Manipulating LTL formulas using Spot 1.0 +
- Meaningful disjoint level lines selection +
- Mechanizing the Minimization of Deterministic Generalized Büchi Automata +
- Metagene, a C++ meta-program generation tool +
- Method Combinators +
- Milena: Write Generic Morphological Algorithms Once, Run on Many Kinds of Images +
- Modeling of Sensor Networks Using XRM +
- Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework +
- Morphological Analysis of Brownian Motion for Physical Measurements +
- Morphological Filtering in Shape Spaces : Applications using Tree-Based Image Representations +
- Morphological Hierarchical Image Decomposition Based on Laplacian 0-Crossings +
- Morphological Object Picking Based on the Color Tree of Shapes +
- Morphology-Based Hierarchical Representation with Application to Text Segmentation in Natural Images +
- Motion Compensation in Digital Holography for Retinal Imaging +
- Multi-band segmentation using morphological clustering and fusion application to color image segmentation +
- Multi-purpose Tactile Perception Based on Deep Learning in a New Tendon-driven Optical Tactile Sensor +
- New Security Protocols for Offline Point-of-Sale Machines +
- Obtaining genericity for image processing and pattern recognition algorithms +
- Olena: a component-based platform for image processingmixing generic, generative and OO programming +
- On Making nD Images Well-Composed by a Self-Dual Local Interpolation +
- On Refinement of Büchi Automata for Explicit Model Checking +
- On Robustness for the Skolem and Positivity Problems +
- On Some Associations Between Mathematical Morphology and Artificial Intelligence +
- On a Polynomial Vector Field Model for Shape Representation +
- On orthogonal specialization in C++: dealing with efficiency and algebraic abstraction in Vaucanson +
- On the Usefulness of Clause Strengthening in Parallel SAT Solving +
- On the security of quantum networks: a proposal framework and its capacity +
- On-the-fly Emptiness Check of Transition-based Streett Automata +
- One More Step Towards Well-Composedness of Cell Complexes over n-D Pictures +