Abstract. The intruder deduction problem for an electronic purse protocol with blind signatures is considered. The algebraic properties of the protocol are modeled by an equational...
The primary purpose of this paper is to describe the theoretical underpinnings of the construct Para-social Presence (PSP). Para-social presence refers to the extent to which a me...
The effectiveness of the memory hierarchy is critical for the performance of current processors. The performance of the memory hierarchy can be improved by means of program transf...
This paper presents a sculptured solid modeling system founded upon dynamic Catmull-Clark subdivision-based solids of arbitrary topology. Our primary contribution is that we integ...
Grouping algorithms based on histograms over measured image features have very successfully been applied to textured image segmentation [2, 11, 6]. However, the competing goals of...