4341 search results - page 410 / 869 » Quantitative Model checking |
174
click to vote
IVC
2006
15 years 6 months ago
2006
An on-line algorithm for multi-object tracking is presented for monitoring a real-world scene from a single fixed camera. Potential objects are detected with adaptive backgrounds ...
270
click to vote
ICMCS
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper, we present a novel localized Markov random field (MRF) method based on superpixels for region segmentation. Early vision problems could be formulated as pixel label...
179
click to vote
MICCAI
2009
Springer
16 years 8 months ago
2009
Springer
The anatomy, function and hemodynamics of the aortic and mitral valves are known to be strongly interconnected. An integrated quantitative and visual assessment of the aortic-mitra...
197
click to vote
KDD
2008
ACM
16 years 7 months ago
2008
ACM
We propose a visualization method based on a topic model for discrete data such as documents. Unlike conventional visualization methods based on pairwise distances such as multi-d...
201
click to vote
ICB
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Fingerprints are considered to be unique because they contain various distinctive features, including minutiae, ridges, pores, etc. Some attempts have been made to model ...