5718 search results - page 772 / 1144 » Modeling Rule Precision |
204
click to vote
CVPR
2007
IEEE
16 years 9 months ago
2007
IEEE
In this paper, we present a probabilistic formulation of kernel-based tracking methods based upon maximum likelihood estimation. To this end, we view the coordinates for the pixel...
198
click to vote
CAV
2009
Springer
16 years 8 months ago
2009
Springer
Abstract. When a model does not satisfy a given specification, a counterexample is produced by the model checker to demonstrate the failure. A user must then examine the counterexa...
205
click to vote
KDD
2004
ACM
16 years 8 months ago
2004
ACM
Information retrieval systems, based on keyword match, are evolving to question answering systems that return short passages or direct answers to questions, rather than URLs point...
141
click to vote
EMMCVPR
2009
Springer
16 years 2 months ago
2009
Springer
7th International Conference on Energy Minimization Methods in Computer Vision and Pattern Recognition, Bonn, Germany, August 24-27, 2009 Bayesian boundary models often assume tha...
199
click to vote
SBMF
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. This paper presents a case study on retrospective veri cation of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...