697 search results - page 67 / 140 » Decomposition Structures for Event-B |
108
click to vote
MASCOTS
2004
15 years 1 months ago
2004
In this paper, we describe the dual-processor parallelisation of a symbolic (BDD-based) implementation of probabilistic model checking. We use multi-terminal BDDs, which allow a c...
ICPR
2010
IEEE
14 years 9 months ago
2010
IEEE
In the presence of non-gaussian noise, we propose a method for the detection of underwater shipradiated signal. The wavelet decomposition of the underwater signal yields a natural...
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
From the recovery of structure from motion to the separation of style and content, many problems in computer vision have been successfully approached by using bilinear models. The...
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper examines the problem of extracting lowdimensional manifold structure given millions of highdimensional face images. Specifically, we address the computational challenge...
110
click to vote
ECSQARU
2009
Springer
15 years 6 months ago
2009
Springer
A BN2O network is a Bayesian network having the structure of a bipartite graph with all edges directed from one part (the top level) toward the other (the bottom level) and where a...