866 search results - page 60 / 174 » A compositional semantics for CHR |
135
click to vote
AMAST
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. We propose a general categorical setting for modeling program composition in which the call-by-value and call-by-name disciplines fit as special cases. Other notions of c...
131
click to vote
ENTCS
2010
15 years 3 months ago
2010
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...
142
click to vote
ARGMAS
2009
Springer
15 years 9 months ago
2009
Springer
Resolving the semantic heterogeneity problem is crucial to allow interoperability between ontology-based systems. Ontology matching based on argumentation is an innovative research...
175
click to vote
CORR
2011
Springer
14 years 10 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...
123
click to vote
JSS
2006
15 years 3 months ago
2006
This paper proposes an approach to automatically generate semantics for scientific e-documents, and presents its applications in e-document understanding, question answering and q...