2776 search results - page 113 / 556 » System-Level Abstraction Semantics |
148
click to vote
RE
2002
Springer
15 years 3 months ago
2002
Springer
perfect technology assumption, which abstracts from limitations imposed by an implementation. Statecharts describe object life cycles. Our semantics includes synchronous and asynch...
141
click to vote
ENTCS
2010
15 years 1 months ago
2010
A previously introduced combination of the bialgebraic approach to structural operational semantics with aic modal logic is re-examined and improved in some aspects. Firstly, a mo...
165
click to vote
COMMA
2010
14 years 11 months ago
2010
Abstract. This paper presents a technique with which instances of argument structures in the Carneades model can be given a probabilistic semantics by translating them into Bayesia...
153
click to vote
SEMWEB
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. An explosion in the use of RDF for representing information about resources has driven the requirements for Webscale server systems that can store and process huge quanti...
140
click to vote
JELIA
1990
Springer
15 years 8 months ago
1990
Springer
Traditional accounts of the semantic interpretation of quantified phrases and its interaction with reference and ellipsis have relied on formal manipulations of logical forms (qua...