1636 search results - page 181 / 328 » Type-Theoretic Functional Semantics |
165
Voted
RR
2009
Springer
16 years 1 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, ...
177
click to vote
SKG
2006
IEEE
16 years 1 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...
206
Voted
TPHOL
2005
IEEE
16 years 1 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...
162
Voted
SOFSEM
2005
Springer
16 years 27 days 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...
170
Voted
TLCA
2005
Springer
16 years 27 days 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...