This paper presents Timed Quorum System (TQS), a quorum system for large-scale and dynamic systems. TQS provides guarantees that two quorums, accessed at instances of time that are...
A successful detection and classification system must have two properties: it should be general enough to compensate for intra-class variability and it should be specific enough to...
We present in this paper a technique for stylized reuse of view-dependent animation. We illustrate with an example, how can a unique animation be synthesized by reusing the view-d...
This paper proposes a formal model of the Bellare-Rogaway type [1] that enables one to prove the security of an anonymous credential system in a complexity theoretic framework. Th...
Medical data is unique due to its large volume, heterogeneity and complexity. This necessitates costly active participation of medical domain experts in the task of cleansing medi...