2912 search results - page 389 / 583 » Logistic Model Trees |
139
click to vote
LICS
1994
IEEE
15 years 8 months ago
1994
IEEE
The modal mu-calculus is an expressive logic that can be used to specify safety and liveness properties of concurrent systems represented as labeled transition systems (LTSs). We ...
173
click to vote
MICCAI
2008
Springer
16 years 5 months ago
2008
Springer
In this paper we present a fully automated approach to the segmentation of pediatric brain tumors in multi-spectral 3-D magnetic resonance images. It is a top-down segmentation app...
164
click to vote
CAIP
2009
Springer
15 years 10 months ago
2009
Springer
This paper describes a comprehensive approach to extract a common feature set from the image sequences. We use simple features which are easily extracted from a 3D wireframe model ...
143
click to vote
ICFEM
2009
Springer
15 years 1 months ago
2009
Springer
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
133
click to vote
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
We propose a novel MRF-based model for deformable image matching (also known as registration). The deformation is described by a field of discrete variables, representing displace...