On the influence of the state encoding on OBDD-representations of finite state machines
Christoph Meinel, Thorsten Theobald (1999)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Christoph Meinel, Thorsten Theobald (1999)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Métayer, François (2003)
Theory and Applications of Categories [electronic only]
Similarity:
William Kalies, Konstantin Mischaikow, Greg Watson (1999)
Banach Center Publications
Similarity:
The purpose of this article is to introduce a method for computing the homology groups of cellular complexes composed of cubes. We will pay attention to issues of storage and efficiency in performing computations on large complexes which will be required in applications to the computation of the Conley index. The algorithm used in the homology computations is based on a local reduction procedure, and we give a subquadratic estimate of its computational complexity. This estimate is rigorous...
Jiří Zlatuška (1985)
Kybernetika
Similarity:
Gao, Peng (2006)
International Journal of Mathematics and Mathematical Sciences
Similarity:
S. Sofianopoulou (1996)
The Yugoslav Journal of Operations Research
Similarity:
Ma, Tsoy-Wo (2009)
The Electronic Journal of Combinatorics [electronic only]
Similarity:
Aval, Jean-Christophe, Duchon, Philippe (2010)
The Electronic Journal of Combinatorics [electronic only]
Similarity: