10615 search results - page 426 / 2123 » Dynamic topic models |
151
click to vote
ISBI
2002
IEEE
16 years 6 months ago
2002
IEEE
In the present paper we propose a method for fast segmentation of ultrasound data. It is based on setting up a model depending on user input. We apply a matching scheme in order t...
169
click to vote
IEEEARES
2006
IEEE
16 years 1 days ago
2006
IEEE
A hybrid Bayesian Network (BN) is one that incorporates both discrete and continuous nodes. In our extensive applications of BNs for system dependability assessment the models are...
165
click to vote
CSB
2005
IEEE
15 years 11 months ago
2005
IEEE
Symbolic rewriting systems are gaining interest as tools for simulating biochemical dynamics. Compared to traditional methods based on differential equations, the symbolic approac...
195
click to vote
SBCCI
2003
ACM
15 years 11 months ago
2003
ACM
The growing adoption of reconfigurable architectures opens new implementation alternatives and creates new design challenges. In the case of dynamically reconfigurable architectur...
149
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
We are interested in verifying dynamic properties of finite state reactive systems under fairness assumptions by model checking. The systems we want to verify are specified throug...