554 search results - page 38 / 111 » Approximate Probabilistic Model Checking |
TCIAIG
2010
13 years 2 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 ...
NETWORKS
2010
13 years 6 months ago
2010
We consider a probabilistic model for the Steiner Tree problem. Under this model the problem is defined in a 2-stage setting over a first-stage complete weighted graph having it...
AFS
2011
12 years 7 months ago
2011
In many practical applications, it turns out to be useful to use the notion of fuzzy transform: once we have functions A1(x) ≥ 0, . . . , An ≥ 0, with n∑ i=1 Ai(x) = 1, we c...
NIPS
2001
13 years 9 months ago
2001
We describe latent Dirichlet allocation (LDA), a generative probabilistic model for collections of discrete data such as text corpora. LDA is a three-level hierarchical Bayesian m...
ICCV
2009
IEEE
13 years 5 months ago
2009
IEEE
We propose a method for estimating the pose of a human body using its approximate 3D volume (visual hull) obtained in real time from synchronized videos. Our method can cope with ...