4341 search results - page 563 / 869 » Quantitative Model checking |
169
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
We present a probabilistic multi-cue tracking approach constructed by employing a novel randomized template tracker and a constant color model based particle filter. Our approach ...
278
click to vote
ICDE
1998
IEEE
16 years 8 months ago
1998
IEEE
?Past R-tree studies have focused on the number of nodes visited as a metric of query performance. Since database systems usually include a buffering mechanism, we propose that the...
155
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
An approach to robust system level mixed signal design is presented based on analog platforms. The bottom-up characterization phase of platform components provides accurate perfor...
161
click to vote
ICCV
2007
IEEE
16 years 1 months ago
2007
IEEE
in Proc. IEEE Int’l Conf. on Computer Vision (ICCV), October, 2007 Traditional Bayesian restoration methods depend heavily on the accuracy of underlying generative models. For t...
170
click to vote
CVPR
2005
IEEE
16 years 8 days ago
2005
IEEE
We introduce a new method that characterizes typical local image features (e.g., SIFT [9], phase feature [3]) in terms of their distinctiveness, detectability, and robustness to i...