5344 search results - page 209 / 1069 » Privacy-Preserving Set Operations |
151
Voted
ITICSE
1996
ACM
15 years 7 months ago
1996
ACM
The operation of a computer can be conceptualised as a large, discrete and constantly changing set of state information. However even for the simplest uni-processor the data set o...
124
Voted
AAAI
2004
15 years 5 months ago
2004
We propose and study extensions of logic programming with constraints represented as generalized atoms of the form C(X), where X is a finite set of atoms and C is act constraint (...
124
Voted
ICAI
2004
15 years 5 months ago
2004
- The Inductive Monitoring System (IMS) software was developed to provide a technique to automatically produce health monitoring knowledge bases for systems that are either difficu...
127
Voted
ADCM
2007
15 years 3 months ago
2007
Motivated by the method for the reconstruction of 3D objects from a set of parallel cross sections, based on the binary operation between 2D sets termed “metric average”, we de...
112
Voted
FSTTCS
2010
Springer
15 years 1 months ago
2010
Springer
In this paper, we address the verification problem of ordered multi-pushdown systems: A multistack extension of pushdown systems that comes with a constraint on stack operations s...