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

• Is There a Best Büchi Automaton for Explicit Model Checking?  + (08:21:01, 3 April 2023)
• Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them  + (08:22:27, 3 April 2023)
• Context-Oriented Image Processing  + (08:22:32, 3 April 2023)
• A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams  + (08:46:34, 3 April 2023)
• Improving Parallel State-Space Exploration Using Genetic Algorithms  + (08:46:42, 3 April 2023)
• On the Usefulness of Clause Strengthening in Parallel SAT Solving  + (08:46:51, 3 April 2023)
• Community and LBD-based Clause Sharing Policy for Parallel SAT Solving  + (08:46:52, 3 April 2023)
• Revisiting the Visitor: the Just Do It Pattern  + (08:46:56, 3 April 2023)
• Improving the Quality of Rule-Based GNN Explanations  + (04:53:50, 4 April 2023)
• Forecasting Electricity Prices: An Optimize Then Predict-Based Approach  + (05:30:11, 4 April 2023)
• A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers  + (17:06:25, 7 April 2023)
• How to Make nD Functions Digitally Well-Composed in a Self-Dual Way  + (17:06:27, 7 April 2023)
• Using Separated Inputs for Multimodal Brain Tumor Segmentation with 3D U-Net-like Architectures  + (17:06:31, 7 April 2023)
• Euler Well-Composedness  + (17:06:32, 7 April 2023)
• A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-D  + (17:06:33, 7 April 2023)
• An Equivalence Relation between Morphological Dynamics and Persistent Homology in n-D  + (17:06:34, 7 April 2023)
• A New Matching Algorithm between Trees of Shapes and its Application to Brain Tumor Segmentation  + (17:06:35, 7 April 2023)
• Stability of the Tree of Shapes to Additive Noise  + (17:06:36, 7 April 2023)
• Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy  + (17:06:37, 7 April 2023)
• 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)