7840 search results - page 263 / 1568 » On generalized Ramsey numbers |
175
click to vote
DAGSTUHL
2004
15 years 8 months ago
2004
One aim of tool integration is designing an integrated development environment that accesses the data/models of different tools and keeps them consistent throughout a project bein...
184
click to vote
ESANN
2006
15 years 8 months ago
2006
We apply Learning Vector Quantization (LVQ) in automated boar semen quality assessment. The classification of single boar sperm heads into healthy (normal) and non-normal ones is b...
149
click to vote
EUSFLAT
2001
15 years 8 months ago
2001
We discuss how to aggregate multiple criteria evaluations belonging to qualitative, linearly ordered scales. Qualitative aggregation operations such as min or max can be refined b...
189
click to vote
LWA
2004
15 years 8 months ago
2004
This paper reports first results of an empirical study of the precision of classification rules on an independent test set. We generated a large number of rules using a general co...
169
click to vote
PSSS
2003
15 years 8 months ago
2003
We investigate the applicability of classical resolution-based theorem proving methods for the Semantic Web. We consider several well-known search strategies, propose a general sch...