2373 search results - page 384 / 475 » On the Theory of Structural Subtyping |
186
click to vote
CIKM
2006
Springer
15 years 10 months ago
2006
Springer
Data stream clustering has emerged as a challenging and interesting problem over the past few years. Due to the evolving nature, and one-pass restriction imposed by the data strea...
150
click to vote
COLT
2006
Springer
15 years 10 months ago
2006
Springer
We study the average number of well-chosen labeled examples that are required for a helpful teacher to uniquely specify a target function within a concept class. This "average...
173
click to vote
GD
2006
Springer
15 years 10 months ago
2006
Springer
Tree decompositions of graphs are of fundamental importance in structural and algorithmic graph theory. Planar decompositions generalise tree decompositions by allowing an arbitrar...
178
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
When Genetic Programming is used to evolve arithmetic functions it often operates by composing them from a fixed collection of elementary operators and applying them to parameters...
161
click to vote
KR
2000
Springer
15 years 9 months ago
2000
Springer
We investigate the problem of reasoning with partitions of related logical axioms. Our motivation is two-fold. First, we are concerned with how to reason effectively with multiple...