282 search results - page 10 / 57 » Description Logics for Shape Analysis |
MIAR
2006
IEEE
14 years 5 months ago
2006
IEEE
Abstract. A main focus of statistical shape analysis is the description of variability of a population of geometric objects. In this paper, we present work in progress towards mode...
MICCAI
2005
Springer
14 years 12 months ago
2005
Springer
The growing usage of statistical shape analysis in medical imaging calls for effective methods for highly accurate shape correspondence. This paper presents a novel landmark-based ...
VMCAI
2010
Springer
14 years 8 months ago
2010
Springer
Tracking subset relations between the contents containers on the heap is fundamental to modeling the semantics of many common programing idioms such as applying a function to a sub...
TCS
2008
13 years 11 months ago
2008
Starting from the logical description of gene regulatory networks developed by R. Thomas, we introduce an enhanced modelling approach based on timed automata. We obtain a refined ...
MICCAI
2003
Springer
14 years 12 months ago
2003
Springer
We demonstrate our mouse MR image and shape analysis pipeline. The long term goal of our work is the description of structural shape variations in normal, genetically identical mic...