5344 search results - page 141 / 1069 » Privacy-Preserving Set Operations |
129
click to vote
CAV
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We present an extrapolation with care set operator to accelerate termination of reachability computation with polyhedra. At the same time, a counterexample guided refine...
115
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
We investigate (quantifier-free) spatial constraint languages with equality, contact and connectedness predicates, as well as Boolean operations on regions, interpreted over low-...
114
click to vote
AUIC
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper describes an experiment we have conducted to explore the effectiveness of animation in improving indirect manipulation operations. Indirect manipulation operations are ...
118
click to vote
SIGMOD
1999
ACM
15 years 7 months ago
1999
ACM
Recovery can be extended to new domains at reduced logging cost by exploiting "logical" log operations. During recovery, a logical log operation may read data values fro...
116
click to vote
CJ
2006
15 years 3 months ago
2006
Operations on spatial objects have much individuality. As a consequence, the spatial data modelling approaches, which have been proposed, have to consider either data types of the...