598 search results - page 11 / 120 » Stably compact spaces |
JSYML
2002
13 years 7 months ago
2002
We study the relationships between definitions of compactness in topological spaces and the roll the axiom of choice plays in these relationships.
APN
2007
Springer
14 years 1 months ago
2007
Springer
This paper presents the ComBack method for explicit state space exploration. The ComBack method extends the well-known hash compaction method such that full coverage of the state s...
ISSAC
2007
Springer
14 years 1 months ago
2007
Springer
We briefly present and analyze, from a geometric viewpoint, strategies for designing algorithms to factor bivariate approximate polynomials in [x, y]. Given a composite polyno...
AINA
2008
IEEE
14 years 1 months ago
2008
IEEE
Motivated by the high cost problem of ternary CAM, we proposed a new technique for providing a compaction routing table. With the comparisons with existing algorithms, our new tec...
CPM
2001
Springer
13 years 12 months ago
2001
Springer
Directed Acyclic Word Graph (DAWG) is a space efficient data structure that supports indices of a string. Compact Directed Acyclic Word Graph (CDAWG) is a more space efficient vari...