301 search results - page 9 / 61 » Process Modelling to Support Dependability Arguments |
FLAIRS
2009
14 years 9 months ago
2009
This paper introduces an information theoretic approach to verification of modular causal probabilistic models. We assume systems which are gradually extended by adding new functi...
116
click to vote
QEST
2010
IEEE
14 years 9 months ago
2010
IEEE
Stochastic model checking has been used recently to assess, among others, dependability measures for a variety of systems. However, the employed numerical methods, as, e.g., suppor...
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
In this paper, we are interested in modeling diffusion of innovations on social networks. We focus on a scenario where innovation emerges at a small number of nodes in the society...
EKAW
2000
Springer
15 years 3 months ago
2000
Springer
Designing a terminological knowledge base consists in collecting terms and associating them to their definition. Our objective is to define a process model to support this design ...
102
click to vote
PKDD
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. In this paper, we present an extensive study of the cuttingplane algorithm (CPA) applied to structural kernels for advanced text classification on large datasets. In par...