1364 search results - page 121 / 273 » Comparative Branching-Time Semantics |
111
click to vote
ACSD
2001
IEEE
15 years 7 months ago
2001
IEEE
We here consider transition systems of Elementary Net Systems with Inhibitor Arcs. There are basically two di erent types of non-interleaving semantics of such Petri nets, the a-po...
146
click to vote
CCGRID
2003
IEEE
15 years 7 months ago
2003
IEEE
Applications that query into very large multidimensional datasets are becoming more common. Many self-describing scientific data file formats have also emerged, which have structu...
121
click to vote
ESWS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. In this paper, we present an adaptive, hybrid semantic matchmaker for SAWSDL services, called SAWSDL-MX2. It determines three kinds of semantic service similarity with a ...
127
click to vote
ESWS
2008
Springer
15 years 5 months ago
2008
Springer
One of the crucial reasons for adding semantic descriptions to Web services is to enable intelligent discovery, removing the need for a human to manually search and browse textual ...
132
Voted
LREC
2010
15 years 4 months ago
2010
Semantic Role Labeling cannot be performed without an associated linguistic resource. A key resource for such a task is the FrameNet resource based on Fillmore's theory of fr...