Sciweavers

9067 search results - page 387 / 1814
» Adaptive Model Checking
Sort
View
CAIP
2001
Springer
165views Image Analysis» more  CAIP 2001»
15 years 11 months ago
A New Approach for Model-Based Adaptive Region Growing in Medical Image Analysis
Abstract. Interaction increases flexibility of segmentation but it leads to undesirable behaviour of an algorithm if knowledge being requested is inappropriate. In region growing, ...
Regina Pohle, Klaus D. Tönnies
FM
2001
Springer
85views Formal Methods» more  FM 2001»
15 years 11 months ago
A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware
Nalini Venkatasubramanian, Carolyn L. Talcott, Gul...