Matches in SemOpenAlex for { <https://semopenalex.org/work/W2901943169> ?p ?o ?g. }
- W2901943169 abstract "Spatial and spatio-temporal model checking techniques have a wide range of application domains, among which large scale distributed systems and signal and image analysis. We explore a new domain, namely (semi-)automatic contouring in Medical Imaging, introducing the tool VoxLogicA which merges the state-of-the-art library of computational imaging algorithms ITK with the unique combination of declarative specification and optimised execution provided by spatial logic model checking. The result is a rapid, logic based analysis development methodology. The analysis of an existing benchmark of medical images for segmentation of brain tumours shows that simple VoxLogicA analysis can reach state-of-the-art accuracy, competing with best-in-class algorithms, with the advantage of explainability and replicability. Furthermore, due to a two-orders-of-magnitude speedup compared to the existing general-purpose spatio-temporal model checker topochecker, VoxLogicA enables interactive development of analysis of 3D medical images, which can greatly facilitate the work of professionals in this domain." @default.
- W2901943169 created "2018-11-29" @default.
- W2901943169 creator A5010801501 @default.
- W2901943169 creator A5049253314 @default.
- W2901943169 creator A5049483818 @default.
- W2901943169 creator A5082534511 @default.
- W2901943169 date "2018-11-14" @default.
- W2901943169 modified "2023-09-27" @default.
- W2901943169 title "VoxLogicA: a Spatial Model Checker for Declarative Image Analysis (Extended Version)" @default.
- W2901943169 cites W1530375570 @default.
- W2901943169 cites W1601893258 @default.
- W2901943169 cites W1641498739 @default.
- W2901943169 cites W1705718777 @default.
- W2901943169 cites W1879819495 @default.
- W2901943169 cites W1918227179 @default.
- W2901943169 cites W1974775743 @default.
- W2901943169 cites W1978720913 @default.
- W2901943169 cites W2014695103 @default.
- W2901943169 cites W2028158228 @default.
- W2901943169 cites W2052295501 @default.
- W2901943169 cites W2060408509 @default.
- W2901943169 cites W2119440128 @default.
- W2901943169 cites W2149077040 @default.
- W2901943169 cites W2163854509 @default.
- W2901943169 cites W2213239507 @default.
- W2901943169 cites W2234073770 @default.
- W2901943169 cites W2235566456 @default.
- W2901943169 cites W2463579057 @default.
- W2901943169 cites W2473841607 @default.
- W2901943169 cites W2527872501 @default.
- W2901943169 cites W2751069891 @default.
- W2901943169 cites W2758427605 @default.
- W2901943169 cites W2785192168 @default.
- W2901943169 cites W86222690 @default.
- W2901943169 cites W2170590026 @default.
- W2901943169 hasPublicationYear "2018" @default.
- W2901943169 type Work @default.
- W2901943169 sameAs 2901943169 @default.
- W2901943169 citedByCount "1" @default.
- W2901943169 countsByYear W29019431692020 @default.
- W2901943169 crossrefType "posted-content" @default.
- W2901943169 hasAuthorship W2901943169A5010801501 @default.
- W2901943169 hasAuthorship W2901943169A5049253314 @default.
- W2901943169 hasAuthorship W2901943169A5049483818 @default.
- W2901943169 hasAuthorship W2901943169A5082534511 @default.
- W2901943169 hasConcept C110251889 @default.
- W2901943169 hasConcept C115961682 @default.
- W2901943169 hasConcept C121684516 @default.
- W2901943169 hasConcept C124101348 @default.
- W2901943169 hasConcept C13280743 @default.
- W2901943169 hasConcept C134306372 @default.
- W2901943169 hasConcept C154945302 @default.
- W2901943169 hasConcept C173608175 @default.
- W2901943169 hasConcept C185798385 @default.
- W2901943169 hasConcept C199360897 @default.
- W2901943169 hasConcept C205649164 @default.
- W2901943169 hasConcept C25016198 @default.
- W2901943169 hasConcept C2779104521 @default.
- W2901943169 hasConcept C31601959 @default.
- W2901943169 hasConcept C33923547 @default.
- W2901943169 hasConcept C36503486 @default.
- W2901943169 hasConcept C41008148 @default.
- W2901943169 hasConcept C48103436 @default.
- W2901943169 hasConcept C68339613 @default.
- W2901943169 hasConcept C80444323 @default.
- W2901943169 hasConcept C89600930 @default.
- W2901943169 hasConceptScore W2901943169C110251889 @default.
- W2901943169 hasConceptScore W2901943169C115961682 @default.
- W2901943169 hasConceptScore W2901943169C121684516 @default.
- W2901943169 hasConceptScore W2901943169C124101348 @default.
- W2901943169 hasConceptScore W2901943169C13280743 @default.
- W2901943169 hasConceptScore W2901943169C134306372 @default.
- W2901943169 hasConceptScore W2901943169C154945302 @default.
- W2901943169 hasConceptScore W2901943169C173608175 @default.
- W2901943169 hasConceptScore W2901943169C185798385 @default.
- W2901943169 hasConceptScore W2901943169C199360897 @default.
- W2901943169 hasConceptScore W2901943169C205649164 @default.
- W2901943169 hasConceptScore W2901943169C25016198 @default.
- W2901943169 hasConceptScore W2901943169C2779104521 @default.
- W2901943169 hasConceptScore W2901943169C31601959 @default.
- W2901943169 hasConceptScore W2901943169C33923547 @default.
- W2901943169 hasConceptScore W2901943169C36503486 @default.
- W2901943169 hasConceptScore W2901943169C41008148 @default.
- W2901943169 hasConceptScore W2901943169C48103436 @default.
- W2901943169 hasConceptScore W2901943169C68339613 @default.
- W2901943169 hasConceptScore W2901943169C80444323 @default.
- W2901943169 hasConceptScore W2901943169C89600930 @default.
- W2901943169 hasLocation W29019431691 @default.
- W2901943169 hasOpenAccess W2901943169 @default.
- W2901943169 hasPrimaryLocation W29019431691 @default.
- W2901943169 hasRelatedWork W167039926 @default.
- W2901943169 hasRelatedWork W2016188600 @default.
- W2901943169 hasRelatedWork W2111204599 @default.
- W2901943169 hasRelatedWork W2167126374 @default.
- W2901943169 hasRelatedWork W2339419198 @default.
- W2901943169 hasRelatedWork W2567579026 @default.
- W2901943169 hasRelatedWork W2888486030 @default.
- W2901943169 hasRelatedWork W2900363265 @default.
- W2901943169 hasRelatedWork W2963954267 @default.
- W2901943169 hasRelatedWork W2985822417 @default.