5451 search results - page 239 / 1091 » Typed Operational Semantics |
132
click to vote
TCS
2008
15 years 4 months ago
2008
The aim of the paper is to give a compositional semantics in the style of the Structural Operational Semantics (SOS) and to study behavioral equivalence notions for P Systems. Fir...
160
click to vote
SEMWEB
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In the Semantic Web information would be retrieved, processed, combined, shared and reused in the maximum automatic way possible. Obviously, such procedures involve a hig...
122
click to vote
ICDE
1993
IEEE
15 years 8 months ago
1993
IEEE
The IsaLog model and language are presented. The model has complex objects with classes, relations, and isa hierarchies. The language is strongly typed and declarative. The main i...
157
click to vote
APWEB
2010
Springer
15 years 4 months ago
2010
Springer
Binary semantic relation extraction is particularly useful for various NLP and Web applications. Currently Webbased methods and Linguistic-based methods are two types of leading me...
140
click to vote
TAL
2010
Springer
14 years 11 months ago
2010
Springer
This paper provides a linguistic semantic analysis of time and aspect in natural languages. On the basis of topological concepts, notions are introduced like the basic aspectual op...