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
- Découverte de sous-groupes de prédictions interprétables pour le triage d'incidents + (Extraction et Gestion des Connaissances, EGC 2022Blois, France, 24 au 28 janvier 2022)
- Practical Application of Probabilistic Model Checking to Communication Protocols + (FMICS Handbook on Industrial Critical Systems)
- Extensible languages: blurring the distinction between DSLs and GPLs + (Formal and Practical Aspects of Domain-Specific Languages: Recent Developments)
- Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation + (Fundamenta Informaticae)
- Parallel Model Checking Algorithms for Linear-Time Temporal Logic + (Handbook of Parallel Constraint Reasoning)
- How to make Lisp go faster than C + (IAENG International Journal of Computer Science)
- Current Trends in Blockchain Implementations on the Paradigm of Public Key Infrastructure: A Survey + (IEEE Access)
- Using subgroup discovery to relate odor pleasantness and intensity to peripheral nervous system reactions + (IEEE Transactions on Affective Computing)
- Unsupervised Methods for Speaker Diarization: An Integrated and Iterative Approach + (IEEE Transactions on Audio, Speech, and Language Processing)
- Front-End Factor Analysis For Speaker Verification + (IEEE Transactions on Audio, Speech, and Language Processing)
- Blockchain-Based Solution for Detecting and Preventing Fake Check Scams + (IEEE Transactions on Engineering Management)
- Object tracking by hierarchical decomposition of hyperspectral video sequences: Application to chemical gas plume tracking + (IEEE Transactions on Geoscience and Remote Sensing)
- A Comparative Review of Component Tree Computation Algorithms + (IEEE Transactions on Image Processing)
- Local Intensity Order Transformation for Robust Curvilinear Object Segmentation + (IEEE Transactions on Image Processing)
- MToS: A Tree of Shapes for Multivariate Images + (IEEE Transactions on Image Processing)
- Shape-based hand recognition + (IEEE Transactions on Image Processing)
- Tree-Based Morse Regions: A Topological Approach to Local Feature Detection + (IEEE Transactions on Image Processing)
- Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge + (IEEE Transactions on Medical Imaging)
- Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge + (IEEE Transactions on Medical Imaging)
- Parallel Computation of Component Trees on Distributed Memory Machines + (IEEE Transactions on Parallel and Distributed Systems)
- Max-Tree Computation on GPUs + (IEEE Transactions on Parallel and Distributed Systems)
- 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)