1645 search results - page 147 / 329 » Conceptual modelling: Knowledge acquisition and model abstra... |
AUSAI
1997
Springer
15 years 2 months ago
1997
Springer
Abstract. We compare Kripke models and hypercube systems, a simpli ed notion of Interpreted Systems, as semantic structures for reasoning about knowledge. Our method is to de ne a ...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. The basic aim of our study is to give a possible model for handling uncertain information. This model is worked out in the framework of DATALOG. At first the concept of f...
ALT
2002
Springer
15 years 7 months ago
2002
Springer
Abstract. The explosion of data stored in commercial or administrational databases calls for intelligent techniques to discover the patterns hidden in them and thus to exploit all ...
KES
2008
Springer
14 years 10 months ago
2008
Springer
Abstract. In this paper we propose a novel algorithm for the pansharpening of multispectral images based on the use of a Total Variation (TV) image prior. Within the Bayesian formu...
TOPNOC
2008
14 years 10 months ago
2008
Abstract. We consider software systems consisting of a single component running one sequential process only. We model such software systems as a special class of transition systems...