4814 search results - page 237 / 963 » Combining abstract interpreters |
197
click to vote
MCS
2002
Springer
15 years 6 months ago
2002
Springer
Abstract. Recent findings in the domain of combining classifiers provide a surprising revision of the usefulness of diversity for modelling combined performance. Although there is ...
154
click to vote
WOLLIC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper, we present a three-valued property driven model checking algorithm for the logic CTL on hybrid automata. The technique of multivalued model checking for hy...
202
click to vote
BIODATAMINING
2008
15 years 6 months ago
2008
Background: Analysis of a microarray experiment often results in a list of hundreds of diseaseassociated genes. In order to suggest common biological processes and functions for t...
176
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: The most popular methods for significance analysis on microarray data are well suited to find genes differentially expressed across predefined categories. However, ide...
170
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
In object recognition, soft-assignment coding enjoys computational efficiency and conceptual simplicity. However, its classification performance is inferior to the newly develop...