4131 search results - page 14 / 827 » Compactness in Topology and Computation |
103
click to vote
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
In this paper, we propose a new shape decomposition method, called convex shape decomposition. We formalize the convex decomposition problem as an integer linear programming probl...
ACS
2007
15 years 1 months ago
2007
We provide the appropriate common ‘(pre)framework’ for various central results of domain theory and topology, like the Lawson duality of continuous domains, the Hofmann–Lawso...
113
Voted
JSYML
2007
15 years 1 months ago
2007
The paper studies how the localic notion of sublocale transfers to formal topology. For any formal topology (not necessarily with positivity predicate) we define a sublocale to b...
137
click to vote
JAC
2008
15 years 3 months ago
2008
In this paper, we exhibit a strong relation between the sand automata configuration space and the cellular automata configuration space. This relation induces a compact topology f...
122
Voted
JGT
2008
15 years 1 months ago
2008
: We develop a general model of edge spaces in order to generalize, unify, and simplify previous work on cycle spaces of infinite graphs. We give simple topological criteria to sho...