1981 search results - page 206 / 397 » Model-Checking Hierarchical Structures |
124
Voted
ICIP
2009
IEEE
15 years 10 days ago
2009
IEEE
This paper presents a new approach for segmenting a video sequence containing dynamic textures. The proposed method is based on a 2D+T curvelet transform and an octree hierarchica...
132
Voted
IJIS
2011
14 years 6 months ago
2011
In this paper, we propose a method for modeling concepts in full computation-tree logic with sequence modal operators. An extended full computation-tree logic, CTLS∗ , is introdu...
221
Voted
POPL
2006
ACM
16 years 2 months ago
2006
ACM
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...
109
click to vote
MICCAI
2006
Springer
16 years 3 months ago
2006
Springer
The segmentation problem appears in most medical imaging applications. Many research groups are pushing toward a whole body segmentation based on atlases. With a similar objective,...
107
Voted
ISBI
2004
IEEE
16 years 3 months ago
2004
IEEE
High quality segmentation of brain MR images is a challenging task. To deal with this problem many automatic segmentation methods rely on atlas information of anatomical structure...