7123 search results - page 289 / 1425 » The Ordered Set of Rough Sets |
185
click to vote
ENTCS
2002
15 years 6 months ago
2002
This paper presents a step in the development of an operational approach to program extraction in type theory. In order to get a program from a lambda term, the logical parts need...
173
click to vote
PRL
1998
15 years 6 months ago
1998
: The proposed divisive clustering method performs simultaneously a hierarchy of a set of objects and a monothetic characterization of each cluster of the hierarchy. A division is ...
186
click to vote
CIKM
2011
Springer
14 years 6 months ago
2011
Springer
A key component of BM25 contributing to its success is its sub-linear term frequency (TF) normalization formula. The scale and shape of this TF normalization component is controll...
172
click to vote
VIS
2007
IEEE
16 years 8 months ago
2007
IEEE
Topology has been an important tool for analyzing scalar data and flow fields in visualization. In this work, we analyze the topology of multivariate image and volume data sets wit...
175
click to vote
MICCAI
2009
Springer
16 years 7 months ago
2009
Springer
Statistical shape models have gained widespread use in medical image analysis. In order for such models to be statistically meaningful, a large number of data sets have to be inclu...