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

• Spatial reasoning with relative incomplete information on relative positioning  + (IEEE Transactions on Pattern Analysis and Machine Intelligence)
• Connected Filtering on Tree-Based Shape-Spaces  + (IEEE Transactions on Pattern Analysis and Machine Intelligence)
• Hierarchical Segmentation Using Tree-Based Shape Spaces  + (IEEE Transactions on Pattern Analysis and Machine Intelligence)
• Support Vector Machines and Joint Factor Analysis for Speaker Verification  + (IEEE-ICASSP)
• Language Recognition via I-Vectors and Dimensionality Reduction  + (INTERSPEECH 2011)
• What is a good evaluation protocol for text localization systems? Concerns, arguments, comparisons and solutions  + (Image and Vision Computing)
• Weakly Well-Composed Cell Complexes over nD Pictures  + (Information Sciences)
• Posets With Interfaces as a Model for Concurrency  + (Information and Computation)
• Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata  + (Information and Computation)
• Improving swarming using genetic algorithms  + (Innovations in Systems and Software Engineering: a NASA journal (ISSE))
• LTL Model Checking for Communicating Concurrent Programs  + (Innovations in Systems and Software Engineering: a NASA journal (ISSE))
• A Channel-Blind System for Speaker Verification  + (International Conference on Acoustics, Speech and Signal Processing (ICASSP))
• Document detection in videos captured by smartphones using a saliency-based method  + (International Conference on Document Analysis and Recognition Workshops (ICDARW))
• What Does my GNN Really Capture? On Exploring Internal GNN Representations  + (International Joint Conference on Artificial Intelligence 2022)
• Efficient Multiscale Sauvola's Binarization  + (International Journal of Document Analysis and Recognition (IJDAR))
• LTL Translation Improvements in Spot 1.0  + (International Journal on Critical Computer-Based Systems)
• TextCatcher: A method to detect curved and challenging text in natural scenes  + (International Journal on Document Analysis and Recognition)
• Model checking with generalized Rabin and Fin-less automata  + (International Journal on Software Tools for Technology Transfer)
• Variations on Parallel Explicit Model Checking for Generalized Büchi Automata  + (International Journal on Software Tools for Technology Transfer (STTT))
• Go2Pins: A framework for the LTL verification of Go programs (Extended Version)  + (International Journal on Software Tools for Technology Transfer (STTT))
• Two Stages CNN-Based Segmentation of GliomasUncertainty Quantification and Prediction of Overall Patient Survival  + (International MICCAI Brainlesion Workshop)
• Residual 3D U-Net with Localization for Brain Tumor Segmentation  + (International MICCAI Brainlesion Workshop)
• Energy Problems in Finite and Timed Automata with Büchi Conditions  + (International Symposium on Formal Methods (FM))
• Support Vector Machines versus Fast Scoring in the Low-Dimensional Total Variability Space for Speaker Verification  + (Interspeech)
• Cepstral and Long-Term Features for Emotion Recognition  + (Interspeech)
• Building LTL Model Checkers using Transition-based Generalized Büchi Automata  + (Invited talk to SUMo'11)
• Strong Euler Wellcomposedness  + (Journal of Combinatorial Optimization)
• NixOS: A purely functional Linux distribution  + (Journal of Functional Programming)
• QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results  + (Journal of Machine Learning for Biomedical Imaging (MELBA))

• A Tutorial on Well-Composedness  + (Journal of Mathematical Imaging and Vision)
• Continuous Well-Composedness implies Digital Well-Composedness in n-D  + (Journal of Mathematical Imaging and Vision)
• Equivalence between Digital Well-Composedness and Well-Composedness in the Sense of Alexandrov on n-D Cubical Grids  + (Journal of Mathematical Imaging and Vision)
• How to Make n-D Plain Maps Alexandrov-Well-Composed in a Self-dual Way  + (Journal of Mathematical Imaging and Vision)
• Image restoration with discrete constrained Total Variation—Part I: Fast and exact optimization  + (Journal of Mathematical Imaging and Vision)
• Image restoration with discrete constrained Total Variation—Part II: Levelable functions, convex priors and non-convex case  + (Journal of Mathematical Imaging and Vision)
• Learning Grayscale Mathematical Morphology with Smooth Morphological Layers  + (Journal of Mathematical Imaging and Vision)
• Some Equivalence Relation between Persistent Homology and Morphological Dynamics  + (Journal of Mathematical Imaging and Vision)
• Topological Properties of the First Non-Local Digitally Well-Composed Interpolation on n-D Cubical Grids  + (Journal of Mathematical Imaging and Vision)

• Discrete Morse Functions and Watersheds  + (Journal of Mathematical Imaging and Vision (Special Edition))
• Binary Methods Programming: the CLOS Perspective (extended version)  + (Journal of Universal Computer Science)
• Revisiting the Visitor: the Just Do It Pattern  + (Journal of Universal Computer Science)
• Experimental digital Gabor hologram rendering of C. elegans worms by a model-trained convolutional neural network (Conference Presentation)  + (Label-free Biomedical Imaging and Sensing (LBIS) 2020)
• Introduction to the Special Issue on Distributed Hybrid Systems  + (Leibniz Transactions on Embedded Systems)
• Higher-Dimensional Timed and Hybrid Automata  + (Leibniz Transactions on Embedded Systems)
• Discovering and Visualizing Tactics in Table Tennis Games Based on Subgroup Discovery  + (Machine Learning and Data Mining for Sports Analytics - 9th International Workshop, MLSA 2022)
• How to Make nD Functions Digitally Well-Composed in a Self-Dual Way  + (Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM))
• A Color Tree of Shapes with Illustrations on FilteringSimplification, and Segmentation  + (Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM))
• Self-Duality and Digital Topology: Links Between the Morphological Tree of Shapes and Well-Composed Gray-Level Images  + (Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM))
• Efficient Computation of Attributes and Saliency Maps on Tree-Based Image Representations  + (Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM))
• An Equivalence Relation between Morphological Dynamics and Persistent Homology in 1D  + (Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM))
• Introducing Multivariate Connected Openings and Closings  + (Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM))
• Spherical fluorescent particle segmentation and tracking in 3D confocal microscopy  + (Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM))
• Constructing a braid of partitions from hierarchies of partitions  + (Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM))
• Introducing the Dahu Pseudo-Distance  + (Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM))
• Morphological Hierarchical Image Decomposition Based on Laplacian 0-Crossings  + (Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM))
• Morphological Analysis of Brownian Motion for Physical Measurements  + (Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM))
• Milena: Write Generic Morphological Algorithms Once, Run on Many Kinds of Images  + (Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the Ninth International Symposium on Mathematical Morphology (ISMM))
• A comparison of many max-tree computation algorithms  + (Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM))
• A Quasi-Linear Algorithm to Compute the Tree of Shapes of n-D Images  + (Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM))