1636 search results - page 151 / 328 » Type-Theoretic Functional Semantics |
186
Voted
Publication
MetaML is a statically typed functional programming language with special support for program generation. In addition to providing the standard features of contemporary programming...
149
click to vote
ICWS
2009
IEEE
16 years 1 months ago
2009
IEEE
The potential benefits of Web services composition heavily rely on semantic interoperability, i.e., the ability to exchange data meaningfully amongst Web services. Context heterog...
145
click to vote
SEMWEB
2009
Springer
15 years 10 months ago
2009
Springer
Most languages for the Semantic Web have their logical basis in some fragment of first-order logic. Thus, integrating first-order logic with probability is fundamental for represen...
132
Voted
CBMS
2008
IEEE
15 years 10 months ago
2008
IEEE
We propose a new method for measuring the semantic similarity of genes based on path length between their annotation terms in the Gene Ontology. Our method applies an exponential ...
130
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...