1636 search results - page 77 / 328 » Type-Theoretic Functional Semantics |
134
click to vote
ECSQARU
2001
Springer
15 years 8 months ago
2001
Springer
New semantics for numerical values given to possibility measures are provided. For epistemic possibilities, the new approach is based on the semantics of the transferable belief m...
128
Voted
AOSD
2007
ACM
15 years 7 months ago
2007
ACM
stract Semantics of Additive Aspects by Translation S. B. Sanjabi C.-H. L. Ong Oxford University Computing Laboratory We study the denotational semantics of an aspect calculus by ...
144
Voted
ESOP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
138
Voted
ICDE
2010
IEEE
16 years 3 months ago
2010
IEEE
An ever-increasing amount of data and semantic knowledge in the domain of life sciences is bringing about new data management challenges. In this paper we focus on adding the seman...
146
click to vote
QSIC
2007
IEEE
15 years 9 months ago
2007
IEEE
In semantics-based component retrieval ontology is usually employed as the semantic basis for component representation and matching. Existing methods always assume that the ontolo...