120 search results - page 9 / 24 » Merging partial behavioural models |
DAIS
2009
13 years 11 months ago
2009
Large-scale industrial systems involve nowadays hundreds of developers working on hundreds of models representing parts of the whole system specification. Unfortunately, few tool s...
ENTCS
2006
13 years 9 months ago
2006
We compare the expressive power of Hoare (i.e., CSP style) and Milner (i.e., CCS style) synchronizations for defining graph transformations in a framework where edges can perform ...
IPMI
2009
Springer
14 years 4 months ago
2009
Springer
We propose a method for estimating confidence regions around shapes predicted from partial observations, given a statistical shape model. Our method relies on the estimation of the...
ICCV
2003
IEEE
14 years 3 months ago
2003
IEEE
We present a novel non-parametric unsupervised segmentation algorithm based on Region Competition [21]; but implemented within a Level Sets framework [11]. The key novelty of the ...
SBMF
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...