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
- Automation of Binary Analysis: From Open Source Collection to Threat Intelligence +
- Beating C in Scientific Computing Applications +
- Benchmarking Keypoint Filtering Approaches for Document Image Matching +
- Binary Methods Programming: the CLOS Perspective +
- Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them +
- CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving +
- CLOS Efficiency: Instantiation +
- CLOS solutions to binary methods +
- CLoX: Common Lisp objects for XEmacs +
- Caractérisation des zones de mouvement périodiques pour applications bio-médicales +
- Cepstral and Long-Term Features for Emotion Recognition +
- Classes, Styles, Conflicts: the Biological Realm of LaTeX +
- Color image segmentation based on automatic morphological clustering +
- Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation +
- Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata +
- Combining Parallel Emptiness Checks with Partial Order Reductions +
- Community and LBD-based Clause Sharing Policy for Parallel SAT Solving +
- Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map +
- Comparison Between Factor Analysis and GMM Support Vector Machines for Speaker Verification +
- Compositional Approach to Suspension and Other Improvements to LTL Translation +
- Constructing a braid of partitions from hierarchies of partitions +
- Context-Based Energy Estimator: Application to Object Segmentation on the Tree of Shapes +
- Context-Oriented Image Processing +
- Cosine Similarity Scoring without Score Normalization Techniques +
- CosySEL: Improving SAT Solving Using Local Symmetries +
- Debug Packages in OpenBSD +
- Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina +
- Derived-Term Automata of Multitape Rational Expressions +
- Derived-Term Automata of Weighted Rational Expressions with Quotient Operators +
- Derived-term Automata for Extended Weighted Rational Expressions +
- Discovering and Visualizing Tactics in Table Tennis Games Based on Subgroup Discovery +
- Discrete set-valued continuity and interpolation +
- Distribution, approximation and probabilistic model checking +
- Diversifying a Parallel SAT Solver with Bayesian Moment Matching +
- 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 +
- Document type recognition using evidence theory +
- Découverte de sous-groupes de prédictions interprétables pour le triage d'incidents +
- ENST-IRCGN System Description +
- ETAP: Experimental Typesetting Algorithms Platform +
- Effective Component Tree Computation with Application to Pattern Recognition in Astronomical Imaging +
- Effective Reductions of Mealy Machines +
- Efficient Computation of Attributes and Saliency Maps on Tree-Based Image Representations +
- Energy Problems in Finite and Timed Automata with Büchi Conditions +
- 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 +
- 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 +
- 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 +
- 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 +