Sciweavers

1369 search results - page 150 / 274
» On the Semantics of Petri Nets
Sort
View
BPM
2006
Springer
113views Business» more  BPM 2006»
14 years 2 months ago
Process Equivalence: Comparing Two Process Models Based on Observed Behavior
In various application domains there is a desire to compare process models, e.g., to relate an organization-specific process model to a reference model, to find a web service match...
Wil M. P. van der Aalst, Ana Karla A. de Medeiros,...
DKE
2008
88views more  DKE 2008»
13 years 10 months ago
Quantifying process equivalence based on observed behavior
In various application domains there is a desire to compare process models, e.g., to relate an organization-specific process model to a reference model, to find a web service matc...
Ana Karla Alves de Medeiros, Wil M. P. van der Aal...
ENTCS
2006
146views more  ENTCS 2006»
13 years 10 months ago
Relating State-Based and Process-Based Concurrency through Linear Logic
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...
Iliano Cervesato, Andre Scedrov
JELIA
2004
Springer
14 years 4 months ago
Logic Programming Infrastructure for Inferences on FrameNet
Abstract. The growing size of electronically available text corpora like companies’ intranets or the WWW has made information access a hot topic within computational linguistics....
Peter Baumgartner, Aljoscha Burchardt
LREC
2008
123views Education» more  LREC 2008»
14 years 2 days ago
Evaluating Complement-Modifier Distinctions in a Semantically Annotated Corpus
We evaluate the extent to which the distinction between semantically core and non-core dependents as used in the FrameNet corpus corresponds to the traditional distinction between...
Mark McConville, Myroslava Dzikovska