3571 search results - page 245 / 715 » Cohen and Set Theory |
197
click to vote
SYNTHESE
2010
15 years 1 months ago
2010
The notion of a proposition as a set of possible worlds or states occupies central stage in probability theory, semantics and epistemology, where it serves as the fundamental unit...
173
click to vote
LICS
2005
IEEE
16 years 8 days ago
2005
IEEE
Number Decision Diagrams (NDD) are the automatabased symbolic representation for manipulating sets of integer vectors encoded as strings of digit vectors (least or most significa...
180
click to vote
MLQ
2010
15 years 5 months ago
2010
: It is well known that, in a topological space, the open sets can be characterized using filter convergence. In ZF (Zermelo-Fraenkel set theory without the Axiom of Choice), we c...
183
click to vote
ILP
2004
Springer
16 years 2 days ago
2004
Springer
Random forest induction is a bagging method that randomly samples the feature set at each node in a decision tree. In propositional learning, the method has been shown to work well...
151
click to vote
TPHOL
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we introduce a new approach to axiomatizing quotient types in type theory. We suggest replacing the existing monolithic rule set by a modular set of rules for a speci...