3760 search results - page 395 / 752 » Logic-Based Probabilistic Modeling |
151
Voted
CMSB
2008
Springer
15 years 6 months ago
2008
Springer
Model checking has historically been an important tool to verify models of a wide variety of systems. Typically a model has to exhibit certain properties to be classed `acceptable&...
166
click to vote
PAMI
2010
15 years 3 months ago
2010
—We present a probabilistic method for segmenting instances of a particular object category within an image. Our approach overcomes the deficiencies of previous segmentation tech...
147
click to vote
ECCV
2006
Springer
16 years 7 months ago
2006
Springer
In this paper, we propose a novel generative approach for face authentication, based on a Local Binary Pattern (LBP) description of the face. A generic face model is considered as ...
118
click to vote
PET
2009
Springer
15 years 11 months ago
2009
Springer
We present the Vida family of abstractions of anonymous communication systems, model them probabilistically and apply Bayesian inference to extract patterns of communications and u...
132
Voted
ICCV
2003
IEEE
15 years 10 months ago
2003
IEEE
Building on recent progress in modeling filter response statistics of natural images we integrate a statistical model into a variational framework for image segmentation. Incorpo...