vix.ing · top · new · best · stats · spec

Vincenzo Ciancia

  1. VoxLogicA: a Spatial Model Checker for Declarative Image Analysis (Extended Version)
    2018/11/14 by Gina Belmonte, Vincenzo Ciancia, Belmonte, Gina +5 · 1 citation
    Computer Science · Neuroscience · #Advanced Neural Network Applications #Brain Tumor Detection and Classification #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Medical Image Segmentation Techniques