5344 search results - page 39 / 1069 » Privacy-Preserving Set Operations |
VL
1996
IEEE
14 years 2 months ago
1996
IEEE
Understanding and interpreting a large data source is an important but challenging operation in many technical disciplines. Computer visualization has become a valuable tool to he...
FSS
2007
13 years 9 months ago
2007
Formal concept analysis and rough set theory are two important tools in knowledge representation and knowledge discovery in relational information systems. The purpose of this pap...
BPM
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Compatibility of behavior, i.e. the correct ordering of messages, is one of the core aspects for the interaction between services as parts of an inter-organizational busi...
CAV
2006
Springer
14 years 1 months ago
2006
Springer
We describe a formal verification of a recent concurrent list-based set algorithm due to Heller et al. The algorithm is optimistic: the add and remove operations traverse the list ...
JAT
2010
13 years 8 months ago
2010
We present some sufficient conditions ensuring the upper semicontinuity and the continuity of the Bregman projection operator Π g C and the relative projection operator P g C in...