5096 search results - page 425 / 1020 » Associations as a Language Construct |
190
click to vote
ICFCA
2004
Springer
16 years 1 months ago
2004
Springer
Based on the conceptual representation of objects in space and time as introduced in Temporal Concept Analysis first steps are done into the direction of a conceptual theory of ...
176
click to vote
MFCS
2004
Springer
16 years 29 days ago
2004
Springer
We consider the decidability of existence of solutions to language equations involving the operations of shuffle and deletion along trajectories. These operations generalize the o...
192
click to vote
RTA
2004
Springer
16 years 29 days ago
2004
Springer
Several authors devised type-based termination criteria for ML-like languages allowing non-structural recursive calls. We extend these works to general rewriting and dependent type...
192
click to vote
AGTIVE
2003
Springer
16 years 26 days ago
2003
Springer
In this paper, the two types of UML interaction diagrams are considered. A translation of sequence diagrams into collaboration diagrams is constructed by means of graph transformat...
238
click to vote
FOCS
1990
IEEE
15 years 11 months ago
1990
IEEE
A new algebraic technique for the construction of interactive proof systems is presented. Our technique is used to prove that every language in the polynomial-time hierarchy has an...