1162 search results - page 78 / 233 » Monotonic Semantic Interpretation |
86
Voted
ICMCS
2000
IEEE
15 years 5 months ago
2000
IEEE
This paper presents a formal approach based on the RTLOTOS formal description technique for the semantic verification of SMIL documents. The reachability analysis of RT-LOTOS spec...
94
Voted
ASM
2000
ASM
15 years 5 months ago
2000
ASM
Abstract. The Abstract State Machines (ASM) methodology is a methodology for formally specifying computing systems. We use the ASM methodology to give the dynamic semantics of the ...
102
Voted
COLING
2000
15 years 2 months ago
2000
We present a class-based approach to building a verb lexicon that makes explicit the close association between syntax and semantics for Levin classes. We have used Lexicalized Tre...
92
Voted
ACMSE
2010
ACM
14 years 10 months ago
2010
ACM
Developing software from models is a growing practice and there exist many model-based tools (e.g., model editors, model interpreters) for supporting model-driven engineering. Eve...
74
Voted
LICS
2006
IEEE
15 years 6 months ago
2006
IEEE
We give a semantic characterization of bounded complexity proofs. We introduce the notion of obsessional clique in the relational model of linear logic and show that restricting t...