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

• Residual 3D U-Net with Localization for Brain Tumor Segmentation  + (17:06:38, 7 April 2023)
• Gradient Vector Fields of Discrete Morse Functions and Watershed-Cuts  + (17:06:39, 7 April 2023)
• Discovering and Visualizing Tactics in Table Tennis Games Based on Subgroup Discovery  + (17:07:11, 7 April 2023)
• Estimation du niveau de bruit par arbre des formes et statistiques non paramétriques  + (17:07:19, 7 April 2023)
• Estimation de la fonction de niveau de bruit pour des images couleurs en utilisant la morphologie mathématique  + (17:07:20, 7 April 2023)
• Généricité dynamique pour des algorithmes morphologiques  + (17:07:21, 7 April 2023)
• A Myhill-Nerode Theorem for Higher-Dimensional Automata  + (17:07:25, 7 April 2023)
• Automation of Binary Analysis: From Open Source Collection to Threat Intelligence  + (17:07:33, 7 April 2023)
• Hate Speech and Toxic Comment Detection using Transformers  + (17:07:34, 7 April 2023)
• Taking into account inclusion and adjacency information in morphological hierarchical representations, with application to the extraction of text in natural images and videos.  + (17:07:38, 7 April 2023)
• Optimization of the Product Configuration System of Renault  + (17:07:41, 7 April 2023)
• An Experience Report on the Optimization of the Product Configuration System of Renault  + (17:07:41, 7 April 2023)
• Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge  + (17:07:43, 7 April 2023)
• PaInleSS: a Framework for Parallel SAT Solving  + (17:07:46, 7 April 2023)
• Towards more efficient parallel SAT solving  + (17:07:46, 7 April 2023)
• Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework  + (17:07:47, 7 April 2023)
• GenIDA, une base de données participative internationale permettant de mieux connaître l'histoire naturelle et les comorbidités des formes génétiques de troubles neurodéveloppementaux  + (17:07:54, 7 April 2023)
• Gradients Intégrés Renforcés  + (17:07:55, 7 April 2023)
• QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results  + (17:07:56, 7 April 2023)
• Parallel Satisfiability Solver Based on Hybrid Partitioning Method  + (17:07:57, 7 April 2023)
• CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving  + (17:07:58, 7 April 2023)
• Reactive Synthesis from LTL Specification with Spot  + (17:07:59, 7 April 2023)
• Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms  + (17:08:01, 7 April 2023)
• Introducing the Boundary-Aware Loss for Deep Image Segmentation  + (17:08:02, 7 April 2023)
• Topology-Aware Method to Segment 3D Plan Tissue Images  + (17:08:03, 7 April 2023)

• A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers  + (17:08:04, 7 April 2023)

• Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set  + (17:08:06, 7 April 2023)
• Approaches in Typecase Optimization  + (17:08:07, 7 April 2023)
• Recognizing Heterogeneous Sequences by Rational Type Expression  + (17:08:08, 7 April 2023)
• Finite Automata Theory Based Optimization of Conditional Variable Binding  + (17:08:10, 7 April 2023)
• Performance Comparison of Several Folding Strategies  + (17:08:11, 7 April 2023)
• Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map  + (17:08:12, 7 April 2023)
• Données, Transparence et Démocratie  + (17:08:13, 7 April 2023)
• Combining Parallel Emptiness Checks with Partial Order Reductions  + (17:08:14, 7 April 2023)
• Caractérisation des zones de mouvement périodiques pour applications bio-médicales  + (17:08:15, 7 April 2023)
• High throughput automated detection of axial malformations in fish embryo  + (17:08:17, 7 April 2023)
• Segmentation des hyperintensités de la matière blanche en quelques secondes à l'aide d'un réseau de neurones convolutif et de transfert d'apprentissage  + (17:08:18, 7 April 2023)
• VizNN: Visual Data Augmentation with Convolutional Neural Networks for Cybersecurity Investigation  + (17:08:20, 7 April 2023)
• Découverte de sous-groupes de prédictions interprétables pour le triage d'incidents  + (17:08:21, 7 April 2023)
• Non-iterative methods for image improvement in digital holography of the retina  + (17:08:26, 7 April 2023)
• CosySEL: Improving SAT Solving Using Local Symmetries  + (17:08:28, 7 April 2023)
• Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis  + (17:08:30, 7 April 2023)
• Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images  + (17:08:32, 7 April 2023)
• Implementing Baker's SUBTYPEP decision procedure  + (17:08:33, 7 April 2023)
• Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo  + (17:08:41, 7 April 2023)
• Qu'est-ce que mon GNN capture vraiment ? Exploration des représentations internes d'un GNN  + (17:08:43, 7 April 2023)
• Segmentation d'IRM de cerveaux de nouveau-nés en quelques secondes à l'aide d'un réseau de neurones convolutif pseudo-3D et de transfert d'apprentissage  + (17:08:48, 7 April 2023)
• Multi-purpose Tactile Perception Based on Deep Learning in a New Tendon-driven Optical Tactile Sensor  + (17:08:52, 7 April 2023)
• Derived-Term Automata of Multitape Expressions with Composition  + (08:39:44, 22 April 2023)
• Type-Checking of Heterogeneous Sequences in Common Lisp  + (08:40:28, 22 April 2023)
• Representing and Computing with Types in Dynamically Typed Languages  + (08:40:31, 22 April 2023)