598 search results - page 12 / 120 » Stably compact spaces |
CORR
2008
Springer
13 years 7 months ago
2008
Springer
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...
ICCAD
2005
IEEE
14 years 4 months ago
2005
IEEE
The presence of unknown values in the simulation result is a key barrier to effective output response compaction in practice. This paper proposes a simple circuit module, called a...
INFOCOM
2011
IEEE
12 years 10 months ago
2011
IEEE
—An approximate distance query data structure is a compact representation of a graph, and can be queried to approximate shortest paths between any pair of vertices. Any such data...
ICCAD
1996
IEEE
13 years 11 months ago
1996
IEEE
We presenta new representationfor Boolean functions called PartitionedROBDDs. In this representation we divide the Boolean space into `k' partitions and represent a function ...
MLQ
2000
13 years 7 months ago
2000
We study the relationship between the countable axiom of choice and the Tychonoff product theorem for countable families of topological spaces.