4 search results - page 1 / 1 » The Dual of Concatenation |
MFCS
2004
Springer
13 years 10 months ago
2004
Springer
A binary language-theoretic operation is proposed, which is dual to the concatenation of languages in the same sense as the universal quantifier in logic is dual to the existenti...
SAS
2004
Springer
13 years 10 months ago
2004
Springer
Role logic is a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of role logic corresponds to two-va...
CORR
2004
Springer
13 years 4 months ago
2004
Springer
We have previously introduced role logic as a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of ro...
TIP
2011
12 years 11 months ago
2011
—Image formation is traditionally described by a number of individual models, one for each specific effect in the image formation process. However, it is difficult to aggregate...