48 search results - page 10 / 10 » acs 2004 |
LATIN
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. We present a probability logic (essentially a first order language extended with quantifiers that count the fraction of elements in a model that satisfy a first order ...
LATIN
2004
Springer
13 years 10 months ago
2004
Springer
Given a finite set V , and integers k ≥ 1 and r ≥ 0, denote by A(k, r) the class of hypergraphs A ⊆ 2V with (k, r)-bounded intersections, i.e. in which the intersection of a...
WWW
2004
ACM
14 years 5 months ago
2004
ACM
?????????!#"$?%?&'???(?)0132&????46572(481?9?1@%??AB0?&? 5C2D4FEG?9H'???E?D?&I?&2A?P%%?Q?9??4R%?&ST?&%!PU?)'?1?9?DV8WX5?A?&S ??...