1636 search results - page 181 / 328 » Type-Theoretic Functional Semantics |
116
Voted
RR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. It is well-knwon that crisp RDF is not suitable to represent vague information. Fuzzy RDF variants are emerging to overcome to this limitations. In this work we provide, ...
118
click to vote
SKG
2006
IEEE
15 years 10 months ago
2006
IEEE
Service discovery is a key concept in a distributed Grid environment. The first step towards Grid implement is the discovery of services. In this paper, we build a new Grid servic...
143
click to vote
TPHOL
2005
IEEE
15 years 9 months ago
2005
IEEE
We have definitionally extended Isabelle/HOLCF to support axiomatic Haskell-style constructor classes. We have subsequently defined the functor and monad classes, together with t...
109
click to vote
SOFSEM
2005
Springer
15 years 9 months ago
2005
Springer
We give a new characterization of those languages that are definable in fragments of LTL where the nesting depths of X and U modalities are bounded by given constants. This brings...
110
click to vote
TLCA
2005
Springer
15 years 9 months ago
2005
Springer
Proof animation is a way of executing proofs to nd errors in the formalization of proofs. It is intended to be \testing in proof engineering". Although the realizability inter...