6794 search results - page 335 / 1359 » Semantics of Visual Languages |
135
click to vote
BPM
2005
Springer
16 years 6 days ago
2005
Springer
We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics covers the standard behaviour of BPEL as well as the exceptional...
180
click to vote
EACL
1993
ACL Anthology
15 years 8 months ago
1993
ACL Anthology
This paper proposes a method for measuring semantic similarity between words as a new tool for text analysis. The similarity is measured on a semantic network constructed systemat...
164
click to vote
APLAS
2010
ACM
15 years 4 months ago
2010
ACM
We present a framework for defining abstract interpreters for liveness properties, in particular program termination. The framework makes use of the theory of metric spaces to defi...
190
click to vote
ICCV
2001
IEEE
16 years 8 months ago
2001
IEEE
We present a statistical model for organizing image collections which integrates semantic information provided by associated text and visual information provided by image features...
165
click to vote
SEMCO
2008
IEEE
16 years 1 months ago
2008
IEEE
We present Optima, a state of the art general purpose tool for ontology alignment that automatically identifies and matches relevant concepts between ontologies. The tool is supp...