366 search results - page 17 / 74 » Combining Agent-Oriented Conceptual Modelling with Formal Me... |
110
Voted
ASWEC
2009
IEEE
15 years 7 months ago
2009
IEEE
We propose a novel methodology for analysing change propagation in software using the domain-level behavioural model of a system. We hypothesize that change propagation analysis i...
112
Voted
EDOC
2002
IEEE
15 years 5 months ago
2002
IEEE
Continuous change of user requirements has become a constant for geo-information systems. Designing systems that can adapt to such changes requires an appropriate ethodology that ...
153
Voted
IDA
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. This paper introduces Higher-Order Bayesian Networks, a probabilistic reasoning formalism which combines the efficient reasoning mechanisms of Bayesian Networks with the...
155
Voted
FCA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. A main goal of Formal Concept Analysis from its very beginning has been the support of rational communication. The source of this goal lies in our understanding of mathem...
107
click to vote
KDD
2005
ACM
15 years 5 months ago
2005
ACM
Mining data streams is important in both science and commerce. Two major challenges are (1) the data may grow without limit so that it is difficult to retain a long history; and (...