2685 search results - page 178 / 537 » A Formal Semantics for SPKI |
237
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Coecke, Sadrzadeh, and Clark [3] developed a compositional model of meaning for distributional semantics, in which each word in a sentence has a meaning vector and the distributio...
297
click to vote
ICDE
2001
IEEE
16 years 8 months ago
2001
IEEE
Current workflow management technology does not provide adequate means for inter-workflow coordination as concurrently executing workflows are considered completely independent. W...
141
click to vote
FROCOS
2005
Springer
16 years 10 days ago
2005
Springer
Interface formalisms are able to model both the input requirements and the output behavior of system components; they support both bottom-up component-based design, and top-down de...
172
click to vote
AMAI
2004
Springer
16 years 6 days ago
2004
Springer
We introduce a general formalism of production inference relations that posses both a standard monotonic semantics and a natural nonmonotonic semantics. The resulting nonmonotonic...
203
click to vote
AIME
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Clinical guidelines (GLs) play an important role to standardize and organize clinical processes according to evidence-based medicine. Several computer-based GL representa...