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 +
- 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 +
- Optimization of the Product Configuration System of Renault +
- PaInleSS: a Framework for Parallel SAT Solving +
- Parallel Explicit Model Checking for Generalized Büchi Automata +
- Parallel Learning Portfolio-Based Solvers +
- Parallel Satisfiability Solver Based on Hybrid Partitioning Method +
- Parallelizing Quickref +
- Periodic Area-of-Motion characterization for Bio-Medical applications +
- Person authentication based on hand shape +
- Polar type inference with intersection types and ω +
- Practical Applications of the Alternating Cycle Decomposition +
- Practical Genericity: Writing Image Processing Algorithms Both Reusable and Efficient +
- Practical Stutter-Invariance Checks for ω-Regular Languages +
- Practical “Paritizing” of Emerson–Lei Automata +
- Probabilistic Verification of Sensor Networks +
- Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC +
- Probabilistic verification and approximation +
- Program templates: expression templates applied to program evaluation +
- Programmatic Manipulation of Common Lisp Type Specifiers +
- Project EFIGI: Automatic classification of galaxies +
- Qu'est-ce que mon GNN capture vraiment ? Exploration des représentations internes d'un GNN +
- Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo +
- Reactive Synthesis from LTL Specification with Spot +
- Real-Time Document Detection in Smartphone Videos +
- Real-Time Document Detection in Smartphone Videos +
- Recognizing Heterogeneous Sequences by Rational Type Expression +
- Reconnaissance de structures cérébrales à l'aide d'un atlas et par fusion d'informations structurelles floues +
- Region-Based Classification of Remote Sensing Images with the Morphological Tree of Shapes +
- Report on the 5th Workshop ELW at ECOOP 2008 +
- Residual 3D U-Net with Localization for Brain Tumor Segmentation +
- Resources for the DAS 2014 submission +
- Revisiting the Coco Panoptic Metric to Enable Visual and Qualitative Analysis of Historical Map Instance Segmentation +
- Revisiting the Visitor: the Just Do It Pattern +
- Ruminations on Tarjan's Union-Find algorithm and connected operators +
- SAT-based Minimization of Deterministic ω-Automata +
- Saliency-Based Detection of Identity Documents Captured by Smartphones +
- Salient Level Lines Selection Using the Mumford-Shah Functional +
- Segmentation d'IRM de cerveaux de nouveau-nés en quelques secondes à l'aide d'un réseau de neurones convolutif pseudo-3D et de transfert d'apprentissage +
- Segmentation d'images en couleur par classification morphologique non supervisée +
- Segmentation d'objets curvilignes à l'aide des champs de Markov sur un graphe d'adjacence de courbes issu de l'algorithme de la ligne de partage des eaux +
- Segmentation des hyperintensités de la matière blanche en quelques secondes à l'aide d'un réseau de neurones convolutif et de transfert d'apprentissage +
- Segmentation of Gliomas and Prediction of Patient Overall Survival: A Simple and Fast Procedure +
- Segmentation of curvilinear objects using a watershed-based curve adjacency graph +
- Self-Duality and Digital Topology: Links Between the Morphological Tree of Shapes and Well-Composed Gray-Level Images +
- Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking +
- Semantics driven disambiguation: A comparison of different approaches +
- Semantics-Driven Genericity: A Sequel to the Static C++ Object-Oriented Programming Paradigm (SCOOP 2) +
- Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization +
- Seminator: A Tool for Semi-Determinization of Omega-Automata +
- Single-pass Testing Automata for LTL Model Checking +
- SmartDoc 2017 Video Capture: Mobile Document Acquisition in Video Mode +
- SnooperText: A Multiresolution System for Text Detection in Complex Visual Scenes +
- Speckle Spot Detection in Ultrasound Images: Application to Speckle Reduction and Speckle Tracking +
- Spherical fluorescent particle segmentation and tracking in 3D confocal microscopy +
- Spot 2.0 — a framework for LTL and ω-automata manipulation +
- Stability of the Tree of Shapes to Additive Noise +
- Stacked and parallel U-nets with multi-output for myocardial pathology segmentation +
- Star TeX : the Next Generation +
- Stochastic routing in large grid-shaped quantum networks +
- Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking +
- Support Vector Machines and Joint Factor Analysis for Speaker Verification +
- Support Vector Machines versus Fast Scoring in the Low-Dimensional Total Variability Space for Speaker Verification +
- Symbolic Model Checking of Stutter Invariant Properties Using Generalized Testing Automata +
- TWEAST: A Simple and Effective Technique to Implement Concrete-Syntax AST Rewriting Using Partial Parsing +
- TextTrail: A Robust Text Tracking Algorithm In Wild Environments +
- The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results +
- The Biosecure Geometry-based System for Hand Modality +
- The Cost of Dynamism in Static Languages for Image Processing +
- The Hanoi Omega-Automata Format +
- The LRDE Systems for the 2008 NIST Speaker Recognition Evaluation +
- The MIT Lincoln Laboratory 2016 Speaker Recognition System +
- The Role of Speaker Factors in the NIST Extended Data Task +
- The SCRIBO Module of the Olena Platform: a Free Software Framework for Document Image Analysis +
- The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm +
- The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm +
- The incredible tale of the author who didn't want to do the publisher's job +
- The use of levelable regularization functions for MRF restoration of SAR images +
- Three SCC-based Emptiness Checks for Generalized Büchi Automata +
- TiCL: the Prototype (Star TeX: the Next GenerationSeason 2) +
- Topology-Aware Method to Segment 3D Plan Tissue Images +
- Total Variation Minimization with L^1 Data Fidelity as a Contrast Invariant Filter +
- Towards Better Heuristics for Solving Bounded Model Checking Problems +
- Towards LaTeX Coding Standards +
- Towards the World-Wide Quantum Network +
- Towards the rectification of highly distorted texts +
- Trie-based Output Itemset Sampling +
- Tuning SAT Solvers for LTL Model Checking +
- Two Stages CNN-Based Segmentation of GliomasUncertainty Quantification and Prediction of Overall Patient Survival +
- Two applications of shape-based morphology: blood vessels segmentation and a generalization of constrained connectivity +
- Type-Checking of Heterogeneous Sequences in Common Lisp +
- Un algorithme de complexité linéaire pour le calcul de l'arbre des formes +
- Une approche générique du logiciel pour le traitement d'images préservant les performances +
- Une approche morphologique de segmentation interactive avec l'arbre des formes couleur +
- Uniform Random Sampling of Traces in Very Large Models +
- Unsupervised Speaker Adaptation based on the Cosine Similarity for Text-Independent Speaker Verification +
- Urbi et Orbi: unusual design and implementation choices for distributed virtual environments +
- Using Separated Inputs for Multimodal Brain Tumor Segmentation with 3D U-Net-like Architectures +
- Using histogram representation and Earth Mover's Distance as an evaluation tool for text detection +
- Vectorization of Historical Maps Using Deep Edge Filtering and Closed Shape Extraction +
- Vers une réutilisabilité totale des algorithmes de traitement d'images +
- Virtual reality and tele-operation: a common framework +
- Visualization issues in virtual environments: from computer graphics techniques to intentional visualization +
- VizNN: Visual Data Augmentation with Convolutional Neural Networks for Cybersecurity Investigation +
- Web services at TERAPIX +
- Well-Composedness in Alexandrov spaces implies Digital Well-Composedness in Z^n +
- What Does my GNN Really Capture? On Exploring Internal GNN Representations +
- White Matter Hyperintensities Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning +
- Why and How to Design a Generic and Efficient Image Processing Framework: The Case of the Milena Library +
- Writing Reusable Digital Geometry Algorithms in a Generic Image Processing Framework +
- Writing Reusable Digital Topology Algorithms in a Generic Image Processing Framework +
- libDMC: a library to Operate Efficient Distributed Model Checking +
- polyDD: Towards a Framework Generalizing Decision Diagrams +