643 search results - page 74 / 129 » Parsing And Derivational Equivalence |
ACS
2008
13 years 7 months ago
2008
Abstract. We define an out-degree for F-coalgebras and show that the coalgebras of outdegree at most form a covariety. As a subcategory of all Fcoalgebras, this class has a termin...
ESWA
2008
13 years 7 months ago
2008
Most of existing ontologies construction tools support construction of ontological relations (e.g. taxonomy, equivalence, etc.) but they do not support construction of domain rela...
AUTOMATICA
2006
13 years 7 months ago
2006
In this note the stability of a second-order quasi-polynomial with a single delay is studied. Although there is a vast literature on this problem, most available solutions are lim...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
— A class of rate-one space-time block codes (STBC) allowing the decoding of transmitted symbols into four groups is recently proposed by Yuen, Guan and Tjhung. This code is call...
JCT
2008
13 years 7 months ago
2008
Factorizations of the cyclic permutation (1 2 . . . N) into two permutations with respectively n and m cycles, or, equivalently, unicellular bicolored maps with N edges and n whit...