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
- 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))
- ICDAR 2021 Competition on Historical Map Segmentation + (Proceedings of the 16th International Conference on Document Analysis and Recognition (ICDAR'21))
- Vectorization of Historical Maps Using Deep Edge Filtering and Closed Shape Extraction + (Proceedings of the 16th International Conference on Document Analysis and Recognition (ICDAR'21))
- Generic Emptiness Check for Fun and Profit + (Proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis (ATVA'19))
- Vers une réutilisabilité totale des algorithmes de traitement d'images + (Proceedings of the 17th Symposium on Signal and Image Processing (GRETSI))
- Estimating the noise level function with the tree of shapes and non-parametric statistics + (Proceedings of the 18th International Conference on Computer Analysis of Images and Patterns (CAIP))
- On Making nD Images Well-Composed by a Self-Dual Local Interpolation + (Proceedings of the 18th International Conference on Discrete Geometry for Computer Imagery (DGCI))
- Practical “Paritizing” of Emerson–Lei Automata + (Proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis (ATVA'20))
- Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking + (Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'13))
- Three SCC-based Emptiness Checks for Generalized Büchi Automata + (Proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'13))
- Parallel Explicit Model Checking for Generalized Büchi Automata + (Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'15))
- Context-Based Energy Estimator: Application to Object Segmentation on the Tree of Shapes + (Proceedings of the 19th International Conference on Image Processing (ICIP))
- The use of levelable regularization functions for MRF restoration of SAR images + (Proceedings of the 19th Symposium SPIE on Electronic Imaging)
- Segmentation of curvilinear objects using a watershed-based curve adjacency graph + (Proceedings of the 1st Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA))
- SmartDoc 2017 Video Capture: Mobile Document Acquisition in Video Mode + (Proceedings of the 1st International Workshop on Open Services and Tools for Document Analysis (ICDAR-OST))
- Uniform Random Sampling of Traces in Very Large Models + (Proceedings of the 1st international workshop on Random Testing 2006 (RT06))
- On the security of quantum networks: a proposal framework and its capacity + (Proceedings of the 2007 International Conference on New Technologies, Mobility and Security (NTMS'07))
- PaInleSS: a Framework for Parallel SAT Solving + (Proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing (SAT'17))