351 search results - page 28 / 71 » Properties of Behavioural Model Merging |
110
Voted
ICA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper deals with the problem of Blind Source Separation. Contrary to the vast majority of works, we do not assume the statistical independence between the sources an...
144
click to vote
ICML
2005
IEEE
16 years 4 months ago
2005
IEEE
We present a novel algorithm for agglomerative hierarchical clustering based on evaluating marginal likelihoods of a probabilistic model. This algorithm has several advantages ove...
148
Voted
WOSS
2004
ACM
15 years 9 months ago
2004
ACM
Components in a decentralised system are faced with uncertainty as how to best adapt to a changing environment to maintain or optimise system performance. How can individual compo...
138
Voted
SIMPRA
2008
15 years 3 months ago
2008
This paper addresses the problem of verifying the discrete control logic that is typically implemented by programmable controllers. Not only are the logical properties of the cont...
113
click to vote
APSEC
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...