620 search results - page 39 / 124 » About the logical relations between cases and rules |
195
click to vote
SAS
2009
Springer
16 years 6 months ago
2009
Springer
In this paper we present a new shape analysis algorithm. The key distinguishing aspect of our algorithm is that it is completely compositional, bottom-up and non-iterative. We pres...
189
click to vote
ISSA
2004
15 years 7 months ago
2004
Web Services technology enables organisations to exploit software as a service. Services are accessed by method invocations. Method interfaces are described and published, and may...
150
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
We explore settings where a principal must make a decision about which action to take to achieve a desired outcome. The principal elicits the probability of achieving the outcome ...
183
click to vote
ICCI
1993
15 years 10 months ago
1993
We propose a conceptually and technically neat method to identify known semantic patterns close to a novel pattern. This occurs in the context of a system to acquire knowledge inc...
179
click to vote
LISP
2007
15 years 6 months ago
2007
In this paper we propose a new generic scheme CFLP(D ), intended as a logical and semantic framework for lazy Constraint Functional Logic Programming over a parametrically given co...