1356 search results - page 14 / 272 » A variable-free dynamic semantics |
BIRTHDAY
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. This paper combines three topics to which Amir Pnueli contributed significantly: the semantics of languages for concurrency, the semantics of statecharts, and reactive an...
ICWE
2011
Springer
13 years 1 months ago
2011
Springer
In this paper, we investigate whether semantic relationships between entities can be learnt from analyzing microblog posts published on Twitter. We identify semantic links between ...
ICIW
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract-- Maintaining large websites and verifying their semantic content is a difficult task. In this paper we propose a framework for syntactic validation, semantic verification...
JOCN
2010
13 years 4 months ago
2010
In an ERP experiment, we examined whether listeners, when making sense of spoken utterances, take into account the meaning of spurious words that are embedded in longer words, eit...
PE
2010
Springer
13 years 4 months ago
2010
Springer
Fluid modelling is a next-generation technique for analysing massive performance models. Passive cooperation is a popular cooperation mechanism frequently used by performance engi...