2989 search results - page 555 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
CP
1995
Springer
15 years 1 months ago
1995
Springer
The forward checking algorithm for solving constraint satisfaction problems is a popular and successful alternative to backtracking. However, its successhas largely been determined...
105
click to vote
CICLING
2010
Springer
15 years 1 months ago
2010
Springer
Term weighting strongly influences the performance of text mining and information retrieval approaches. Usually term weights are determined through statistical estimates based on s...
ESWS
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Geographic place names are semantically often highly ambiguous. For example, there are 491 places in Finland sharing the same name "Isosaari" (great island) tha...
101
click to vote
IFIP12
2008
14 years 11 months ago
2008
Top Down Induction of Decision Trees (TDIDT) is the most commonly used method of constructing a model from a dataset in the form of classification rules to classify previously unse...
103
click to vote
FORTE
2004
14 years 11 months ago
2004
Abstract. Monitoring large distributed concurrent systems is a challenging task. In this paper we formulate (model-based) diagnosis by means of hidden state history reconstruction,...