Sciweavers

1548 search results - page 42 / 310
» Semantics and Extensions of WS-Agreement
Sort
View
IJFCS
2008
108views more  IJFCS 2008»
13 years 10 months ago
Basic Algorithm for Attribute Implications and Functional Dependencies in Graded Setting
We present GLinClosure, a graded extension of the well-known LinClosure algorithm. GLinClosure can be used to compute degrees of semantic entailment from sets of fuzzy attribute i...
Radim Belohlávek, Vilém Vychodil
APLAS
2005
ACM
14 years 3 months ago
A Simple Semantics for Polymorphic Recursion
Abstract. Polymorphic recursion is a useful extension of HindleyMilner typing and has been incorporated in the functional programming language Haskell. It allows the expression of ...
William L. Harrison
ESWS
2005
Springer
14 years 3 months ago
The Semantic Grid: Past, Present and Future
—Grid computing offers significant enhancements to our capabilities for computation, information processing and collaboration, and has exciting ambitions in many fields of endeav...
David De Roure
ISPDC
2010
IEEE
13 years 8 months ago
Operational Semantics of the Marte Repetitive Structure Modeling Concepts for Data-Parallel Applications Design
—This paper presents an operational semantics of the repetitive model of computation, which is the basis for the repetitive structure modeling (RSM) package defined in the stand...
Abdoulaye Gamatié, Vlad Rusu, Éric R...
SEMWEB
2009
Springer
14 years 4 months ago
Combining Semantic Web Search with the Power of Inductive Reasoning
Extensive research activities are recently directed towards the Semantic Web as a future form of the Web. Consequently, Web search as the key technology of the Web is evolving towa...
Claudia d'Amato, Nicola Fanizzi, Bettina Fazzinga,...