3047 search results - page 266 / 610 » Aggregation functions: Means |
137
Voted
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
Several description frameworks to semantically describe and match services on the one hand and service requests on the other have been presented in the literature. Many of the curr...
139
click to vote
VMCAI
2007
Springer
15 years 10 months ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
136
click to vote
WETICE
2006
IEEE
15 years 10 months ago
2006
IEEE
Data replication is a well established concept in the grid community to increase data availability and faulttolerance in the grid environment. However, there is a lack of software...
130
click to vote
HASKELL
2006
ACM
15 years 10 months ago
2006
ACM
In this article we present GenI, a chart based surface realisation tool implemented in Haskell. GenI takes as input a set of first order terms (the input semantics) and a grammar...
126
click to vote
ACSC
2005
IEEE
15 years 10 months ago
2005
IEEE
Parallel pattern-matching (PPM) provides true commutative implementation of functions defined by cases in functional languages, because no argument is given precedence over any o...