911 search results - page 23 / 183 » The Semantics of Event Prevention |
ENTCS
1998
14 years 9 months ago
1998
SYNTHESE
2010
14 years 8 months ago
2010
COLING
2008
14 years 11 months ago
2008
We propose a spatio-temporal markup for the annotation of motion predicates in text, informed by a lexical semantic classification of these verbs. We incorporate this classificati...
73
Voted
ICFP
2006
ACM
15 years 9 months ago
2006
ACM
nt programs require high-level abstractions in order to manage complexity and enable compositional reasoning. In this paper, we introduce a novel concurrency abstraction, dubbed t...
ASM
2008
ASM
14 years 11 months ago
2008
ASM
Event-B is a formal modelling method which is claimed to be suitable for diverse modelling domains, such as reactive systems and sequential program development. This claim hinges o...