Embedding RCC8D in the Collective Spatial Logic CSLCS

Ciancia, Vincenzo; Latella, Diego; Massink, Mieke

doi:10.1007/978-3-030-21485-2_15

Cited by 7 publications

(2 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…For the general definition on socalled closure spaces, and the link between (multi-dimensional) images, graphs, closure spaces and topological spatial logics we refer the reader to [16,3,10]. The syntax of the logic we use in this paper is its most up-to-date rendition, where the surrounded connective from [16] is a derived one, whereas reachability is primitive, as in [4,17,20]. Given set P of atomic predicates, with p ∈ P , the syntax of the logic is described by the following grammar:…”

Section: The Spatial Logic Slcsmentioning

confidence: 99%

See 1 more Smart Citation

A spatial model checker in GPU (extended version)

Bussi,

Ciancia,

Gadducci

2020

Preprint

Self Cite

View full text Add to dashboard Cite

The tool VoxLogicA merges the state-of-the-art library of computational imaging algorithms ITK with the combination of declarative specification and optimised execution provided by spatial logic model checking. The analysis of an existing benchmark for segmentation of brain tumours via a simple logical specification reached state-of-the-art accuracy. We present a new, GPU-based version of VoxLogicA and discuss its implementation, scalability, and applications.

show abstract

Section: The Spatial Logic Slcsmentioning

confidence: 99%

“…From the basic operators, several interesting notions can be derived, such as interior (corresponding to the imaging primitive of erosion), surroundedness, contact between regions (see also [17], encoding the discrete Region Calculus RCC8D of [29] in a variant of SLCS).…”

Section: The Spatial Logic Slcsmentioning

confidence: 99%