4502 search results - page 465 / 901 » Regular Model Checking |
182
click to vote
TCIAIG
2010
15 years 1 months ago
2010
Abstract--Fingerprinting operators generate functional signatures of game players and are useful for their automated analysis independent of representation or encoding. The theory ...
217
click to vote
CVPR
2011
IEEE
14 years 10 months ago
2011
IEEE
Online learned tracking is widely used for it’s adaptive ability to handle appearance changes. However, it introduces potential drifting problems due to the accumulation of erro...
256
click to vote
JMLR
2012
13 years 9 months ago
2012
This paper studies issues relating to the parameterization of probability distributions over binary data sets. Several such parameterizations of models for binary data are known, ...
192
click to vote
CVPR
2003
IEEE
16 years 9 months ago
2003
IEEE
12 In this paper we study the problem of shape analysis and its application in locating facial feature points on frontal faces. We propose a Bayesian inference solution based on ta...
210
click to vote
MICCAI
2006
Springer
16 years 7 months ago
2006
Springer
Reconstruction of patient-specific 3D bone surface from 2D calibrated fluoroscopic images and a point distribution model is discussed. We present a 2D/3D reconstruction scheme comb...