Abstract | ||
---|---|---|
This paper shows an example of developing a fusion system in a formal framework, i.e., through the use of formal operators in the development process. Two main concepts of formal methods are theories and models. In our approach, the development of a fusion system consists of operations on theories and models. We show, on a simple example, how theories and models are combined in the process of designing a fusion system. We also compare the performance of a system developed according to our approach with a more traditional system. |
Year | DOI | Venue |
---|---|---|
2001 | 10.1016/S1566-2535(01)00028-8 | Information Fusion |
Keywords | Field | DocType |
Information fusion,Recognition,Formal methods,Wavelets,Features | Formal specification,Operator (computer programming),Artificial intelligence,Formal methods,Feature based,Information fusion,Machine learning,Fusion system,Mathematics,Wavelet,Formal verification | Journal |
Volume | Issue | ISSN |
2 | 2 | 1566-2535 |
Citations | PageRank | References |
2 | 0.74 | 4 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mieczyslaw M. Kokar | 1 | 498 | 148.01 |
Zbigniew Korona | 2 | 2 | 1.08 |