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
- Une approche générique du logiciel pour le traitement d'images préservant les performances + (Proceedings of the 23rd Symposium on Signal and Image Processing (GRETSI))
- Morphology-Based Hierarchical Representation with Application to Text Segmentation in Natural Images + (Proceedings of the 23st International Conference on Pattern Recognition (ICPR))
- TWEAST: A Simple and Effective Technique to Implement Concrete-Syntax AST Rewriting Using Partial Parsing + (Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC'09))
- The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm + (Proceedings of the 24th IEEE International Conference on Image Processing (ICIP))
- Real-Time Document Detection in Smartphone Videos + (Proceedings of the 24th IEEE International Conference on Image Processing (ICIP))
- The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm + (Proceedings of the 24th IEEE International Conference on Image Processing (ICIP))
- Real-Time Document Detection in Smartphone Videos + (Proceedings of the 24th IEEE International Conference on Image Processing (ICIP))
- CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving + (Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'18))
- Explicit State Model Checking with Generalized Büchi and Rabin Automata + (Proceedings of the 24th International SPIN Symposium on Model Checking of Software (SPIN'17))
- Parallel Satisfiability Solver Based on Hybrid Partitioning Method + (Proceedings of the 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP))
- FOANet: A Focus of Attention Network with Application to Myocardium Segmentation + (Proceedings of the 25th International Conference on Pattern Recognition (ICPR))
- Do not Treat Boundaries and Regions Differently: An Example on Heart Left Atrial Segmentation + (Proceedings of the 25th International Conference on Pattern Recognition (ICPR))
- Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework + (Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19))
- A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers + (Proceedings of the 26 th International Conference on Principles and Practice of Constraint Programming (CP'20))
- Estimation of the noise level function for color images using mathematical morphology and non-parametric statistics + (Proceedings of the 26th International Conference on Pattern Recognition)
- Filtres connexes multivariés par fusion d'arbres de composantes + (Proceedings of the 27st Symposium on Signal and Image Processing (GRETSI))
- Estimation du niveau de bruit par arbre des formes et statistiques non paramétriques + (Proceedings of the 27st Symposium on Signal and Image Processing (GRETSI))
- Towards Better Heuristics for Solving Bounded Model Checking Problems + (Proceedings of the 27th International Conference on Principles and Practice of Constraint Programmings (CP'21))
- The Hanoi Omega-Automata Format + (Proceedings of the 27th International Conference on Computer Aided Verification (CAV'15))
- Go2Pins: A Framework for the LTL Verification of Go Programs + (Proceedings of the 27th International SPIN Symposium on Model Checking of Software (SPIN'21))
- Automation of Binary Analysis: From Open Source Collection to Threat Intelligence + (Proceedings of the 28th C&ESAR)
- Practical Applications of the Alternating Cycle Decomposition + (Proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'22))
- Tuning SAT Solvers for LTL Model Checking + (Proceedings of the 29th Asia-Pacific Software Engineering Conference (APSEC'22))
- Learning Sentinel-2 Spectral Dynamics for Long-Run Predictions Using Residual Neural Networks + (Proceedings of the 29th European Signal Processing Conference (EUSIPCO))
- A Fast and Exact Algorithm for Total Variation Minimization + (Proceedings of the 2nd Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA))
- A framework to dynamically manage distributed virtual environments + (Proceedings of the 2nd International Conference on Virtual Worlds (VW))
- Olena: a component-based platform for image processingmixing generic, generative and OO programming + (Proceedings of the 2nd International Symposium on Generative and Component-Based Software Engineering (GCSE)—Young Researchers Workshop; published in “Net.ObjectDays2000”)
- Modeling of Sensor Networks Using XRM + (Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'06))
- From text detection to text segmentation: a unified evaluation scheme + (Proceedings of the 2nd International Workshop on Robust Reading Conference (IWRR-ECCV))
- Polar type inference with intersection types and ω + (Proceedings of the 2nd Workshop on Intersection Types and Related Systems (ITRS), published in: Electronic Notes in Theoretical Computer Science)
- An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming + (Proceedings of the 2nd Workshop on Reproducible Research in Pattern Recognition (RRPR 2018))
- Introducing the Boundary-Aware Loss for Deep Image Segmentation + (Proceedings of the 32nd British Machine Vision Conference (BMVC))
- The Biosecure Geometry-based System for Hand Modality + (Proceedings of the 32nd IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP))
- Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization + (Proceedings of the 32nd International Conference on Computer-Aided Verification (CAV'20))
- Mechanizing the Minimization of Deterministic Generalized Büchi Automata + (Proceedings of the 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'14))
- From Spot 2.0 to Spot 2.10: What's New? + (Proceedings of the 34th International Conference on Computer Aided Verification (CAV'22))
- Extending Testing Automata to All LTL + (Proceedings of the 35th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'15))
- CLoX: Common Lisp objects for XEmacs + (Proceedings of the 3rd European Lisp Symposium)
- LTL under reductions with weaker conditions than stutter invariance + (Proceedings of the 41th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'22))
- Effective Reductions of Mealy Machines + (Proceedings of the 42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE'22))
- Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model Formulation + (Proceedings of the 45th IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP))
- Towards the World-Wide Quantum Network + (Proceedings of the 4th Information Security Practice and Experience Conference (ISPEC'08))
- Total Variation Minimization with L^1 Data Fidelity as a Contrast Invariant Filter + (Proceedings of the 4th International Symposium on Image and Signal Processing and Analysis (ISPA 2005))
- Using Separated Inputs for Multimodal Brain Tumor Segmentation with 3D U-Net-like Architectures + (Proceedings of the 4th International Workshop, BrainLes 2019, Held in Conjunction with MICCAI 2019)
- Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC + (Proceedings of the 4th International Workshop on Automated Verification of Critical Systems (AVoCS))
- Distribution, approximation and probabilistic model checking + (Proceedings of the 4th international workshop on Parallel and Distributed Model Checking (PDMC))
- Generic programming redesign of patterns + (Proceedings of the 5th European Conference on Pattern Languages of Programs (EuroPLoP))
- Document type recognition using evidence theory + (Proceedings of the 5th IAPR International Workshop on Graphics Recognition (GREC))
- LTL Translation Improvements in Spot + (Proceedings of the 5th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS'11))
- Intervertebral Disc Segmentation Using Mathematical Morphology—A CNN-Free Approach + (Proceedings of the 5th MICCAI Workshop & Challenge on Computational Methods and Clinical Applications for Spine Imaging (CSI))
- Virtual reality and tele-operation: a common framework + (Proceedings of the 5th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI)—Emergent Computing and Virtual Engineering)