672 search results - page 45 / 135 » On the Expressive Power of the Loop Language |
125
click to vote
ECBS
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper, we aim to ascribe a meaning to SysML activity diagrams. To this end, we propose a dedicated algebraic-like language, namely activity calculus, and an operational se...
152
click to vote
PODS
2008
ACM
16 years 4 months ago
2008
ACM
We consider the navigational core of XPath, extended with two operators: the Kleene star for taking the transitive closure of path expressions, and a subtree relativisation operat...
151
click to vote
DEON
2006
Springer
15 years 8 months ago
2006
Springer
A general logical framework is presented to represent speech acts that have institutional effects. It is based on the concepts of the Speech Act Theory and takes the form of the FI...
122
click to vote
AAAI
1993
15 years 6 months ago
1993
The Rete and Treat algorithms are considered the most efficient implementation techniques for Forward Chaining rule systems. These algorithms support a language of limited express...
124
click to vote
VLC
2008
15 years 4 months ago
2008
ToonTalk is a child-oriented programming language whose environment is an animated virtual world, with objects that children can pick up and use as in a game, such as birds, truck...