1691 search results - page 63 / 339 » Restricted subset selection |
FTP
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. We describe two methods on the basis of which efficient resolution decision procedures can be developed for a range of description logics. The first method uses an orderi...
CADE
2007
Springer
14 years 3 months ago
2007
Springer
We develop and implement a novel algorithm for discovering the optimal sets of premisses for proving and disproving conjectures in first-order logic. The algorithm uses interpret...
CSB
2004
IEEE
14 years 21 days ago
2004
IEEE
Gene expression profiles with clinical outcome data enable monitoring of disease progression and prediction of patient survival at the molecular level. We present a new computatio...
IVS
2008
13 years 9 months ago
2008
We demonstrate and reflect upon the use of enhanced treemaps that incorporate spatial and temporal ordering for exploring a large multivariate spatio-temporal data set. The result...
ML
2010
ACM
13 years 7 months ago
2010
ACM
This paper presents a cooperative evolutionary approach for the problem of instance selection for instance based learning. The presented model takes advantage of one of the most r...