130 search results - page 20 / 26 » Towards Probabilistic Modelling in Event-B |
GECCO
2008
Springer
15 years 20 days ago
2008
Springer
This paper proposes the incremental Bayesian optimization algorithm (iBOA), which modifies standard BOA by removing the population of solutions and using incremental updates of t...
CPC
1998
14 years 11 months ago
1998
For any Boolean functionf letL(f) be its formulasizecomplexityin the basis f^ 1g. For every n and every k n=2, we describe a probabilistic distribution on formulas in the basis f^...
105
click to vote
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a random field based model for stereo vision with explicit occlusion labeling in a probabilistic framework. The model employs non-parametric cost functions that can be ...
102
click to vote
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a novel approach to pedestrian classification which involves utilizing the synthesized virtual samples of a learned generative model to enhance the classificat...
102
click to vote
ENTCS
2008
14 years 11 months ago
2008
Defining operational semantics for a process algebra is often based either on labeled transition systems that account for interaction with a context or on the so-called reduction ...