5213 search results - page 36 / 1043 » Statistical entity-topic models |
KBSE
2010
IEEE
13 years 6 months ago
2010
IEEE
We study the problem of statistical model checking of probabilistic systems for PCTL unbounded until property P1p(ϕ1 U ϕ2) (where 1 ∈ {<, ≤, >, ≥}) using the computa...
ECAI
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Statistical relational models, such as Markov logic networks, seek to compactly describe properties of relational domains by representing general principles about objects...
ISBI
2006
IEEE
14 years 8 months ago
2006
IEEE
This paper presents a novel hybrid segmentation technique incorporating a statistical as well as a geometric model in a unified segmentation scheme for brain tissue segmentation o...
ICCAD
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract— This paper presents an allocation method of decoupling capacitance that explicitly considers timing. We have found and focused that decap does not necessarily improve a...
ICASSP
2009
IEEE
14 years 2 months ago
2009
IEEE
Several studies have been dedicated to the analysis and modeling of AM–FM modulations in speech and different algorithms have been proposed for the exploitation of modulations i...