11160 search results - page 165 / 2232 » Incompleteness in a General Setting |
122
Voted
FCT
1993
Springer
15 years 4 months ago
1993
Springer
The generalized topological sorting problem takes as input a positive integer k and a directed, acyclic graph with some vertices labeled by positive integers, and the goal is to la...
99
Voted
ICCBR
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we present an approach for reducing the memory footprint requirement of temporal difference methods in which the set of states is finite. We use case-based generaliza...
93
Voted
AIIA
2007
Springer
15 years 2 months ago
2007
Springer
Few works are available in the literature to define similarity criteria between First-Order Logic formulæ, where the presence of relations causes various portions of one descript...
122
click to vote
LREC
2008
15 years 2 months ago
2008
In the field of Natural Language Processing, in order to work out a thematic representation system of general knowledge, methods relying on thesaurus have been used for about twen...
81
Voted
ESA
2010
Springer
15 years 1 months ago
2010
Springer
We study a wide generalization of two classical problems, the Huffman Tree and Alphabetic Tree Problem. We assume that the cost caused by the ith leaf is fi(di), where di is its d...