1128 search results - page 114 / 226 » Classical Natural Deduction |
90
Voted
FCT
2005
Springer
15 years 6 months ago
2005
Springer
We prove completeness results for twenty-three problems in semilinear geometry. These results involve semilinear sets given by additive circuits as input data. If arbitrary real co...
103
Voted
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
The authors employ multiple crossovers as a novel natural extension to crossovers as a mixing operator. They use this as a framework to explore the ideas of code growth. Empirical...
82
Voted
ICANN
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The literature suggests that an ensemble of classifiers outperforms a single classifier across a range of classification problems. This paper investigates the applicat...
85
Voted
KES
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper introduces our method for causal knowledge retrieval from the Internet resources, its results and evaluation of using it in utterance creation process. Our sys...
113
Voted
LACL
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper introduces a novel approach to language processing, in which linguistic facts are represented as predicates over ranges of the intput text, usually, but not li...