Après avoir ajouter une news, il faut revenir sur la page News puis cliquer sur le bouton «refresh» en haut à droite ou simplement suivre le lien suivant refresh news.

Catégorie contenant les news : Category:News Catégorie contenant les publications : Category:Publications (les publications ne doivent pas être modifier manuellement)

Seminar/2021-10-06, Towards better Heuristics for solving Bounded Model Checking Problems, VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images, NewsEntry (2021/07/05), Go2Pins: A Framework for the LTL Verification of Go Programs, Vectorization of Historical Maps Using Deep Edge Filtering and Closed Shape Extraction, ICDAR 2021 Competition on Historical Map Segmentation, Revisiting the Coco Panoptic Metric to Enable Visual and Qualitative Analysis of Historical Map Instance Segmentation, Seminar/2021-05-12, Learning Sentinel-2 Spectral Dynamics for Long-Run Predictions Using Residual Neural Networks, A Corpus Processing and Analysis Pipeline for Quickref, A Portable, Simple, Embeddable Type System, Seminar/2021-03-31, NewsEntry (2021/03/05), Stability of the Tree of Shapes to Additive Noise, A New Matching Algorithm between Trees of Shapes and its Application to Brain Tumor Segmentation, An Equivalence Relation between Morphological Dynamics and Persistent Homology in n-D, Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy, On Some Associations Between Mathematical Morphology and Artificial Intelligence, Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation, Going beyond p-convolutions to learn grayscale morphological operators, Seminar/2021-02-10, Seminar/2020-12-16, NewsEntry (2020/11/16), A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging, PAIP 2019: Liver Cancer Segmentation Challenge, Do not Treat Boundaries and Regions Differently: An Example on Heart Left Atrial Segmentation, FOANet: A Focus of Attention Network with Application to Myocardium Segmentation, NewsEntry (2020/10/21), Two Stages CNN-Based Segmentation of GliomasUncertainty Quantification and Prediction of Overall Patient Survival, Equivalence between Digital Well-Composedness and Well-Composedness in the Sense of Alexandrov on n-D Cubical Grids, Topological Properties of the First Non-Local Digitally Well-Composed Interpolation on n-D Cubical Grids, A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers, On the Usefulness of Clause Strengthening in Parallel SAT Solving, Euler Well-Composedness, A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-D, Non-iterative methods for image improvement in digital holography of the retina, NewsEntry (2020/07/17), NewsEntry (2020/07/10), (Dynamic (Programming Paradigms)) ;; Performance and Expressivity, Practical “Paritizing” of Emerson–Lei Automata, Improving swarming using genetic algorithms, A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation, NewsEntry (2020/06/02), Community and LBD-based Clause Sharing Policy for Parallel SAT Solving, Using Separated Inputs for Multimodal Brain Tumor Segmentation with 3D U-Net-like Architectures, LTL Model Checking for Communicating Concurrent Programs, Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization, NewsEntry (2020/04/28), NewsEntry (2020/04/03)... further results