3229 search results - page 208 / 646 » Theories with the Independence Property |
190
click to vote
COMBINATORICS
1998
15 years 6 months ago
1998
A multimatroid is a combinatorial structure that encompasses matroids, delta-matroids and isotropic systems. This structure has been introduced to unify a theorem of Edmonds on th...
142
click to vote
WOTE
2010
15 years 4 months ago
2010
This article presents an ‘end-to-end’ integrity verification mechanism for use in minimally equipped secret paper-ballot election environments. The scheme presented in this pa...
209
click to vote
JMLR
2010
15 years 1 months ago
2010
Directed acyclic graph (DAG) models are popular tools for describing causal relationships and for guiding attempts to learn them from data. In particular, they appear to supply a ...
168
click to vote
JSYML
2010
15 years 1 months ago
2010
We consider valued fields with a distinguished isometry or contractive derivation as valued modules over the Ore ring of difference operators. Under certain assumptions on the resi...
270
click to vote
CALCO
2011
Springer
14 years 6 months ago
2011
Springer
Fusion is arguably the simplest way to combine modal logics. For normal modal logics with Kripke semantics, many properties such as completeness and decidability are known to trans...