1356 search results - page 132 / 272 » A variable-free dynamic semantics |
128
click to vote
COMAD
2008
15 years 5 months ago
2008
Semantic information helps in identifying the context of a document. It will be interesting to find out how effectively this information can be used in recommending related docume...
135
click to vote
EON
2008
15 years 5 months ago
2008
Abstract In this paper we present how Semantic Web Service technology can be used to overcome process and data heterogeneity in a B2B integration scenario. While one partner uses s...
132
click to vote
IWFM
1998
15 years 5 months ago
1998
We study strictly level-decreasing logic programs (sld-programs) as defined earlier by the present authors. It will be seen that sld-programs, unlike most other classes of logic p...
133
click to vote
APLAS
2010
ACM
15 years 4 months ago
2010
ACM
Semantic preorders between processes are usually applied in practice to model approximation or implementation relationships. For interactive models these preorders depend crucially...
153
Voted
AML
2010
15 years 4 months ago
2010
Let L be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality , understood as `next'. We ext...