4341 search results - page 615 / 869 » Quantitative Model checking |
180
click to vote
ECCV
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we describe the application of a novel statistical videomodeling scheme to sequences of multiple sclerosis (MS) images taken over time. The analysis of the ...
160
click to vote
ICWL
2004
Springer
15 years 12 months ago
2004
Springer
In Web-based e-learning, an up-to-date catalogue of subject-specific Web resources can effectively offer inexperienced students with an advanced academic portal on the Web. To auto...
167
click to vote
ECCV
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. We address the problem of having insufficient labels in an interactive image segmentation framework, for which most current methods would fail without further user inter...
190
click to vote
CVPR
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we propose an algorithm for estimating dense depth information of dynamic scenes from multiple video streams captured using unsynchronized stationary cameras. We so...
190
click to vote
MICCAI
2009
Springer
15 years 11 months ago
2009
Springer
We propose a recursive Bayesian model for the delineation of coronary arteries from 3D CT angiograms (cardiac CTA) and discuss the use of discrete minimal path techniques as an e...