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 Comparative Review of Component Tree Computation Algorithms  +
• A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging  +
• A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation  +
• A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams  +
• A Tutorial on Well-Composedness  +
• A blockchain-based certificate revocation management and status verification system  +
• AGAT: Building and Evaluating Binary Partition Trees for Image Segmentation  +
• Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness  +
• Automatically Guided Selection of a Set of Underwater Calibration Images  +
• Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge  +
• Binary Methods Programming: the CLOS Perspective (extended version)  +
• Blockchain-Based Solution for Detecting and Preventing Fake Check Scams  +
• Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images  +
• Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation  +
• C-Transformers — A Framework to Write C Program Transformations  +
• Catoids and Modal Convolution Algebras  +
• Connected Filtering on Tree-Based Shape-Spaces  +
• Connected Filters on Generalized Shape-Spaces  +
• Continuous Well-Composedness implies Digital Well-Composedness in n-D  +
• Current Trends in Blockchain Implementations on the Paradigm of Public Key Infrastructure: A Survey  +
• Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy  +
• Derived-Term Automata of Multitape Expressions with Composition  +
• Discrete Morse Functions and Watersheds  +
• Efficient Multiscale Sauvola's Binarization  +
• Electricity Price Forecasting on the Day-Ahead Market using Machine Learning  +
• Equivalence between Digital Well-Composedness and Well-Composedness in the Sense of Alexandrov on n-D Cubical Grids  +
• Fast road network extraction in satellite images using mathematical morphology and Markov random fields  +
• Featured Games  +
• Front-End Factor Analysis For Speaker Verification  +
• Fusion of spatial relationships for guiding recognitionexample of brain structure recognition in 3D MRI  +
• Go2Pins: A framework for the LTL verification of Go programs (Extended Version)  +
• Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata  +
• Hierarchical Segmentation Using Tree-Based Shape Spaces  +
• Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection  +
• Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection  +
• High Throughput Automated Detection of Axial Malformations in Medaka Embryo  +
• Higher-Dimensional Timed and Hybrid Automata  +
• How to Boost Close-Range Remote Sensing Courses Using a Serious Game: Uncover in a Fun Way the Complexity and Transversality of Multi-Domain Field Acquisitions  +
• How to Make n-D Plain Maps Alexandrov-Well-Composed in a Self-dual Way  +
• How to help digital-native students to successfully take control of their learning : A return of 8 years of experience on a computer science e-learning platform in higher education  +
• How to make Lisp go faster than C  +
• Image restoration with discrete constrained Total Variation—Part I: Fast and exact optimization  +
• Image restoration with discrete constrained Total Variation—Part II: Levelable functions, convex priors and non-convex case  +
• Improving swarming using genetic algorithms  +
• In Pursuit of the Hidden Features of GNN's Internal Representations  +
• Introducing Vaucanson  +
• Introduction to the Special Issue on Distributed Hybrid Systems  +
• LTL Model Checking for Communicating Concurrent Programs  +
• LTL Translation Improvements in Spot 1.0  +
• Learning Grayscale Mathematical Morphology with Smooth Morphological Layers  +