From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical Imaging.
Gina BelmonteVincenzo CianciaDiego LatellaMieke MassinkPublished in: FORECAST@STAF (2016)
Keyphrases
- medical imaging
- model checking
- adaptive systems
- human centric
- context awareness
- temporal logic
- medical images
- x ray
- model checker
- context aware
- formal verification
- image analysis
- image segmentation
- image registration
- image processing
- learning systems
- verification method
- human centered
- computation tree logic
- computer vision
- formal methods
- e government
- human computer interaction
- user model
- ambient intelligence
- ubiquitous computing
- user modeling
- pervasive computing
- e learning
- smart home
- remote sensing
- context sensitive
- intelligent systems
- software engineering
- recommender systems
- individual user
- expert systems
- knowledge base