52 search results - page 9 / 11 » A new rule extraction algorithm based on interval arithmetic |
POPL
2012
ACM
13 years 5 months ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...
RSCTC
2000
Springer
15 years 1 months ago
2000
Springer
We discuss how Case Based Reasoning (CBR) (see e.g. [1], [4]) philosophy of adaptation of some known situations to new similar ones can be realized in rough set framework [5] for c...
102
Voted
VCIP
2003
14 years 11 months ago
2003
In this paper, we propose a content based video categorizing method focusing broadcasted sports videos using camera motion parameters. We define two new features in the proposed m...
79
Voted
TSMC
2008
14 years 9 months ago
2008
In genetic programming (GP), evolving tree nodes separately would reduce the huge solution space. However, tree nodes are highly interdependent with respect to their fitness. In th...
88
Voted
ADBIS
2003
Springer
15 years 2 months ago
2003
Springer
Recent research has shown the integration of multiple classifiers to be one of the most important directions in machine learning and data mining. It was shown that, for an ensemble...