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

• 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))
• Manipulating LTL formulas using Spot 1.0  + (Proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis (ATVA'13))
• LTL Model Checking with Neco  + (Proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis (ATVA'13))
• Extraction of Ancient Map Contents Using Trees of Connected Components  + (Proceedings of the 12th IAPR International Workshop on Graphics Recognition (GREC))
• Improving Parallel State-Space Exploration Using Genetic Algorithms  + (Proceedings of the 12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECOS'18))
• On the Usefulness of Clause Strengthening in Parallel SAT Solving  + (Proceedings of the 12th NASA Formal Methods Symposium (NFM'20))
• An efficient algorithm for attribute openings and closings  + (Proceedings of the 13th European Signal Processing Conference (EUSIPCO))
• Using histogram representation and Earth Mover's Distance as an evaluation tool for text detection  + (Proceedings of the 13th IAPR International Conference on Document Analysis and Recognition (ICDAR))
• Estimating the Number of Endmembers to Use in Spectral Unmixing of Hyperspectral Data with Collaborative Sparsity  + (Proceedings of the 13th International Conference on Latent Variable Analysis and Signal Separation (LVA-ICA))
• Error correcting code performance for watermark protection  + (Proceedings of the 13th Symposium SPIE on Electronic Imaging—-Security and Watermarking of Multimedia Contents III (EI27))
• A Corpus Processing and Analysis Pipeline for Quickref  + (Proceedings of the 14th European Lisp Symposium (ELS))
• A Portable, Simple, Embeddable Type System  + (Proceedings of the 14th European Lisp Symposium (ELS))
• Benchmarking Keypoint Filtering Approaches for Document Image Matching  + (Proceedings of the 14th International Conference on Document Analysis and Recognition (ICDAR))
• Heuristics for Checking Liveness Properties with Partial Order Reductions  + (Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA'16))
• Spot 2.0 — a framework for LTL and ω-automata manipulation  + (Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA'16))
• A Benchmark of Named Entity Recognition Approaches in Historical Documents  + (Proceedings of the 15th IAPR International Workshop on Document Analysis System)
• Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata  + (Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD'15))
• Obtaining genericity for image processing and pattern recognition algorithms  + (Proceedings of the 15th International Conference on Pattern Recognition (ICPR))
• Revisiting the Coco Panoptic Metric to Enable Visual and Qualitative Analysis of Historical Map Instance Segmentation  + (Proceedings of the 16th International Conference on Document Analysis and Recognition (ICDAR'21))