3760 search results - page 369 / 752 » Logic-Based Probabilistic Modeling |
160
click to vote
MICCAI
2009
Springer
16 years 7 months ago
2009
Springer
We introduce a novel algorithm for actin filament tracking and elongation measurement. Particle Filters (PF) and Stretching Open Active Contours (SOAC) work cooperatively to simpli...
165
click to vote
STACS
2010
Springer
16 years 1 months ago
2010
Springer
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...
166
Voted
IPPS
2007
IEEE
16 years 12 days ago
2007
IEEE
A compositional method for estimating software reliability of many threaded programs is developed. The method uses estimates of the reliability of individual modules and the proba...
182
click to vote
IPMI
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. The detection and extraction of complex anatomical structures usually involves a trade-off between the complexity of local feature extraction and classification, and th...
188
click to vote
SAT
2007
Springer
16 years 6 days ago
2007
Springer
Abstract. A promising approach for model counting was recently introduced, which in theory requires the use of large random xor or parity constraints to obtain near-exact counts of...