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

• Seminator: A Tool for Semi-Determinization of Omega-Automata  + (16:48:11, 10 March 2023)
• Towards Better Heuristics for Solving Bounded Model Checking Problems  + (16:49:05, 10 March 2023)
• Tuning SAT Solvers for LTL Model Checking  + (16:49:06, 10 March 2023)
• Go2Pins: A framework for the LTL verification of Go programs (Extended Version)  + (16:49:31, 10 March 2023)
• Towards Better Heuristics for Solving Bounded Model Checking Problems  + (16:49:59, 10 March 2023)
• Practical Applications of the Alternating Cycle Decomposition  + (16:52:03, 10 March 2023)
• Ph.D. Defense Yizi Chen  + (17:10:19, 13 March 2023)
• File:Logo enac.jpg  + (13:00:09, 21 March 2023)
• File:Logo-ecole doctorale Systemes.jpg  + (13:01:37, 21 March 2023)
• File:Enac.png  + (13:04:55, 21 March 2023)
• PhD Defense Nicolas Nalpon  + (13:08:04, 21 March 2023)
• 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)