5122 search results - page 19 / 1025 » Comparing Consequence Relations |
83
Voted
CONCUR
2003
Springer
15 years 5 months ago
2003
Springer
d Abstract) Christel Baier1 , Holger Hermanns2,3 , Joost-Pieter Katoen2 , and Verena Wolf1 1 Institut f¨ur Informatik I, University of Bonn R¨omerstraße 164, D-53117 Bonn, Germa...
SAT
2004
Springer
15 years 5 months ago
2004
Springer
This paper reports about the 2004 comparative evaluation of solvers for quantified Boolean formulas (QBFs), the second in a series of non-competitive events established with the a...
IDEAL
2005
Springer
15 years 5 months ago
2005
Springer
Due to the large number of genes measured in a typical microarray dataset, feature selection plays an essential role in tumor classification. In turn, relevance and redundancy are ...
ILP
2003
Springer
15 years 5 months ago
2003
Springer
Propositionalization has already been shown to be a particularly promising approach for robustly and effectively handling relational data sets for knowledge discovery. In this pap...
104
click to vote
SDM
2008
SIAM
15 years 1 months ago
2008
SIAM
Measuring similarity or distance between two entities is a key step for several data mining and knowledge discovery tasks. The notion of similarity for continuous data is relative...