7289 search results - page 316 / 1458 » A Dependent Set Theory |
135
click to vote
APAL
2008
15 years 6 months ago
2008
The principal result of this paper answers a long-standing question in the model theory of arithmetic [KS, Question 7] by showing that there exists an uncountable arithmetically cl...
179
click to vote
MLQ
2000
15 years 6 months ago
2000
The axiom of multiple choice implies that metric spaces are paracompact but the reverse implication cannot be proved in set theory without the axiom of choice.
193
click to vote
SIGECOM
2011
ACM
14 years 9 months ago
2011
ACM
We present the results of a large field experiment on setting reserve prices in auctions for online advertisements, guided by the theory of optimal auction design suitably adapte...
168
click to vote
FLAIRS
2007
15 years 9 months ago
2007
In this paper we shall introduce an approach that forms a basis for temporal data mining. A relation algebra is applied for the purpose of representing simultaneously dependencies...
191
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...