Sciweavers

178 search results - page 23 / 36
» Unification of Fusion Theories
Sort
View
CORR
2004
Springer
151views Education» more  CORR 2004»
13 years 7 months ago
Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version
Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the safe omission of the occ...
Roberto Bagnara, Roberta Gori, Patricia M. Hill, E...
GRC
2005
IEEE
14 years 1 months ago
Improved rule based rough set approach for target recognition
An incremental target recognition algorithm based on improved discernibility matrix in rough set theory is presented. We compare the new approach with our previous nonincremental a...
Yong Liu, Congfu Xu, Zhiyong Yan, Yunhe Pan
CORR
2006
Springer
104views Education» more  CORR 2006»
13 years 7 months ago
Conflict Free Rule for Combining Evidences
: Recent works have investigated the problem of the conflict redistribution in the fusion rules of evidence theories. As a consequence of these works, many new rules have been prop...
Frédéric Dambreville
ECSQARU
2009
Springer
14 years 2 months ago
A Default Logic Patch for Default Logic
This paper is about the fusion of multiple information sources represented using default logic. More precisely, the focus is on solving the problem that occurs when the standard-lo...
Philippe Besnard, Éric Grégoire, S&e...
CONCUR
2007
Springer
14 years 1 months ago
Reactive Systems over Directed Bigraphs
We study the construction of labelled transition systems from reactive systems defined over directed bigraphs, a computational meta-model which subsumes other variants of bigraphs...
Davide Grohmann, Marino Miculan