1414 search results - page 78 / 283 » Combining Intruder Theories |
69
Voted
ACS
2010
15 years 27 days ago
2010
The theory of combinatorial differential forms is usually presented in simplicial terms. We present here a cubical version; it depends on the possibility of forming affine combina...
73
Voted
DAM
2008
15 years 25 days ago
2008
The maximum number of edges spanned by a subset of given diameter in a Hamming space with alphabet size at least three is determined. The binary case was solved earlier by Ahlswed...
90
Voted
JCT
2006
15 years 22 days ago
2006
The cocircuit graph of an oriented matroid is the 1-skeleton of the cellular decomposition induced by the Topological Representation Theorem due to Folkman and Lawrence (1978) [J....
106
Voted
3DPH
2009
14 years 10 months ago
2009
We describe an algorithm for segmenting three-dimensional medical imaging data modeled as a continuous function on a 3-manifold. It is related to watershed algorithms developed in ...
85
Voted
ENTCS
2006
15 years 23 days ago
2006
Abstract. Nelson and Oppen provided a methodology for modularly combining decision procedures for individual theories to construct a decision procedure for a combination of theorie...