We present a polynomial-time algorithm deciding bisimilarity between a normed BPA process and a normed BPP process, with running time O(n7 ). This improves the previously known ex...
Abstract. Understanding the effect of different progress conditions on the computability of distributed systems is an important and exciting research direction. For a system with n...
The exponential growth of the Web probes for new, better filtering systems and latency diminishing applications. We are presenting the caching features that are deployed in the cl...
Christos Bouras, George Tsichritzis, Vassilis Tsog...
An important research area in computer vision is developing
algorithms that can reconstruct the 3D surface of an object
represented by a single 2D line drawing. Previous work
on...
Yingze Wang (The Chinese University of Hong Kong),...
d abstract) Foto Afrati1 and Rada Chirkova2 1 Electrical and Computing Eng., National Technical University of Athens, 157 73 Athens, Greece 2 Computer Science Department, North Car...