5344 search results - page 163 / 1069 » Privacy-Preserving Set Operations |
110
click to vote
AIPS
1996
15 years 4 months ago
1996
Weshowthat by inferring parametexdomainsof planningoperators,given the definitions of the operators and the initial and goal conditions, we can often speed up the planning process...
108
click to vote
CCIA
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The operation of base contraction was successfully characterized for a very general class of logics using the notion of remainder sets. Although, in the general case, thi...
108
click to vote
ENTCS
2008
15 years 3 months ago
2008
Lazy evaluation (or call-by-need) is widely used and well understood, partly thanks to a clear operational semantics given by Launchbury. However, modern non-strict functional lan...
115
click to vote
VLDB
2002
ACM
15 years 2 months ago
2002
ACM
This paper introduces monitoring applications, which we will show differ substantially from conventional business data processing. The fact that a software system must process and...
148
Voted
POPL
2012
ACM
13 years 11 months ago
2012
ACM
The ideal software contract fully specifies the behavior of an operation. Often, in particular in the context of scripting languages, a full specification may be cumbersome to s...