1375 search results - page 4 / 275 » SDL-2000: A Language with a Formal Semantics |
LREC
2008
15 years 1 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...
103
click to vote
CNL
2009
14 years 9 months ago
2009
Semantic wikis support the collaborative creation, editing and utilization of semantically-enriched content, and they may therefore be wellsuited to addressing problems associated ...
110
click to vote
MODELS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. UML activity diagrams have become an established notamodel control and data flow on various levels of abstraction, ranging from fine-grained descriptions of algorithms ...
111
click to vote
CADE
2004
Springer
15 years 12 months ago
2004
Springer
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...
ENTCS
2008
14 years 11 months ago
2008
The paper presents ConSpec, an automata based policy specification language. The language trades off clean semantics to language expressiveness; a formal semantics for the languag...