3677 search results - page 85 / 736 » Is a probabilistic modeling |
129
Voted
MICAI
2005
Springer
15 years 9 months ago
2005
Springer
Although undirected cycles in directed graphs of Bayesian belief networks have been thoroughly studied, little attention has so far been given to a systematic analysis of directed ...
161
click to vote
ICCV
2005
IEEE
16 years 5 months ago
2005
IEEE
In this paper, a new learning framework?probabilistic boosting-tree (PBT), is proposed for learning two-class and multi-class discriminative models. In the learning stage, the pro...
129
Voted
IFM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Event-B is a notation and method for discrete systems modelling by refinement. We introduce a small but very useful construction: qualitative probabilistic choice. It ex...
115
Voted
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We introduce a mathematical framework for black-box software testing of functional correctness, based on concepts from stochastic process theory. This framework supports ...
126
Voted
TACAS
2007
Springer
15 years 9 months ago
2007
Springer
This paper studies the effect of bisimulation minimisation in model checking of monolithic discrete-time and continuous-time Markov chains as well as variants thereof with rewards...