5344 search results - page 868 / 1069 » Privacy-Preserving Set Operations |
141
Voted
SIGCOMM
2012
ACM
13 years 6 months ago
2012
ACM
Measurement and inference in data centers present a set of opportunities and challenges distinct from the Internet domain. Existing toolsets may be perturbed or be mislead by issu...
142
Voted
CAV
2012
Springer
13 years 6 months ago
2012
Springer
A SAT-based incremental, inductive algorithm for model checking CTL properties is proposed. As in classic CTL model checking, the parse graph of the property shapes the analysis. H...
193
Voted
PODC
2012
ACM
13 years 6 months ago
2012
ACM
The BGP (Border Gateway Protocol) is the single inter-domain routing protocol that enables network operators within each autonomous system (AS) to influence routing decisions by ...
177
Voted
CVPR
2006
IEEE
16 years 5 months ago
2006
IEEE
We propose a new technique for edge-suppressing operations on images. We introduce cross projection tensors to achieve affine transformations of gradient fields. We use these tens...
173
Voted
VIS
2004
IEEE
16 years 4 months ago
2004
IEEE
Traditional flow volumes construct an explicit geometrical or parametrical representation from the vector field. The geometry is updated interactively and then rendered using an u...