VoxLogicA [1] is a free and open source, multi-platform tool, catering for a novel approach to image segmentation, bringing in ideas from formal methods in software engineering, rapid-development, and declarative programming languages, that have been successful in other domains. In a few lines of code, complex analyses can be specified, translating domain knowledge into logical properties. For instance, in brain tumor segmentation, logical properties encode facts such as ''the oedema touches the tumor'', or ''the tumor contains hyperintense areas; furthermore, very intense areas that are very close to hyperintense ones, are part of the tumor''. Such constraints are extremely effective at filtering noise in automated analysis. The logical core is extended by including imaging primitives, e.g., texture similarity or image normalisation. The language is ''a query language for image analysis''. Its innovation potential can be compared to that of the ''Structured Query Language'' SQL, that revolutionised automated data analysis, by permitting queries on large datasets to be designed by experts of the domain to which the data belongs, instead of computer programmers.
VoxLogicA: Voxel-based Logical Analyser
Ciancia V;Latella D;Massink M
2019
Abstract
VoxLogicA [1] is a free and open source, multi-platform tool, catering for a novel approach to image segmentation, bringing in ideas from formal methods in software engineering, rapid-development, and declarative programming languages, that have been successful in other domains. In a few lines of code, complex analyses can be specified, translating domain knowledge into logical properties. For instance, in brain tumor segmentation, logical properties encode facts such as ''the oedema touches the tumor'', or ''the tumor contains hyperintense areas; furthermore, very intense areas that are very close to hyperintense ones, are part of the tumor''. Such constraints are extremely effective at filtering noise in automated analysis. The logical core is extended by including imaging primitives, e.g., texture similarity or image normalisation. The language is ''a query language for image analysis''. Its innovation potential can be compared to that of the ''Structured Query Language'' SQL, that revolutionised automated data analysis, by permitting queries on large datasets to be designed by experts of the domain to which the data belongs, instead of computer programmers.File | Dimensione | Formato | |
---|---|---|---|
prod_410606-doc_146581.pdf
accesso aperto
Descrizione: VoxLogicA: Voxel-based Logical Analyser
Tipologia:
Versione Editoriale (PDF)
Dimensione
112.64 kB
Formato
Adobe PDF
|
112.64 kB | Adobe PDF | Visualizza/Apri |
prod_410606-doc_164341.pdf
non disponibili
Descrizione: VoxLogicA: Voxel-based Logical Analyser
Tipologia:
Versione Editoriale (PDF)
Dimensione
962.61 kB
Formato
Adobe PDF
|
962.61 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.