4128 search results - page 381 / 826 » Learning and using relational theories |
210
click to vote
FLAIRS
2000
15 years 8 months ago
2000
For manyknowledgeintensive applications, it is necessary to have extensive domain-specific knowledgein addition to general-purpose knowledge bases usually built around MachineRead...
183
click to vote
SMC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Considerable attention is now being devoted to the study of “complexity science” with the intent of discovering and applying universal laws of highly interconnected and evo...
179
click to vote
CONCUR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
168
click to vote
ESOP
2007
Springer
16 years 1 months ago
2007
Springer
This paper relates two different paradigms of descriptions of communication behaviour, one focussing on global message flows and another on end-point behaviours, using formal cal...
149
click to vote
BIRTHDAY
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Variables make rule-based systems more abstract and expressive, as witnessed by term rewriting systems and two-level grammars. In this paper we show that variables can be...