15372 search results - page 1 / 3075 » The Semantics of |
FUIN
2002
13 years 4 months ago
2002
Refinement in bisimulation semantics is defined differently from refinement in failure semantics: in bisimulation semantics refinement is based on simulations between labelled tran...
IJON
2006
13 years 4 months ago
2006
The aim of this study is to explore the nature of the semantic effects in the picture
LREC
2008
13 years 6 months ago
2008
In this paper we present a novel approach to the incremental incorporation of semantic information in natural language processing which does not fall victim to the notorious probl...
TPHOL
2009
IEEE
13 years 11 months ago
2009
IEEE
We present four coinductive operational semantics for the While language accounting for both terminating and non-terminating program runs: big-step and small-step relational semant...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Semantic Web is, without a doubt, gaining momentum in both industry and academia. The word "Semantic" refers to "meaning"