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

• 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))
• Discrete set-valued continuity and interpolation  + (Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM))
• Two applications of shape-based morphology: blood vessels segmentation and a generalization of constrained connectivity  + (Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM))
• Generic implementation of morphological image operators  + (Mathematical Morphology, Proceedings of the 6th International Symposium (ISMM))
• Algorithms for Mathematical Morphology  + (Mathematical Morphology—From Theory to Applications)
• The Challenge of Cerebral Magnetic Resonance Imaging in Neonates: A New Method using Mathematical Morphology for the Segmentation of Structures Including Diffuse Excessive High Signal Intensities  + (Medical Image Analysis)
• PAIP 2019: Liver Cancer Segmentation Challenge  + (Medical Image Analysis)
• A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging  + (Medical Image Analysis)
• Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy  + (Medical Image Analysis)
• VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images  + (Medical Image Analysis)
• Morphologie et algorithmes  + (Morphologie mathématique 2 : estimation, choix et mise en œuvre)
• Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness  + (Multimedia Tools and Applications)
• Stacked and parallel U-nets with multi-output for myocardial pathology segmentation  + (Myocardial Pathology Segmentation Combining Multi-Sequence CMR Challenge)
• LRDE Speaker Recognition System for NIST-SRE 2010  + (NIST 2010 Speaker Recognition Evaluation)
• ENST-IRCGN System Description  + (NIST SRE'06 Workshop: speaker recognition evaluation campaign)
• LRDE System description  + (NIST SRE'06 Workshop: speaker recognition evaluation campaign)
• MITLL 2012 Speaker Recognition Evaluation System Description  + (NIST Speaker Recognition Evaluation)
• The MIT Lincoln Laboratory 2016 Speaker Recognition System  + (NIST Speaker Recognition Evaluation 2016)
• The LRDE Systems for the 2008 NIST Speaker Recognition Evaluation  + (NIST-SRE 2008)
• Report on the 5th Workshop ELW at ECOOP 2008  + (Object-Oriented Technology. ECOOP 2008 Workshop Reader)
• GMM Weights Adaptation Based on Subspace Approaches for Speaker Verification  + (Odyssey 2014, The Speaker and Language Recognition Workshop)
• First Attempt at Boltzmann Machines for Speaker Recognition  + (Odyssey Speaker and Language Recognition Workshop)
• Cosine Similarity Scoring without Score Normalization Techniques  + (Odyssey The Speaker and Language Recognition)
• Unsupervised Speaker Adaptation based on the Cosine Similarity for Text-Independent Speaker Verification  + (Odyssey The Speaker and Language Recognition)
• Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them  + (Onward! 2011)
• Text detection in street level image  + (Pattern Analysis and Applications)

• Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images  + (Pattern Recognition)
• The Dahu Graph-Cut for Interactive Segmentation on 2D/3D Images  + (Pattern Recognition)

• Fusion of spatial relationships for guiding recognitionexample of brain structure recognition in 3D MRI  + (Pattern Recognition Letters)
• Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection  + (Pattern Recognition Letters)
• Connected Filters on Generalized Shape-Spaces  + (Pattern Recognition Letters)
• Hierarchical Set Decision Diagrams and Automatic Saturation  + (Petri Nets and Other Models of Concurrency –ICATPN 2008)
• An XML format proposal for the description of weighted automata, transducers, and regular expressions  + (Post-proceedings of the seventh international workshop on Finite-State Methods and Natural Language Processing (FSMNLP'08))
• Label-Efficient Self-Supervised Speaker Verification With Information Maximization and Contrastive Learning  + (Proc. Interspeech 2022)
• Atlas-guided recognition of cerebral structures in MRI using fusion of fuzzy structural information  + (Proceeding of CIMAF Symposium on Artificial Intelligence)
• The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results  + (Proceedings Sixth Workshop on Synthesis)
• Person authentication based on hand shape  + (Proceedings of 12th European Signal Processing Conference (EUSIPCO))
• Probabilistic verification and approximation  + (Proceedings of 12th Workshop on Logic, LanguageInformation and Computation (Wollic))
• Morphological Object Picking Based on the Color Tree of Shapes  + (Proceedings of 5th International Conference on Image Processing Theory, Tools and Applications (IPTA'15))
• Implementation Concepts in Vaucanson 2  + (Proceedings of Implementation and Application of Automata18th International Conference (CIAA'13))
• Introducing Vaucanson  + (Proceedings of Implementation and Application of Automata8th International Conference (CIAA'03))
• A Type System for Weighted Automata and Rational Expressions  + (Proceedings of Implementation and Application of Automata19th International Conference (CIAA'14))
• Inside Vaucanson  + (Proceedings of Implementation and Application of Automata10th International Conference (CIAA))
• Derived-Term Automata of Multitape Rational Expressions  + (Proceedings of Implementation and Application of Automata21st International Conference (CIAA'16))
• APMC 3.0: Approximate verification of Discrete and Continuous Time Markov Chains  + (Proceedings of Qest 2006)
• polyDD: Towards a Framework Generalizing Decision Diagrams  + (Proceedings of the 10th International Conference on Application of Concurrency to System Design (ACSD))
• A Self-Adaptive Likelihood Function for Tracking with Particle Filter  + (Proceedings of the 10th International Conference on Computer Vision Theory and Applications (VISAPP))
• TextTrail: A Robust Text Tracking Algorithm In Wild Environments  + (Proceedings of the 10th International Conference on Computer Vision Theory and Applications (VISAPP))
• Exact optimization of discrete constrained total variation minimization problems  + (Proceedings of the 10th International Workshop on Combinatorial Image Analysis (IWCIA))
• Resources for the DAS 2014 submission  + (Proceedings of the 11th IAPR International Workshop on Document Analysis Systems (DAS))
• The SCRIBO Module of the Olena Platform: a Free Software Framework for Document Image Analysis  + (Proceedings of the 11th International Conference on Document Analysis and Recognition (ICDAR))
• Towards the rectification of highly distorted texts  + (Proceedings of the 11th International Conference on Computer Vision Theory and Applications (VISAPP))